Seperti apa zkVM yang dirancang khusus untuk konsensus Ethereum? Dalam episode ini (4/6 dari miniseri @LeanEthereum), para peneliti dari Ethereum Foundation, Thomas Coratger (@tcoratger) dan Emile, berdiskusi dengan @nico_mnbl desain dan implementasi leanVM, VM minimal yang digunakan untuk agregasi tanda tangan pasca-kuantum. Mereka meliputi: – Mengapa leanVM menggunakan VM alih-alih sirkuit tetap untuk mendukung agregasi XMSS yang fleksibel dan komposisi bukti rekursif – Arsitektur leanVM: set instruksi minimal (4 opcode) yang dirancang untuk kesederhanaan dan verifikasi formal – Tumpukan pembuktian di balik LeanVM: aritmetisasi multilinier, pengecekan penjumlahan, dan skema komitmen Weir – Detail implementasi: Pembuktian yang dioptimalkan CPU dengan Plonky3, teknik SIMD, dan hashing Poseidon2 – Tolok ukur dan kendala seputar rekursi dan throughput agregasi XMSS Mereka juga membahas desain spesifikasi, metodologi pembandingan, dan pertanyaan terbuka seputar penerapan kriptografi pasca-kuantum di Ethereum. Dengarkan episode lengkapnya. —-------------------- KODE WAKTU 03:36 Mengapa LeanVM Dipilih 07:50 Desain Minimalis LeanVM 08:34 Kesederhanaan Lebih Dari Kecepatan 19:34 Keamanan dan Pemilihan Lapangan 20:41 Tolok Ukur Kinerja dan Agregasi 28:14 Spesifikasi Ethereum Python