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
-
AI will be needed to prevent bugs in smart contracts --to formally verify that the contract does what you think it does.
- Show replies
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.