Fenbushi Capital julkaisi äskettäin kattavan blogikirjoituksen kahdeksan eri zkVM:n vertailusta. () Tässä on yhteenveto, joka sisältää tärkeimmät tulokset ja huomiot.

Mitä ovat zkVM:t? zkVM:t on suunniteltu tarkistamaan kryptografisesti ohjelman suorituksen oikeellisuus paljastamatta syötteitä tai laskennallisia välitiloja. Mitä tulee Ethereum-lohkojen todistamiseen, zkVM:t syntetisoivat kolme perustavanlaatuista kryptografista vakuutusta kaikkien tilasiirtymien todentamiseksi: · Luku- ja kirjoitusmuistin johdonmukaisuuden todisteet · Käskyjen koodaustodistukset · Ohjeiden todistukset

Miten zkVM:t voivat skaalata Ethereumia? Sen sijaan, että validoijat suorittaisivat jokaisen transaktion uudelleen, he voisivat tarkistaa ytimekkään kryptografisen todisteen, joka on erittäin tehokas ja voisi lisätä L1:n suorituskykyä merkittävästi.

Fenbushin blogi esittelee standardoidun vertailukehyksen, jonka tarkoituksena on tehdä zkVM:n suorituskyvystä vertailukelpoisempaa. Se arvioi kahdeksan zkVM:ää – SP1, RISC Zero, OpenVM, Pico, ZKM, Jolt, Nexus ja Novanet – neljässä laskennallisessa tehtävässä ja kolmessa suorituskykymittarissa (todisteaika, todistekoko ja RAM-muistin huippukäyttö).

Eri todistusjärjestelmien joukossa on muutamia vallitsevia, kuten FRI-STARK-pohjainen, Nova-pohjainen, Lasso-hakupohjainen ja GKR. zkVM-arkkitehtuurit voidaan luokitella edelleen kahteen vallitsevaan paradigmaan: vRAM-tyyliin ja modulaariseen tyyliin.

Vertailussa käytettävät laitteistot ja testiohjelmat: Vertailut suoritettiin Linux-järjestelmällä, joka oli varustettu Ubuntu 24.04:llä, 8 virtuaalisella suorittimella, 192 Gt RAM-muistilla ja NVIDIA RTX 5090 GPU:lla, jossa oli 32 Gt VRAM-muistia. Arvioinnissa käytetyt neljä testiohjelmaa sisälsivät seuraavat: 1. 100 000. Fibonacci-luvun laskeminen. 2. SHA2–2048 hajautusarvon laskenta. 3. ECDSA-allekirjoituksen todentaminen secp256k1-käyrän avulla. 4. 100 Ethereum-siirtotapahtuman (ETHTransfer) simulointi.

SHA2–2048:n koetusaika: SHA2:n kaltaisissa salausoperaatioissa esikäännöspohjainen kiihdytys on yleinen optimointistrategia.

100 ETHTransfer-tapahtuman todistusajat: Yhteenveto: RISC Zero on Fibonacci-testissä hieman hitaampi kuin SP1, mutta erottuu kolmessa muussa testiohjelmassa selkeänä voittajana.

Muistin tehokkuus ja muistin huippukäyttö: SP1 (GPU), RISC Zero (GPU) osoittivat suhteellisen jatkuvaa muistin kulutusta testiohjelmasta riippumatta.

Vedoskoot (kt) on havaittu seuraavasti: RISC Zero ja Jolt tuottivat jatkuvasti kompakteimpia vedoskokoja arvioiduissa vertailuarvoissa.

Suorituskyvyn yhteenveto: Kaiken kaikkiaan RISC Zeron suorituskyky osoittaa poikkeuksellista johdonmukaisuutta, kun taas SP1, OpenVM, Pico ja Jolt saavuttivat kukin erinomaisen suorituskyvyn joissakin yksittäisissä kategorioissa.

Päätelmät: RISC Zero, OpenVM ja SP1 osoittavat erityisen vankkaa suorituskykyä erityisesti EVM:ään liittyvien laskentatehtävien suorittamisessa, mikä tekee niistä loistavia ehdokkaita Ethereumin skaalaamiseen. RISC Zero osoittaa poikkeuksellista tehokkuutta lohkoketjusovelluksille merkityksellisissä keskeisissä mittareissa, ja kaikki tämä tehokkaalla muistin käytöllä ja kompaktilla todistekoolla. Onnittelut @RiscZero, @openvm_org ja @SuccinctLabs!