Wie sieht ein zkVM aus, das speziell für den Ethereum-Konsens entwickelt wurde? In dieser Episode (4/6 der @LeanEthereum-Miniserie) diskutieren Forscher der Ethereum Foundation, Thomas Coratger (@tcoratger) und Emile, mit @nico_mnbl das Design und die Implementierung von leanVM, der minimalen VM, die für die Aggregation post-quanten Signaturen verwendet wird. Sie behandeln: – Warum leanVM eine VM anstelle von festen Schaltungen verwendet, um flexible XMSS-Aggregation und rekursive Beweiszusammensetzung zu unterstützen – Die leanVM-Architektur: ein minimales Befehlssatz (4 Opcodes), das für Einfachheit und formale Verifikation entworfen wurde – Der Beweisstapel hinter LeanVM: multilineare Arithmetisierung, Summenprüfung und das Weir-Verpflichtungsschema – Implementierungsdetails: CPU-optimierte Beweise mit Plonky3, SIMD-Techniken und Poseidon2-Hashing – Benchmarks und Einschränkungen hinsichtlich Rekursion und XMSS-Aggregationsdurchsatz Sie diskutieren auch das Design der Spezifikation, die Benchmarking-Methodik und offene Fragen zur Implementierung post-quanten Kryptographie in Ethereum. Hören Sie sich die gesamte Episode an. —-------------------- ZEITKODES 03:36 Warum LeanVM gewählt wurde 07:50 Minimalistisches Design von LeanVM 08:34 Einfachheit vor Geschwindigkeit 19:34 Sicherheit und Auswahl des Feldes 20:41 Leistung und Aggregationsbenchmarks 28:14 Ethereum Python-Spezifikation