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} ☀️


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.