2 ms·
At the very least people should be formally verifying the behavior of their smart contracts before investing millions of dollars in them. The ETH VM is actually
by pacoWebConsult 6y ago
At the very least people should be formally verifying the behavior of their smart contracts before investing millions of dollars in them. The ETH VM is actually pretty simple to model and formally verify at least some of the basic properties of contracts.
- Animats 6y agoFormally verify against what? You need some simple model of what's supposed to happen to verify against.