The recent Ethereum hack involving a smart contract bug illustrates a type of vulnerability that we'll be seeing a lot more often.
One can think of smart contracting as a form of programmable protocol, where protocols are themselves customized for specific uses in much the way that programming languages have traditionally customized local computer behavior for specific uses. Although protocol vulnerabilities have certainly existed before, our security, testing, and trust models today are optimized for protocols that are 'hard coded' by some standards organization prior to widespread deployment. Software defined radio, smart contracting, and likely other future developments will require that we start thinking about protocol vulnerabilities more like we think about software vulnerabilities today. While clever protocols increasingly distribute trust and mitigate damage from compromise of individual machines, the protocols themselves will become the target of choice.
One way to help is to design protocol definition languages with useful provability features. We need more research along these lines:
https://blockstream.com/simplicity.pdf
I love the idea behind Simplicity!
ReplyDeleteThese kinds of would seem absolutely ideal. Every one of these minor data are generally created in addition to a great deal of history data. I favor that will a tremendous amount. Smart contract developer in new delhi
ReplyDeleteThis specific seems to be definitely excellent. These very small facts are produced using wide range of qualifications know-how. I favor the idea a good deal.. blockchain development platform Bangalore
ReplyDeleteThese kinds of would seem absolutely ideal. Every one of these minor data are generally created in addition to a great deal of history data. I favor that will a tremendous amount. Smart contract Development solution Jaipur
ReplyDeleteThis blog is very informative and intresting.
ReplyDeleteMLM Software Developer
These kinds of would seem absolutely ideal. Every one of these minor data are generally created in addition to a great deal of history data. I favor that will a tremendous amount. Smart Contract Development services Hyderabad
ReplyDelete