3 ms·
This was is great! And also, as a long time observer of software correctness proof fails, I'm getting the old popcorn popper ready for the first instance where
by jeffrallen 5y ago
This was is great!
And also, as a long time observer of software correctness proof fails, I'm getting the old popcorn popper ready for the first instance where there's a bug and then we'll have explained to us that, well actually, the prover wasn't covering that case...
- nlitened 5y agoNo biggie, they will just make a new fork of modified ETH blockchain where this error is fixed, and all the users will follow.
- 0des 5y agoA lot of folks might think this is you pushawing on ETH because you invested differently, but this is quite literally the established track record. For the uninitiated, this is how we got Ethereum and Ethereum Classic. I'd be interested in some of the downvoters making a sound rebuttal rather than graying you into obsolescence but it's 2021. The filter bubble expands thusly.
- whoknowswhat11 5y agoEXACTLY this. It'll be like - oh we proved it using X, but wrote code using Y and ooops, there is some difference so this doesn't count as a break in the proof. If that's the case, you have not in fact proved the contract, you've proved a different contract or code base.