Mikä tarkalleen ottaen on Ethereumin viimeaikainen ehdotus leanVM:stä? Katsotaanpa ensin taustaa ja syitä. LeanVM:n ymmärtämiseksi on ensin ymmärrettävä leanEthereum-kehys. LeanEthereum-kehys on Ethereum-tutkija Justin Draken ehdottama 10-vuotinen etenemissuunnitelma (julkaistu 31. heinäkuuta 2025), jonka tavoitteena on todellisuus: miljoonatason TPS (L1 10k/L2 1M), reaaliaikainen zkVM-vahvistus ja kvanttikestävä turvallisuus. Tämä etenemissuunnitelma sisältää zkVM:t, ja LeanVM pyrkii saavuttamaan minimoidut zkVM:t (nollatietovirtuaalikoneet) tietoturvan tarkistamiseen, allekirjoitusten yhdistämiseen ja rekursiivisiin todisteisiin kvantin jälkeisellä aikakaudella. LeanEthereum-kehys koostuu kolmesta osasta: Lean-konsensus (virtaviivaistettu konsensus, zk-todisteiden käyttäminen tilajuurien tarkistamiseen tavallisten kotitalouslaitteiden tukemiseksi), lean-toteutus (toteutuksen virtaviivaistaminen, SNARKed L1 EVM:n käyttöönotto tai RISC-V:n käyttöönotto) ja Lean-data (tietojen virtaviivaistaminen, uuden sukupolven tietojen saatavuusjärjestelmä). Toisin sanoen LeanVM on osa LeanEthereumin visiota parantaa Ethereumin suorituskykyä, turvallisuutta ja hajauttamista minimalistisella tavalla. zkVM tukee laskelmien ja tilan tarkistamista paljastamatta tiettyä tietosisältöä, joten se soveltuu reaaliaikaiseen tilan todentamiseen, yksityisyyden suojaan ja ketjujen välisiin sovelluksiin. leanVM itse keskittyy Ethereumin laskennallisten pullonkaulojen ratkaisemiseen ja yrittää ratkaista luotettavan mutta kalliin ketjun sisäisen tietojenkäsittelyn ongelman ja halvan, mutta luottamuksen puutteen ketjun ulkopuoliseen tietojenkäsittelyyn. Se pyrkii pääasiassa saavuttamaan tehokkaita todistuksia monilineaarisilla paradigmoilla ja pienillä kentillä (kuten Koala Bear, 31-bittinen alkukenttä), korvaamalla perinteiset yksimuuttujaiset PCS:t (sitoumusjärjestelmät) vähentääkseen todistuskustannuksia. Dokumentaationsa mukaan LeanVM:n arkkitehtuuri käyttää pääasiassa AIR (Arithmetic Intermediate Representation) -taulukoita monilineaarisena polynomilähetyksenä; Rajoitusten pätevyys todistetaan summatarkistusprotokollan avulla, ja arviointi yksinkertaistetaan yhdeksi polynomimääritykseksi; Peruskäskysarja sisältää yhteenlaskun, kertolaskun, viittauksen (muistin käyttö) ja ehdollisen hypyn. Poista allokointiosoittimen (AP) rekisteri, käytä vain luku -muistia (julkinen ja sitoumusosiot) ja luota todisteajan vihjeisiin (vihjeisiin) kehysten varaamiseen. Optimoinnin kannalta logup-tähteä käytetään sitoumuskustannusten vähentämiseen, ja vain 5 kenttäelementtiä (PC, FP ja kolme muistiindeksiä) sidotaan sykliä kohden, mikä laskee alle 18:aan verrattuna muihin zkVM:iin (kuten KO), mutta rajoitusaste nostetaan 5:een. Tukee rekursiivista todistusta: Nykyinen optimoimaton suorituskyky on 2.7 sekuntia/rekursiivinen osa, ja tavoitekiihtyvyys on yli 10 kertaa. Salauskomponentti sisältää Poseidon 2:n (ZK-ystävällinen hajautusfunktio) integroinnin, joka tukee 16 ja 24 kentän elementtien esikääntämistä; XMSS:n (Optimized Hashbase Post-Quantum Signature Scheme) yhdistämisessä ja rekursiossa yhteinen avain on noin 50 tavua, allekirjoitus on 3 kilotavua ja varmennuksen < on 1 ms; Pellot ja PCS: Koala Bear -kentät, multilineaarinen PCS, sisäinen tuote ja monilineaarinen arviointi laajennetuilla kentillä. Toteutuksen kannalta Proof of Concept (POC) -validaattori on toteutettu < 500 Python-rivillä, mikä korostaa maksimaalista yksinkertaisuutta. Kääntäjä tukee inline- ja silmukkaavailua, mutta ei ole vielä kypsä; Testauksen osalta yksikkötestit, edestakaiset eheystestit ja tunnettujen vastausten testit käyttävät Pytest-kehystä. LeanVM:n sovellusskenaarioita ovat: allekirjoitusten yhdistäminen (tuhansien allekirjoitusten pakkaaminen pieniksi vedoksiksi, jotka soveltuvat useille allekirjoituksille); yksityisyyden madonreikä, koko ketjun pelit, ennustemarkkinat, tekoälyn todentaminen; ketjujen välinen uudelleenkäyttö (voi koskea BTC:tä jne.); Integrointi leanMultisigin kanssa (leanMultisig on hajautuspohjainen usean allekirjoituksen kehys, joka käyttää XMSS-lehtien allekirjoitusta ja aggregointia ja luottaa leanVM:n zk-todistuksiin kvantin jälkeisen turvallisuuden varmistamiseksi). LeanVM:n käyttöönottotilanne on viimeisimmän julkisen tiedon mukaan vielä alkuvaiheessa tutkimus- ja prototyyppikehitysvaiheessa. Lean Ethereumin etenemissuunnitelma julkaistiin 31. heinäkuuta 2025, ja on arvioitu, että Lean Ethereum suorittaa ensisijaiset tehtävät vuonna 2026, tukee testiverkon käyttöönottoa vuosina 2027-28 ja suorittaa testauksen vuonna 2029. Kaiken kaikkiaan Lean Ethereumia otetaan käyttöön vähintään 3-5 vuoden ajan. Yleistä etenemissuunnitelmaa tarkasteltaessa Ethereumin tulevaisuuden etenemissuunnitelma paljastaa kuitenkin korkean suorituskyvyn, hajauttamisen, turvallisuuden ja yksityisyyden tulevaisuuden. Kun se saavuttaa miljoonatason TPS:n, siitä ei ole kaukana maailman asutuskerroksesta.