Any news on the programmability of smart contracts on the Graphene platform? Any docs on how to develop a smart contract in Graphene? If not, where could I learn more and create documentation?
Haven given it some thought, I would think it might be in the best interest of Graphene to not be Turing complete. Turing complete is not necessary, and the costs of Turing complete smart contracts are decidability, which impact security if you want to go with the security by correctness model, without any practical benefit.
I reached this conclusion after reading up on Tauchain which will implement a much better designed decideable model. Long term the benefits of the Tauchain model outweigh the benefits of the Ethereum model but take a look for yourselves:
http://tauchain.org/tauchain.pdfI think before Bytemaster settles on a permanent smart contract system he should at least read the Tauchain whitepaper and study the implications of their design. My own opinion is Tauchain is more flexible, evolveable and for that reason superior but that is only because I don't see any practical necessity for Turing completeness since you can do every algorithm Bitshares could need without having it.