Writing smart contracts is inherently not 'natural' software development similar to how writing legal contracts are not 'natural' prose. The requirements and implications are quite different.
Often the "simply written" smart contracts are grievously insecure-- I guess you could say that they're not that smart.
Often the "simply written" smart contracts are grievously insecure-- I guess you could say that they're not that smart.
Thanks gmaxwell.
I gave the exact same explanations to a group of friends who are developing on ethereum. I totally agree with this.
And, moreover,, thinking how legalese is complex and "dumb" at the same time I don't know if it is that good to make some software run this "complexity dumbness" with code.
