ScienceAugust 13, 2026
leanvm
LEEN-vee-em
Definition
A minimalist, specialized virtual machine designed by the Ethereum Foundation to efficiently verify and aggregate complex cryptographic proofs.
Etymology
The name combines 'lean'—suggesting something stripped down, efficient, and lightweight—with 'VM', the standard abbreviation for virtual machine in computer science.
In the news
LeanVM is mentioned as the core infrastructure being developed for Ethereum's transition to post-quantum security, with a target for production deployment in 2027.
Ethereum L1 drops Poseidon in post-quantum move
Read the full article ↗Cryptonews.net