3 ms·
Just do a symbolic execution of the code and prove that your intended behavior holds. A multisig contract is an utterly trivial program. It is easy to prove co
by mbrock 8y ago
Just do a symbolic execution of the code and prove that your intended behavior holds.
A multisig contract is an utterly trivial program. It is easy to prove correct.
- peteforde 8y agoTell that to the folks over at Etherium Classic.
- beaconstudios 8y ago> Just do a symbolic execution of the code and prove that your intended behavior holds. So... Introduce a human to the process? This is the exact issue we're talking about. > A multisig contract is an utterly trivial program. It is easy to prove correct. Even if it is, we're not just talking about multisigs. This process should scale up to more advanced smart contracts or this whole "innovation" is just replacing escrows, which is a greatly diminished innovation from the actual claim of smart contracts.
- mbrock 8y agoHow complex smart contracts are needed? I think we should keep them simple.