News for hackers. Stuff that matters.

A comment on Critical Update on DAO Vulnerability. Parent comment

Re:Critical Update on DAO Vulnerability by lallysingh on Friday June 17, 2016 @12:38PM (#11923649)
Formal proofs. These are reasonable to do with modern proving systems, and contracts with formal proofs would be a reasonable output for a specialist in this area, equivalent to a lawyer for regular contracts.
[ Parent | on HN ]

There are no comments on this comment yet.