leanVM Workshop 2025

Cambridge, United Kingdom · 3 Oct 2025

Hosted by Ethereum Foundation.

3 talks

• leanVM-01: leanVM Crash Course and Sumcheck Optimization
• leanVM-03: Compiler (Workshop)
• leanVM-02: Memory Models and Lookup Arguments