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/ …
-
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.
-
-
I can't even imagine the complex contracts that would need AI and I've been doing crypto and AI for all of my adult life
-
formal verification. That's what requires AI.
- 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.