Ethereum konsensus için özel olarak tasarlanmış bir zkVM nasıl görünüyor? Bu bölümde (@LeanEthereum mini dizinin 4/6'sı), Ethereum Vakfı'ndan araştırmacılar Thomas Coratger (@tcoratger) ve Emile, kuantum sonrası imza toplama için kullanılan minimum VM olan leanVM'nin tasarımı ve uygulanmasını @nico_mnbl ile tartışıyorlar. Bunlar şunları kapsar: – LeanVM, esnek XMSS toplama ve özyinelemeli ispat kompozisyonunu desteklemek için sabit devreler yerine neden VM kullanıyor? – LeanVM mimarisi: sadelik ve resmi doğrulama için tasarlanmış minimal komut seti (4 opcode) – LeanVM'nin arkasındaki kanıtlama yığını: çok doğrusal aritmetizasyon, summa-check ve Weir taahhüt şeması – Uygulama detayları: Plonky3 ile CPU optimize edilmiş kanıtlama, SIMD teknikleri ve Poseidon2 hashing – Özyineleme ve XMSS toplama veri verimiyle ilgili kıyaslamalar ve kısıtlamalar Ayrıca spesifikasyon tasarımı, kıyaslama metodolojisi ve Ethereum'da post-kuantum kriptografisi uygulamasıyla ilgili açık soruları tartışırlar. Bölümün tamamını dinleyin. —-------------------- ZAMAN KODLARI 03:36 LeanVM Neden Seçildi 07:50 LeanVM Minimalist Design 08:34 Hızdan Fazla Basitlik 19:34 Güvenlik ve Saha Seçimi 20:41 Performans ve Toplama Kıyaslamaları 28:14 Ethereum Python Spesifikasyonu