Using my definition of EVM, I think it's already possible to create a small veri... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

pirapira on March 14, 2017 | parent | context | favorite | on: Ethereum price goes up nearly 50 percent in under ...

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.

Jabanga on March 16, 2017 [–]

It's a surprise to see you here! :) Thanks for the explanation. Good luck with your work!

Consider applying for YC's Spring batch! Applications are open till Feb 11.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact