A place for talking about the Ethereum Virtual Machine on Farcaster.

For anyone into math notation and EVM logic, I'd love to find someone who can bring the Yellow Paper up to the last pre-merge fork 😄

For anyone into math notation and EVM logic, I'd love to find someone who can bring the Yellow Paper up to the last pre-merge fork 😄 

https://github.com/ethereum/yellowpaper/pull/890

(summer of) protocol {support | guild | fellowship} ☀️


The YP is up to Berlin, so you'd have to do London (1559!) and Paris (The Merge!), along with a couple of difficulty bomb pushback forks 💣

I might be up for this. I would also be particularly interested in also making a formal definition of the EVM in higher-order logic at some point.