Care este mai exact propunerea recentă a Ethereum de leanVM? Să aruncăm mai întâi o privire asupra fundalului și motivelor. Pentru a înțelege LeanVM, trebuie mai întâi să înțelegeți cadrul leanEthereum. Cadrul leanEthereum este o foaie de parcurs pe 10 ani propusă de cercetătorul Ethereum Justin Drake (lansată pe 31 iulie 2025), cu scopul realității: TPS la nivel de milioane (L1 10k/L2 1M), verificare zkVM în timp real și securitate rezistentă la cuantică. Această foaie de parcurs include zkVM-uri, iar LeanVM își propune să obțină zkVM-uri (mașini virtuale zero-knowledge) minimizate pentru verificarea securității, agregarea semnăturilor și dovezi recursive în era post-cuantică. Cadrul leanEthereum constă din trei părți: Lean consensus (consens simplificat, folosind dovezi zk pentru a verifica rădăcinile statului pentru a susține dispozitivele obișnuite de uz casnic), lean execution (simplificarea execuției, implementarea SNARKed L1 EVM sau introducerea RISC-V) și Lean data (simplificarea datelor, o nouă generație de scheme de disponibilitate a datelor). Cu alte cuvinte, LeanVM face parte din viziunea LeanEthereum de a îmbunătăți performanța, securitatea și descentralizarea Ethereum într-un mod minimalist. zkVM acceptă verificarea calculelor și a stării fără a dezvălui conținut de date specific, ceea ce îl face potrivit pentru verificarea stării în timp real, protecția confidențialității și aplicațiile cross-chain. leanVM în sine se concentrează pe rezolvarea blocajelor de calcul Ethereum, încercând să rezolve problema calculului on-chain de încredere, dar scump, și al ieftinului, dar lipsei de încredere în calculul off-chain. Încearcă în principal să obțină dovezi eficiente prin paradigme multiliniare și câmpuri mici (cum ar fi Koala Bear, câmp prim pe 31 de biți), înlocuind PCS univariate tradiționale (scheme de angajament) pentru a reduce cheltuielile generale de probă. Conform documentației sale, arhitectura LeanVM folosește în principal tabele AIR (Arithmetic Intermediate Representation) ca trimiteri polinomiale multiliniare; Validitatea constrângerilor este dovedită prin protocolul sum-check, iar evaluarea este simplificată la o singură declarație polinomială; Setul de instrucțiuni de bază include adunarea, înmulțirea, referința (acces la memorie) și saltul condiționat. Eliminați registrul indicatorului de alocare (AP), utilizați memoria doar în citire (secțiuni publice și de angajament) și bazați-vă pe sugestiile (sugestii) testatorului pentru a aloca cadre; În ceea ce privește optimizarea, steaua de conectare este utilizată pentru a reduce costurile de angajament și doar 5 elemente de câmp (PC, FP și trei indici de memorie) sunt angajate pe ciclu, ceea ce este redus la mai puțin de 18 în comparație cu alte zkVM-uri (cum ar fi KO), dar gradul de constrângere este crescut la 5. Suportă demonstrație recursivă: performanța actuală neoptimizată este de 2,7 secunde/parte recursivă, iar accelerația țintă este de peste 10 ori. Componenta de criptografie include integrarea Poseidon 2 (funcție hash prietenoasă cu ZK), care acceptă precompilarea elementelor de 16 și 24 de câmpuri; Pentru agregarea și recursivitatea XMSS (Optimized Hashbase Post-Quantum Signature Scheme), cheia comună este de aproximativ 50 de octeți, semnătura este de 3 KB, iar < de verificare este de 1 ms; Câmpuri și PCS: câmpuri Koala Bear, PCS multiliniare, produs intern și evaluare multiliniară în câmpuri extinse. În ceea ce privește implementarea, validatorul Proof of Concept (POC) este implementat în < 500 de linii de Python, subliniind simplitatea maximă. Compilatorul acceptă desfășurarea în linie și în buclă, dar nu este încă matur; În ceea ce privește testarea, testele unitare, testele de integritate dus-întors și testele de răspuns cunoscute folosesc cadrul Pytest. Scenariile de aplicare ale LeanVM includ: agregarea semnăturilor (comprimarea a mii de semnături în dovezi mici, potrivite pentru semnături multiple); gaura de vierme a confidențialității, jocuri cu lanț complet, piețe de predicție, verificare AI; reutilizare cross-chain (se poate aplica BTC etc.); Integrare cu leanMultisig (leanMultisig este un cadru multi-semnătură bazat pe hash care utilizează semnarea și agregarea frunzelor XMSS, bazându-se pe dovezile zk ale leanVM pentru a asigura securitatea post-cuantică). Starea de implementare a LeanVM, conform celor mai recente informații publice, leanVM este încă în faza incipientă de cercetare și dezvoltare a prototipului. Foaia de parcurs Lean Ethereum a fost lansată pe 31 iulie 2025 și se estimează că Lean Ethereum va finaliza sarcinile prioritare în 2026, va sprijini implementarea rețelei de testare în 2027-28 și va finaliza testarea în 2029. În general, Lean Ethereum va fi implementat timp de cel puțin 3-5 ani. Cu toate acestea, privind foaia de parcurs generală, foaia de parcurs a Ethereum pentru viitor dezvăluie un viitor de înaltă performanță, descentralizare, securitate și confidențialitate. Odată ce atinge un nivel TPS de un milion, nu este departe să devină stratul de colonizare al lumii.