Intriguing thoughts, but still find the extensibility of SC to be closer to 'agreements', and thus work process, less general than it could be. Security certainly an issue. But also, as in all programming, correctness as well
Turing Completeness and Smart Contract Security Taylor Rolfe in Kadena
At Kadena, we talk a lot about blockchain design decisions. One particularly profound design decision that I’ve come across recently revolves around the property of Turing completeness, which sparked debate in a recent post by one of our developers. As a non-technical member of the team, I wanted to learn what Turing completeness actually means, why the blockchain community seems to be divided on the matter, and why our engineers are working hard to educate others on its drawbacks for safe smart contract programming.
What follows is a brief summary of my exploration to demystify and understand this core property of smart contract security. So if you’re somebody like me who is captivated by the development of blockchain systems, and particularly smart contract languages, then hopefully this story will improve your understanding of how Turing completeness impacts smart contract security. .... "
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment