News for hackers. Stuff that matters.

A comment on Ethereum price goes up nearly 50 percent in under a week. Parent comment

Re:Ethereum price goes up nearly 50 percent in under a week by Jabanga on Tuesday March 14, 2017 @12:51AM (#13865099)
Most welcome! It was just released so you wouldn't have seen it last year. There was a major push toward more secure smart contacts, in particular using formal verification, after the DAO hack, and the efforts continue to this day.
[ Parent | on HN ]
Re:Ethereum price goes up nearly 50 percent in under a week by pirapira on Tuesday March 14, 2017 @02:01PM (#13869864)
Using my definition of EVM, I think it's already possible to create a small verified compiler.

My priority is on keeping the formal definition in sync with the Yellow Paper and the implementations.

[ Parent | on HN ]
Re:Ethereum price goes up nearly 50 percent in under a week by Jabanga on Wednesday March 15, 2017 @10:47PM (#13882017)
It's a surprise to see you here! :) Thanks for the explanation. Good luck with your work!
[ Parent | on HN ]