Cum arată un zkVM proiectat special pentru consensul Ethereum? În acest episod (6/4 din miniseria @LeanEthereum), cercetătorii de la Fundația Ethereum, Thomas Coratger (@tcoratger) și Emile, discută cu @nico_mnbl proiectarea și implementarea leanVM, VM-ul minim folosit pentru agregarea semnăturilor post-cuantică. Acestea acoperă: – De ce leanVM folosește o VM în loc de circuite fixe pentru a susține agregarea XMSS flexibilă și compoziția recursivă a demonstrațiilor – Arhitectura leanVM: un set minim de instrucțiuni (4 opcode-uri) conceput pentru simplitate și verificare formală – Stack-ul de demonstrație din spatele LeanVM: aritmeticizare multiliniară, verificare de sumă și schema de angajament Weir – Detalii de implementare: demonstrare optimizată pentru CPU cu Plonky3, tehnici SIMD și hashing Poseidon2 – Benchmark-uri și constrângeri legate de recursivitatea și debitul agregației XMSS De asemenea, discută despre designul specificațiilor, metodologia de benchmarking și întrebări deschise privind implementarea criptografiei post-cuantice în Ethereum. Ascultă episodul complet. —-------------------- CODURI TEMPORALE 03:36 De ce a fost ales LeanVM 07:50 Design minimalist LeanVM 08:34 Simplitate în detrimentul vitezei 19:34 Securitate și selecție pe teren Repere de performanță și agregare 20:41 Specificația Ethereum Python 28:14