3 ms·
Formal verification is the right approach. Do you know of any specifics for this goal that exist for ETH now?
by grandalf 10y ago
Formal verification is the right approach. Do you know of any specifics for this goal that exist for ETH now?
- SkyMarshal 10y agoVlad 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.
- wslh 10y agoThis: http://hackingdistributed.com/2016/06/17/thoughts-on-the-dao-hack/ http://hackingdistributed.com/2016/06/17/thoughts-on-the-dao...