Hvordan ser en zkVM designet spesielt for Ethereum-konsensus ut? I denne episoden (6/4 av miniserien @LeanEthereum) diskuterer forskere fra Ethereum Foundation, Thomas Coratger (@tcoratger) og Emile, med @nico_mnbl design og implementering av leanVM, den minimale VM-en som brukes til post-kvantesignaturaggregering. De dekker: – Hvorfor leanVM bruker en VM i stedet for faste kretser for å støtte fleksibel XMSS-aggregering og rekursiv beviskomposisjon – LeanVM-arkitekturen: et minimalt instruksjonssett (4 opkoder) designet for enkelhet og formell verifisering – Bevisstakken bak LeanVM: multilineær aritmetisering, sum-sjekk og Weir-forpliktelsesordningen – Implementasjonsdetaljer: CPU-optimalisert bevising med Plonky3, SIMD-teknikker og Poseidon2-hashing – Referansepunkter og begrensninger rundt rekursjon og XMSS-aggregeringskapasitet De diskuterer også spesifikasjonsdesign, benchmarkingmetodikk og åpne spørsmål rundt implementering av post-kvantekryptografi i Ethereum. Hør hele episoden. —-------------------- TIDSKODER 03:36 Hvorfor LeanVM ble valgt 07:50 LeanVM Minimalistisk design 08:34 Enkelhet fremfor fart 19:34 Sikkerhet og feltutvelgelse 20:41 Ytelses- og aggregeringsbenchmarks 28:14 Ethereum Python-spesifikasjon