Hoe ziet een zkVM eruit die specifiek is ontworpen voor Ethereum-consensus? In deze aflevering (4/6 van de @LeanEthereum miniserie) bespreken onderzoekers van de Ethereum Foundation, Thomas Coratger (@tcoratger) en Emile, met @nico_mnbl het ontwerp en de implementatie van leanVM, de minimale VM die wordt gebruikt voor post-kwantum handtekeningaggregatie. Ze behandelen: – Waarom leanVM een VM gebruikt in plaats van vaste circuits om flexibele XMSS-aggregatie en recursieve bewijscompositie te ondersteunen – De leanVM-architectuur: een minimale instructieset (4 opcodes) ontworpen voor eenvoud en formele verificatie – De bewijsstack achter LeanVM: multilineaire arithmetisatie, som-controle en het Weir-commitment schema – Implementatiedetails: CPU-geoptimaliseerd bewijs met Plonky3, SIMD-technieken en Poseidon2-hashing – Benchmarks en beperkingen rond recursie en XMSS-aggregatie doorvoer Ze bespreken ook het ontwerp van specificaties, benchmarkingmethodologie en open vragen rond de implementatie van post-kwantumcryptografie in Ethereum. Luister naar de volledige aflevering. —-------------------- TIJDCODES 03:36 Waarom LeanVM is gekozen 07:50 LeanVM Minimalistisch Ontwerp 08:34 Eenvoud boven Snelheid 19:34 Beveiliging en Veldselectie 20:41 Prestaties en Aggregatie Benchmarks 28:14 Ethereum Python Specificatie