Fenbushi Capital heeft onlangs een uitgebreide blogpost uitgebracht over het benchmarken van acht verschillende zkVM's. () Hier is een samenvatting, inclusief de belangrijkste resultaten en take-aways.

Wat zijn zkVM's? zkVM's zijn ontworpen om de juistheid van de uitvoering van programma's cryptografisch te verifiëren zonder invoer of tussenliggende rekentoestanden bekend te maken. Met betrekking tot het bewijzen van Ethereum-blokken synthetiseren zkVM's drie fundamentele cryptografische garanties om alle statusovergangen te verifiëren: · Consistentieproeven voor lees-schrijfgeheugen · Instructie coderingsproeven · Instructie proeven

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 benchmarking-raamwerk dat erop gericht is de prestaties van zkVM beter vergelijkbaar te maken. Het evalueert acht zkVM's - SP1, RISC Zero, OpenVM, Pico, ZKM, Jolt, Nexus en Novanet - over vier rekentaken en drie prestatiemetrieken (provertijd, proefgrootte en piek RAM-gebruik).

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

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

Rijstijd voor SHA2-2048: Voor cryptografische bewerkingen zoals SHA2 is precompilatie-gebaseerde versnelling 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) vertoonden een relatief constant geheugenverbruik, ongeacht het testprogramma.

Proefgroottes (in kB) zijn als volgt waargenomen: RISC Zero en Jolt behoorden consequent tot de meest compacte proefformaten in de geëvalueerde benchmarks.

Samenvatting van de prestaties: Over het algemeen vertonen de prestaties van RISC Zero een uitzonderlijke consistentie, terwijl SP1, OpenVM, Pico en Jolt elk geweldige prestaties behaalden in sommige afzonderlijke categorieën.

Conclusies: RISC Zero, OpenVM en SP1 vertonen bijzonder robuuste prestaties, vooral bij het uitvoeren van EVM-gerelateerde rekentaken, waardoor ze geweldige kandidaten zijn voor het opschalen van Ethereum. RISC Zero vertoont uitzonderlijke efficiëntie op belangrijke statistieken die relevant zijn voor blockchain-toepassingen, en dit alles met efficiënt geheugengebruik en compacte proofsize. Prolicitatie aan @RiscZero, @openvm_org en @SuccinctLabs!