Emile
Emile works on LeanVM at the Ethereum Foundation, a minimal zero knowledge virtual machine designed to support post-quantum signature aggregation for Ethereum’s consensus layer. The work uses a small instruction set to simplify the system and make formal verification easier, with implementation choices focused on efficient proving on ordinary processors.