2 ms·
After you pass a certain threshold, it makes zero sense to trust your assets to code that _you, personally_ haven't 100% authoritatively verified to be bug-free
by skulk 5y ago
After you pass a certain threshold, it makes zero sense to trust your assets to code that _you, personally_ haven't 100% authoritatively verified to be bug-free. Traditional financial institutions don't work like this; if there's an obvious "bug" in bank logic that lets someone take all of your assets, it gets rolled back. Doing away with this protection is fine, but the big bucks will stay away.
- unemphysbro 5y agoOf course not, the dao hack is a case in point. I am happy the ecosystem is spurring growth in formal verification. It's still the wild west and I encourage anyone interested to swing a lasso.