News for hackers. Stuff that matters.

A comment on Critical Update on DAO Vulnerability. Parent comment

Re:Critical Update on DAO Vulnerability by grandalf on Friday June 17, 2016 @10:44AM (#11922902)
Formal verification is the right approach. Do you know of any specifics for this goal that exist for ETH now?
[ Parent | on HN ]
Re:Critical Update on DAO Vulnerability by SkyMarshal on Friday June 17, 2016 @02:11PM (#11924405)
Vlad Zamfir, Greg Meredith, and Emin Gun Sirer are working on this for Ethereum's next consensus algo, Casper. Not aware that they've published anything on it yet though.
[ Parent | on HN ]
Re:Critical Update on DAO Vulnerability by wslh on Friday June 17, 2016 @02:43PM (#11924662)
This: http://hackingdistributed.com/2016/06/17/thoughts-on-the-dao...
[ Parent | on HN ]