Jak vypadá zkVM navržený speciálně pro konsenzus Etherea? V této epizodě (6. 4. minisérie z @LeanEthereum) výzkumníci z Ethereum Foundation, Thomas Coratger (@tcoratger) a Emile diskutují s @nico_mnbl o návrhu a implementaci leanVM, minimálního VM používaného pro postkvantovou agregaci signatur. Pokrývají: – Proč leanVM používá VM místo pevných obvodů pro podporu flexibilní XMSS agregace a rekurzivní důkazové kompozice – Architektura leanVM: minimální sada instrukcí (4 opkódy) navržená pro jednoduchost a formální ověření – Důkazní stack za LeanVM: multilineární aritmetizace, součtová kontrola a Weirova závazková schéma – Detaily implementace: CPU-optimalizované dokazování pomocí Plonky3, SIMD technik a hashování Poseidon2 – Benchmarky a omezení týkající se propustnosti rekurze a XMSS agregace Diskutují také o návrhu specifikací, metodikách benchmarkingu a otevřených otázkách týkajících se implementace postkvantové kryptografie v Ethereu. Poslechněte si celou epizodu. —-------------------- ČASOVÉ KÓDY 03:36 Proč byl LeanVM vybrán 07:50 LeanVM minimalistický design 08:34 Jednoduchost nad rychlostí 19:34 Bezpečnost a výběr na hřišti Výkonnostní a agregační benchmarky 20:41 28:14 Specifikace Ethereum Python