Jaký je přesně nedávný návrh leanVM od Etherea? Pojďme se nejprve podívat na pozadí a důvody. Abychom porozuměli LeanVM, musíme nejprve porozumět rámci leanEthereum. Rámec leanEthereum je 10letý plán navržený výzkumníkem Etherea Justinem Drakem (vydáno 31. července 2025) s cílem reality: TPS na milionové úrovni (L1 10k/L2 1M), ověření zkVM v reálném čase a kvantově odolné zabezpečení. Tento plán zahrnuje zkVMs a LeanVM si klade za cíl dosáhnout minimalizovaných zkVMs (virtuálních strojů s nulovými znalostmi) pro ověřování zabezpečení, agregaci podpisů a rekurzivní důkazy v postkvantové éře. Rámec LeanEthereum se skládá ze tří částí: Lean consensus (zjednodušený konsensus, použití zk proofů k ověření kořenů stavu pro podporu běžných domácích zařízení), lean execution (zefektivnění provádění, implementace SNARKed L1 EVM nebo zavedení RISC-V) a Lean data (zefektivnění dat, nová generace schématu dostupnosti dat). Jinými slovy, LeanVM je součástí vize LeanEthereum zlepšit výkon, bezpečnost a decentralizaci Etherea minimalistickým způsobem. zkVM podporuje ověřování výpočtů a stavu bez zveřejnění konkrétního datového obsahu, takže je vhodný pro ověřování stavu v reálném čase, ochranu soukromí a cross-chain aplikace. Samotný leanVM se zaměřuje na řešení výpočetních překážek Etherea a snaží se vyřešit problém důvěryhodných, ale drahých on-chain výpočtů a levných, ale nedůvěryhodných off-chain computingů. Snaží se hlavně dosáhnout efektivních důkazů prostřednictvím multilineárních paradigmat a malých polí (jako je Koala Bear, 31-bitové prvočíslo), které nahrazují tradiční jednorozměrné PCS (závazková schémata), aby se snížila režie důkazů. Podle dokumentace používá architektura LeanVM hlavně tabulky AIR (Arithmetic Intermediate Representation) jako multilineární polynomiální podání; Platnost omezení je dokázána pomocí sum-check protokolu a vyhodnocení je zjednodušeno na jedinou polynomiální deklaraci; Základní instrukční sada zahrnuje sčítání, násobení, referenci (přístup do paměti) a podmíněný skok. Odstraňte registr alokačních ukazatelů (AP), použijte paměť pouze pro čtení (veřejné části a sekce závazku) a spoléhejte se na rady (rady) proverteru pro alokaci snímků; Pokud jde o optimalizaci, logup star se používá ke snížení nákladů na závazek a pouze 5 prvků pole (PC, FP a tři paměťové indexy) je potvrzeno na cyklus, což je sníženo na méně než 18 ve srovnání s jinými zkVMs (jako je KO), ale stupeň omezení je zvýšen na 5. Podpora rekurzivního důkazu: Aktuální neoptimalizovaný výkon je 2,7 sekundy/rekurzivní část a cílové zrychlení je více než 10krát. Kryptografická komponenta zahrnuje integraci Poseidonu 2 (hashovací funkce přátelská k ZK), která podporuje předkompilaci prvků 16 a 24 polí; Pro agregaci a rekurzi XMSS (Optimized Hashbase Post-Quantum Signature Scheme) je společný klíč přibližně 50 bajtů, podpis má 3 kB a ověřovací < je 1 ms; Pole a PCS: Pole medvídka koala, multilineární PCS, vnitřní součin a multilineární vyhodnocení v rozšířených polích. Pokud jde o implementaci, validátor Proof of Concept (POC) je implementován ve < 500 řádcích Pythonu, což klade důraz na maximální jednoduchost. Kompilátor podporuje inline a smyčkové rozvíjení, ale ještě není zralý; Pokud jde o testování, testy jednotek, testy integrity odezvy a testy známých odpovědí používají architekturu Pytest. Scénáře použití LeanVM zahrnují: agregaci podpisů (kompresi tisíců podpisů do malých důkazů, vhodné pro více podpisů); soukromí červí díra, full-chain hry, predikční trhy, ověřování AI; cross-chain opětovné použití (může se vztahovat na BTC atd.); Integrace s leanMultisig (leanMultisig je framework pro více podpisů založený na hashi, který používá podepisování a agregaci listů XMSS a spoléhá se na důkazy zk leanVM k zajištění postkvantové bezpečnosti). Stav implementace LeanVM, podle nejnovějších veřejných informací, je leanVM stále v rané fázi výzkumu a vývoje prototypu. Plán štíhlého Etherea byl vydán 31. července 2025 a odhaduje se, že Lean Ethereum dokončí prioritní úkoly v roce 2026, podpoří nasazení testovací sítě v letech 2027-28 a dokončí testování v roce 2029. Celkově bude Lean Ethereum implementováno po dobu nejméně 3-5 let. Při pohledu na celkový plán však plán Etherea do budoucna odhaluje budoucnost vysokého výkonu, decentralizace, bezpečnosti a soukromí. Jakmile dosáhne TPS na milionové úrovni, není daleko k tomu, aby se stala světovou vypořádací vrstvou.