Come appare un zkVM progettato specificamente per il consenso di Ethereum? In questo episodio (4/6 della miniserie @LeanEthereum), i ricercatori della Ethereum Foundation, Thomas Coratger (@tcoratger) ed Emile, discutono con @nico_mnbl del design e dell'implementazione di leanVM, la VM minimale utilizzata per l'aggregazione delle firme post-quantistiche. Trattano: – Perché leanVM utilizza una VM invece di circuiti fissi per supportare l'aggregazione flessibile di XMSS e la composizione di prove ricorsive – L'architettura di leanVM: un set di istruzioni minimale (4 opcodes) progettato per semplicità e verifica formale – Lo stack di prova dietro LeanVM: aritmetizzazione multilineare, controllo della somma e il sistema di impegno Weir – Dettagli di implementazione: prova ottimizzata per CPU con Plonky3, tecniche SIMD e hashing Poseidon2 – Benchmark e vincoli riguardanti la ricorsione e il throughput dell'aggregazione XMSS Discutono anche del design delle specifiche, della metodologia di benchmarking e delle domande aperte riguardo all'implementazione della crittografia post-quantistica in Ethereum. Ascolta l'episodio completo. —-------------------- TIMECODES 03:36 Perché è stato scelto LeanVM 07:50 Design Minimalista di LeanVM 08:34 Semplicità rispetto alla Velocità 19:34 Sicurezza e Selezione del Campo 20:41 Benchmark delle Prestazioni e dell'Aggregazione 28:14 Specifica Python di Ethereum