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/ …
In a world where all systems are made of code, the ability of AI to handle mathematical reasoning will be key to ensuring security.
-
-
AI will be, in effect, our interface to a world that is already too complex for humans.
-
AI is too big of a word for describing smart contracts in Ethereum which are based on simple (yet super clever) cryptography
- Show replies
New conversation -
-
-
but who verifies the verifier?
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.