News for hackers. Stuff that matters.

A comment on What does $100 Ether mean?. Parent comment

Re:What does $100 Ether mean? by nmca on Friday May 05, 2017 @04:51PM (#14276749)
Formal analysis will help sort this out. Larry Paulson trained up these guys: https://www.imandra.ai/

And similar tech can be applied to smart contracts. Would have spotted the DAO bug. Not ready for prime time yet, but will be around the same time as sharding maybe...

[ Parent | on HN ]
Re:What does $100 Ether mean? by jude- on Friday May 05, 2017 @05:51PM (#14277086)
That's much easier said than done. If formal methods were practical, we'd be using them already everywhere else.
[ Parent | on HN ]