The buzzword "web3" suggests the lax, security-poor programming habits of the web. When crypto or smart contracts are programmed like a web page they are doomed. Sustainably successful blockchains and their apps are based on far more secure, careful, and slow programming methods.
Are formally verifiable smart contracts (like, using functional programming languages) slow, careful programming? Or are all smart contract systems just to much attack surface to protect.
-
-
If it makes programmers take the time to actually, rigorously, thoroughly inspect and verify the code. The actual time smart eyeballs spend on the code is more important than the particular formalizations that hopefully motivate it.
- 1 more reply
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.