Ethereum: The Ultimate Smart Contract and Decentralized Application Platform

[bytemaster]

IMO this sort of project should NOT be using a turing-complete language as the foundation. Bitcoin's scripting language was designed to be not turing-complete for a reason. We want our protocol language to be good for correctness proofs, not malware.

What was the reason? Reasons I can imagine are simplicity and efficient encoding or speed. Are there security considerations?

I imagine a protocol in a high-level language could be compiled to ethereums script language. This would still allow for languages which are more suitable for correctness proofs.

For starters, the rules of a block chain are very hard to change after launch and even bitcoin has not turned on the full power of their scripts.  If bitcoin is not comfortable with their scripts after 5 years of evaluation, this platform will have a much harder time proving its security model in a timely manner.

[arcke]

IMO this sort of project should NOT be using a turing-complete language as the foundation. Bitcoin's scripting language was designed to be not turing-complete for a reason. We want our protocol language to be good for correctness proofs, not malware.

What was the reason? Reasons I can imagine are simplicity and efficient encoding or speed. Are there security considerations?

I imagine a protocol in a high-level language could be compiled to ethereums script language. This would still allow for languages which are more suitable for correctness proofs.

[bytemaster]

IMO this sort of project should NOT be using a turing-complete language as the foundation. Bitcoin's scripting language was designed to be not turing-complete for a reason. We want our protocol language to be good for correctness proofs, not malware.

Agreed.


Sent from my iPhone using Tapatalk

[toast]

IMO this sort of project should NOT be using a turing-complete language as the foundation. Bitcoin's scripting language was designed to be not turing-complete for a reason. We want our protocol language to be good for correctness proofs, not malware.

[vikram]

Does anyone know more or has any thoughts about this project:

http://vbuterin.com/ethereum.html