Hur ser en zkVM som är designad specifikt för Ethereum-konsensus ut? I detta avsnitt (6/4 av @LeanEthereum-miniserien) diskuterar forskarna från Ethereum Foundation, Thomas Coratger (@tcoratger) och Emile, med @nico_mnbl designen och implementeringen av leanVM, den minimala VM som används för postkvantsignaturaggregering. De täcker: – Varför leanVM använder en VM istället för fasta kretsar för att stödja flexibel XMSS-aggregering och rekursiv bevissammansättning – LeanVM-arkitekturen: en minimal instruktionsuppsättning (4 opkoder) utformad för enkelhet och formell verifiering – Provstacken bakom LeanVM: multilinjär aritmetisering, summekontroll och Weir-åtagandeschemat – Implementeringsdetaljer: CPU-optimerad provning med Plonky3, SIMD-tekniker och Poseidon2-hashning – Benchmarks och begränsningar kring rekursion och XMSS-aggregeringskapacitet De diskuterar också specifikationsdesign, benchmarkingmetodik och öppna frågor kring implementering av post-kvantkryptografi i Ethereum. Lyssna på hela avsnittet. —-------------------- TIDSKODER 03:36 Varför LeanVM valdes 07:50 LeanVM Minimalistisk design 08:34 Enkelhet före hastighet 19:34 Säkerhet och fältval 20:41 Prestanda- och aggregeringsbenchmarks 28:14 Ethereum Python-specifikation