Společnost Fenbushi Capital nedávno zveřejnila obsáhlý příspěvek na blogu o benchmarkingu osmi různých zkVM. () Zde je shrnutí, včetně klíčových výsledků a poznatků.

Co jsou zkVMs? zkVM jsou navrženy tak, aby kryptograficky ověřovaly správnost provádění programu bez zveřejnění vstupů nebo mezilehlých výpočetních stavů. Pokud jde o dokazování bloků Ethereum, zkVMs syntetizují tři základní kryptografické záruky pro ověření všech přechodů stavů: · Důkazy o konzistenci paměti pro čtení a zápis · Důkazy kódování instrukcí · Instruktážní nátisky

Jak může zkVMs škálovat Ethereum? Namísto opětovného provádění každé transakce by validátoři mohli ověřit stručný kryptografický důkaz, který je velmi efektivní a mohl by výrazně zvýšit propustnost L1.

Fenbushiho blog představuje standardizovaný benchmarkingový rámec zaměřený na lepší srovnání výkonu zkVM. Vyhodnocuje osm zkVMs – SP1, RISC Zero, OpenVM, Pico, ZKM, Jolt, Nexus a Novanet – ve čtyřech výpočetních úlohách a třech metrikách výkonu (doba proveru, velikost důkazu a maximální využití paměti RAM).

Mezi různými systémy důkazů existuje několik převládajících, jako je FRI-STARK, Nova, Lasso-lookup-based a GKR. Architektury zkVM lze dále rozdělit do dvou převládajících paradigmat: styl vRAM a modulární styl.

Hardware a testovací programy používané pro benchmarking: Benchmarky byly provedeny na systému Linux vybaveném Ubuntu 24.04, 8 virtuálními procesory, 192 GB paměti RAM a grafickou kartou NVIDIA RTX 5090 s 32 GB paměti VRAM. Čtyři testovací programy použité pro hodnocení zahrnovaly: 1. Výpočet 100 000. Fibonacciho čísla. 2. Výpočet hodnoty hash SHA2–2048. 3. Ověření podpisu ECDSA pomocí křivky secp256k1. 4. Simulace 100 převodních transakcí Ethereum (ETHTransfer).

Čas prokázání pro SHA2–2048: U kryptografických operací, jako je SHA2, je běžnou strategií optimalizace akcelerace založená na předkompilaci.

Zkušební časy pro 100 transakcí ETHTransfer: Shrnutí: RISC Zero je ve Fibonacciho testu o něco pomalejší než SP1, ale v ostatních třech testovacích programech vyniká jako jasný vítěz.

Efektivita paměti a špičkové využití paměti: SP1 (GPU), RISC Zero (GPU) vykazovaly relativně konstantní spotřebu paměti bez ohledu na testovací program.

Zkušební velikosti (v kB) byly pozorovány následovně: Modely RISC Zero a Jolt trvale patří mezi nejkompaktnější velikosti nátisků v rámci hodnocených benchmarků.

Souhrn výkonu: Celkově výkon RISC Zero vykazuje výjimečnou konzistenci, zatímco SP1, OpenVM, Pico a Jolt dosáhly skvělého výkonu v některých jednotlivých kategoriích.

Závěry: RISC Zero, OpenVM a SP1 vykazují obzvláště robustní výkon, zejména při provádění výpočetních úloh souvisejících s EVM, což z nich dělá skvělé kandidáty pro škálování Etherea. RISC Zero vykazuje výjimečnou efektivitu napříč klíčovými metrikami, které jsou relevantní pro blockchainové aplikace, a to vše s efektivním využitím paměti a kompaktní velikostí důkazu. Gratulujeme @RiscZero, @openvm_org a @SuccinctLabs!