|
|
|
|
|
|
by metaguri
3646 days ago
|
|
|
> How do _you_ know your contract is secure? Ideally, using formal methods [1], one can write a provably correct program. Just because software can have bugs does not mean it must have bugs. Human contract law has no analogue. Personally I'd be wary of any electronic contract that wasn't formally verified. The DAO exploit is unsurprising. 1. https://en.wikipedia.org/wiki/Formal_methods |
|
|