Fenbushi Capital a lansat recent o postare cuprinzătoare pe blog despre benchmarking-ul a opt zkVM-uri diferite. () Iată un rezumat, inclusiv rezultatele cheie și concluziile.

Ce sunt zkVM-urile? zkVM-urile sunt concepute pentru a verifica criptografic corectitudinea execuției programului fără a dezvălui intrări sau stări de calcul intermediare. În ceea ce privește dovedirea blocurilor Ethereum, zkVM-urile sintetizează trei asigurări criptografice fundamentale pentru a verifica toate tranzițiile de stare: · Dovezi de consecvență a memoriei de citire-scriere · Demonstrații de codificare a instrucțiunilor · Demonstrații de instrucțiuni

Cum pot zkVM-urile scala Ethereum? În loc să reexecute fiecare tranzacție, validatorii ar putea verifica o dovadă criptografică succintă, care este foarte eficientă și ar putea crește semnificativ debitul L1.

Blogul lui Fenbushi introduce un cadru standardizat de benchmarking menit să facă performanța zkVM mai comparabilă. Evaluează opt zkVM-uri - SP1, RISC Zero, OpenVM, Pico, ZKM, Jolt, Nexus și Novanet - în patru sarcini de calcul și trei valori de performanță (timpul de verificare, dimensiunea dovezii și utilizarea maximă a RAM).

Printre diferitele sisteme de demonstrație, există câteva predominante, cum ar fi bazat pe FRI-STARK, bazat pe Nova, bazat pe căutare Lasso și GKR. Arhitecturile zkVM pot fi clasificate în continuare în două paradigme predominante: stil vRAM și stil modular.

Programe hardware și de testare utilizate pentru benchmarking: Benchmark-urile au fost efectuate pe un sistem Linux echipat cu Ubuntu 24.04, 8 procesoare virtuale, 192 GB RAM și un GPU NVIDIA RTX 5090 cu 32 GB de VRAM. Cele patru programe de testare utilizate pentru evaluare au cuprins: 1. Calculul numărului Fibonacci 100.000. 2. Calcul hash SHA2-2048. 3. Verificarea semnăturii ECDSA folosind curba secp256k1. 4. Simularea a 100 de tranzacții de transfer Ethereum (ETHTransfer).

Timpul de probă pentru SHA2-2048: Pentru operațiuni criptografice precum SHA2, accelerarea bazată pe precompilare este o strategie comună de optimizare.

Timpi de probă pentru 100 de tranzacții ETHTransfer: Rezumat: RISC Zero este puțin mai lent decât SP1 în testul Fibonacci, dar iese în evidență în celelalte trei programe de testare ca fiind câștigătorul clar.

Eficiența memoriei și utilizarea maximă a memoriei: SP1 (GPU), RISC Zero (GPU) au demonstrat un consum de memorie relativ constant, indiferent de programul de testare.

Dimensiunile dovezii (în kB) au fost observate după cum urmează: RISC Zero și Jolt au produs în mod constant printre cele mai compacte dimensiuni de probă din benchmark-urile evaluate.

Rezumatul performanței: În general, performanța RISC Zero demonstrează o consistență excepțională, în timp ce SP1, OpenVM, Pico și Jolt au atins fiecare performanțe excelente în unele categorii individuale.

Concluziile: RISC Zero, OpenVM și SP1 demonstrează performanțe deosebit de robuste, în special în executarea sarcinilor de calcul legate de EVM, ceea ce le face candidați excelenți pentru scalarea Ethereum. RISC Zero arată o eficiență excepțională în ceea ce privește valorile cheie care sunt relevante pentru aplicațiile blockchain și toate acestea cu utilizarea eficientă a memoriei și dimensiunea compactă a dovezii. Felicitări @RiscZero, @openvm_org și @SuccinctLabs!