In the future, most contracts are smart contracts --to make it viable, we will need AI-assisted formal verification.https://blog.ethereum.org/2016/06/17/critical-update-re-dao-vulnerability/ …
-
very little real world SW is formally verified. Tiny microkernels. Yet money and state secrets are streaming through the Internet
which is precisely why we absolutely need AI. In the future, all software that is security-sensitive gets formally verified. By AI
-
-
ah, you mean THAT future, in which case I agree! But remember that in that future AI will also WRITE the smart contracts.
-
I though you meant in the next decade or so future...
End of conversation
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.