Fenbushi Capital heeft onlangs een uitgebreide blogpost gepubliceerd over het benchmarken van acht verschillende zkVM's. () Hier is een samenvatting, inclusief belangrijke resultaten en conclusies.

Wat zijn zkVM's? zkVM's zijn ontworpen om cryptografisch de correctheid van programmad uitvoering te verifiëren zonder invoer of tussenliggende rekenstatussen bekend te maken. Met betrekking tot het bewijzen van Ethereum-blokken, synthetiseren zkVM's drie fundamentele cryptografische waarborgen om alle statusovergangen te verifiëren: · Bewijzen van consistentie van lees-schrijfgeheugen · Bewijzen van instructiecodering · Instructiebewijzen

Hoe kunnen zkVM's Ethereum schalen? In plaats van elke transactie opnieuw uit te voeren, zouden validators een beknopt cryptografisch bewijs kunnen verifiëren, wat zeer efficiënt is en de doorvoer van de L1 aanzienlijk zou kunnen verhogen.

Fenbushi's blog introduceert een gestandaardiseerd benchmarkkader dat gericht is op het vergelijkbaarder maken van de prestaties van zkVM. Het evalueert acht zkVM's — SP1, RISC Zero, OpenVM, Pico, ZKM, Jolt, Nexus en Novanet — over vier computationele taken en drie prestatiemetrics (bewijstijd, bewijsomvang en piek RAM-gebruik).

Onder de verschillende bewijs systemen zijn er een paar dominante, zoals FRI-STARK-gebaseerd, Nova-gebaseerd, Lasso lookup-gebaseerd en GKR. zkVM-architecturen kunnen verder worden gecategoriseerd in twee dominante paradigma's: vRAM-stijl en modulaire stijl.

Hardware en testprogramma's gebruikt voor benchmarking: Benchmarks werden uitgevoerd op een Linux-systeem uitgerust met Ubuntu 24.04, 8 virtuele CPU's, 192GB RAM en een NVIDIA RTX 5090 GPU met 32GB VRAM. De vier testprogramma's die voor evaluatie zijn gebruikt, bestonden uit: 1. Berekening van het 100.000ste Fibonacci-getal. 2. SHA2–2048 hashberekening. 3. ECDSA handtekeningverificatie met behulp van de secp256k1-curve. 4. Simulatie van 100 Ethereum Transfer-transacties (ETHTransfer).

Bewijstijd voor SHA2–2048: Voor cryptografische operaties zoals SHA2 is versnelling op basis van precompilatie een veelgebruikte optimalisatiestrategie.

Bewijstijden voor 100 ETHTransfer-transacties: Samenvatting: RISC Zero is iets langzamer dan SP1 in de Fibonacci-test, maar steekt in de andere drie testprogramma's duidelijk bovenuit als de winnaar.

Geheugenefficiëntie en piekgeheugengebruik: SP1 (GPU), RISC Zero (GPU) toonden een relatief constante geheugenconsumptie ongeacht het testprogramma.

De bewijsformaten (in kB) zijn als volgt waargenomen: RISC Zero en Jolt produceerden consequent een van de meest compacte bewijsformaten in de geëvalueerde benchmarks.

Prestatieoverzicht: Over het algemeen toont de prestatiesamenvatting van RISC Zero uitzonderlijke consistentie, terwijl SP1, OpenVM, Pico en Jolt in sommige individuele categorieën uitstekende prestaties hebben geleverd.

Conclusies: RISC Zero, OpenVM en SP1 tonen bijzonder sterke prestaties, vooral bij het uitvoeren van EVM-gerelateerde computertaken, wat hen uitstekende kandidaten maakt voor het schalen van Ethereum. RISC Zero toont uitzonderlijke efficiëntie over belangrijke metrics die relevant zijn voor blockchain-toepassingen, en dit alles met efficiënte geheugengebruik en compacte bewijsomvang. Gefeliciteerd aan @RiscZero, @openvm_org en @SuccinctLabs!