Vad exakt är Ethereums senaste förslag till leanVM? Låt oss först ta en titt på bakgrunden och anledningarna. För att förstå LeanVM måste man först förstå leanEthereum-ramverket. leanEthereum-ramverket är en 10-årig färdplan som föreslagits av Ethereum-forskaren Justin Drake (släpptes den 31 juli 2025), med målet att bli verklighet: TPS på miljonnivå (L1 10k/L2 1M), zkVM-verifiering i realtid och kvantresistent säkerhet. Denna färdplan inkluderar zkVMs, och LeanVM syftar till att uppnå minimerade zkVMs (virtuella maskiner med nollkunskap) för säkerhetsverifiering, signaturaggregering och rekursiva bevis i post-kvant-eran. leanEthereum-ramverket består av tre delar: Lean consensus (strömlinjeformad konsensus, användning av zk-bevis för att verifiera tillståndsrötter för att stödja vanliga hushållsenheter), lean execution (effektivisering av utförandet, implementering av SNARKed L1 EVM eller införande av RISC-V) och Lean data (effektivisering av data, en ny generation av datatillgänglighetsschema). Med andra ord är LeanVM en del av LeanEthereums vision att förbättra Ethereums prestanda, säkerhet och decentralisering på ett minimalistiskt sätt. zkVM stöder verifiering av beräkningar och tillstånd utan att avslöja specifikt datainnehåll, vilket gör den lämplig för tillståndsverifiering i realtid, integritetsskydd och tvärkedjeapplikationer. leanVM i sig fokuserar på att lösa flaskhalsar i Ethereum-beräkningar och försöker lösa problemet med pålitlig men dyr databehandling på kedjan och billig men brist på förtroende för databehandling utanför kedjan. Det försöker främst uppnå effektiva bevis genom multilinjära paradigm och små fält (som Koala Bear, 31-bitars primfält), som ersätter traditionella univariata PCS (åtagandescheman) för att minska beviskostnaderna. Enligt dess dokumentation använder LeanVM:s arkitektur huvudsakligen AIR-tabeller (Arithmetic Intermediate Representation) som multilinjära polynominlämningar; Giltigheten av begränsningar bevisas genom summakontrollprotokollet, och utvärderingen förenklas till en enda polynomdeklaration; Den grundläggande instruktionsuppsättningen inkluderar addition, multiplikation, referens (minnesåtkomst) och villkorlig hopp. Ta bort allokeringspekarregistret (AP), använd skrivskyddat minne (offentliga avsnitt och åtagandeavsnitt) och förlita dig på bevisarens tips (tips) för att allokera ramar; När det gäller optimering används logup star för att minska åtagandekostnaderna, och endast 5 fältelement (PC, FP och tre minnesindex) allokeras per cykel, vilket reduceras till mindre än 18 jämfört med andra zkVM:er (som KO), men begränsningsgraden ökas till 5. Stöd rekursivt bevis: Den aktuella icke-optimerade prestandan är 2,7 sekunder/rekursiv del, och målaccelerationen är mer än 10 gånger. Kryptografikomponenten inkluderar integrationen av Poseidon 2 (ZK-vänlig hash-funktion), som stöder förkompilering av 16- och 24-fältselement; För aggregering och rekursion av XMSS (Optimized Hashbase Post-Quantum Signature Scheme) är den gemensamma nyckeln cirka 50 byte, signaturen är 3 kB och verifieringen < är 1 ms; Fält och PCS: Koala Bear-fält, multilinjär PCS, inre produkt och multilinjär utvärdering i utökade fält. När det gäller implementering är Proof of Concept (POC)-valideraren implementerad i < 500 rader Python, med betoning på maximal enkelhet. Kompilatorn stöder inline- och looputveckling, men är ännu inte mogen. När det gäller testning använder enhetstester, integritetstester tur och retur och kända svartester Pytest-ramverket. Tillämpningsscenarierna för LeanVM inkluderar: signaturaggregering (komprimering av tusentals signaturer till små bevis, lämpliga för flera signaturer); maskhål för integritet, spel med hela kedjan, förutsägelsemarknader, AI-verifiering; återanvändning över kedjan (kan gälla BTC, etc.); Integration med leanMultisig (leanMultisig är ett hash-baserat ramverk för flera signaturer som använder XMSS-bladsignering och aggregering, och förlitar sig på leanVM:s zk-bevis för att säkerställa säkerhet efter kvantum). LeanVM:s implementeringsstatus, enligt den senaste offentliga informationen, är leanVM fortfarande i det tidiga forsknings- och prototyputvecklingsstadiet. Lean Ethereums färdplan släpptes den 31 juli 2025, och det uppskattas att Lean Ethereum kommer att slutföra prioriterade uppgifter 2026, stödja utrullning av testnät 2027-28 och slutföra testning 2029. Sammantaget kommer Lean Ethereum att implementeras i minst 3-5 år. Men om man tittar på den övergripande färdplanen avslöjar Ethereums färdplan för framtiden en framtid med hög prestanda, decentralisering, säkerhet och integritet. När det väl har uppnått en TPS på miljonnivå är det inte långt borta för att bli världens bosättningslager.