# lean Ethereum Part 4: leanVM, a Custom VM for Signature Aggregation

Page: https://stenobird.com/podcast/zero-knowledge-1048106/lean-ethereum-part-4-leanvm-a-custom-vm-for-signature-aggregation
Text version: https://stenobird.com/podcast/zero-knowledge-1048106/lean-ethereum-part-4-leanvm-a-custom-vm-for-signature-aggregation.md
Podcast: [Zero Knowledge](https://stenobird.com/podcast/zero-knowledge-1048106)
Published: 2026-03-11T13:00:00+00:00
Episode link: https://zeroknowledge.fm/podcast/394
Audio file: https://episodes.captivate.fm/episode/28316c49-b48a-43bc-9063-73ccd3256862.mp3
Processing state: not_requested
JSON: https://stenobird.com/v1/public/podcasts/zero-knowledge-1048106/episodes/lean-ethereum-part-4-leanvm-a-custom-vm-for-signature-aggregation
Duration seconds: 1975

## Resource

https://youtu.be/YWkyvTrwtQU   In this episode of the lean Ethereum miniseries, Nico Mohnblatt speaks with Thomas Coratger and Emile from the Ethereum Foundation about the design and implementation of LeanVM, a minimal zkVM created to support post-quantum signature aggregation on Ethereum’s consensus layer. They explain why the team chose a VM architecture over fixed circuits and how LeanVM takes inspiration from Cairo with just 4 opcodes and 2 precompiles to keep the instruction set extremely small and make formal verification easier. The conversation also covers LeanVM implementation choices like using Plonky3 and WHIR for efficient proving on CPUs, benchmarks for aggregation speed, and the role of Python specs in testing client interop. They share ongoing efforts to optimize low-level primitives and invite community input on the project.   Related Links lean Ethereum Part 1: Introduction with Justin Drake lean Ethereum Part 2: PQ Signatures and Poseidon with Dmitry and Benedikt lean Ethereum Part 3: Security of PQ SNARKs and an update about the Proximity Prize lean Ethereum Lean Consensus R&D Progress Cairo zkVM WHIR: Reed–Solomon Proximity Testing with Super-Fast Verification Minimal zkVM for Lean Ethereum by Emile Repos leanEthereum github organization leanSig repo (optimized Rust implementation of XMSS for Ethereum usage) leanSpec repo (the Python spec of the lean consensus) WHIR repo Plonky3 repo leanVM     Applications to speak at zkSummit14 close this Sunday March 15! This edition will be more intimate with limited spots — we recommend applying early. Apply at www.zksummit.com   zkMesh+ live! Subscribe for zkMesh+ and catch the latest State of ZK 2025 report.     **If you like what we do:** * Find all our links here! @Zer…

## Actions

- request_transcript: `POST https://stenobird.com/v1/public/podcasts/zero-knowledge-1048106/episodes/lean-ethereum-part-4-leanvm-a-custom-vm-for-signature-aggregation/transcription-requests` — Idempotently request low-priority transcript generation for this episode.
- read_markdown: `GET https://stenobird.com/podcast/zero-knowledge-1048106/lean-ethereum-part-4-leanvm-a-custom-vm-for-signature-aggregation.md` — Read the agent-friendly Markdown representation of this episode resource.

A page view does not enqueue transcription. Agents should invoke `request_transcript` explicitly when they need this episode processed.

## Transcript

Full transcripts are not published on public pages unless there is a clear rights basis.