Miltä zkVM, joka on suunniteltu nimenomaan Ethereumin konsensusta varten, näyttää? Tässä jaksossa (4/6 @LeanEthereum minisarjasta) Ethereum Foundationin tutkijat, Thomas Coratger (@tcoratger) ja Emile keskustelevat @nico_mnbl kanssa leanVM:n suunnittelusta ja toteutuksesta, joka on minimi-VM, jota käytetään post-quantum signature aggregaatiossa. Ne kattavat: – Miksi leanVM käyttää virtuaalikonetta kiinteiden piirien sijaan tukemaan joustavaa XMSS-aggregointia ja rekursiivista todistusten koostamista – LeanVM-arkkitehtuuri: minimaalinen käskykanta (4 opkoodia), joka on suunniteltu yksinkertaisuutta ja muodollista varmennusa varten – LeanVM:n todistuspino: monilineaarinen aritmetisointi, summatarkistus ja Weir-sitoutumisjärjestelmä – Toteutuksen tiedot: CPU-optimoitu testaus Plonky3:lla, SIMD-tekniikat ja Poseidon2-hajautus – Rekursion ja XMSS-aggregoinnin läpimenon kriteerit ja rajoitteet He keskustelevat myös spesifikaatiosuunnittelusta, benchmarking-menetelmästä ja avoimista kysymyksistä post-kvanttikryptografian toteuttamisesta Ethereumissa. Kuuntele koko jakso. —-------------------- AIKAKOODIT 03:36 Miksi LeanVM valittiin 07:50 LeanVM Minimalistinen suunnittelu 08:34 Yksinkertaisuus nopeuden sijaan 19:34 Turvallisuus ja kenttävalinta 20:41 Suorituskyvyn ja aggregoinnin vertailuarvot 28:14 Ethereum Python -määrittely