3 ms·
It seems that we need formal verification for smart contracts and maybe a more restricted language that makes it easier to reason about correctness. Obviously
by mbrock 10y ago
It seems that we need formal verification for smart contracts and maybe a more restricted language that makes it easier to reason about correctness.
Obviously it's not enough to just say "some guys did a security audit and everything looks fine."
- lallysingh 10y agoYes! It's not like the technology isn't already there, well documented, and waiting for use.