A Fenbushi Capital lançou recentemente um post de blog abrangente sobre a comparação de oito zkVMs diferentes. () Aqui está um resumo, incluindo os principais resultados e conclusões.

O que são zkVMs? Os zkVMs são projetados para verificar criptograficamente a correção da execução de programas sem divulgar entradas ou estados computacionais intermediários. No que diz respeito à prova de blocos do Ethereum, os zkVMs sintetizam três garantias criptográficas fundamentais para verificar todas as transições de estado: · Provas de consistência de memória de leitura-escrita · Provas de codificação de instruções · Provas de instrução

Como podem os zkVMs escalar o Ethereum? Em vez de reexecutar cada transação, os validadores poderiam verificar uma prova criptográfica sucinta, que é muito eficiente, e poderia aumentar significativamente a capacidade do L1.

O blog da Fenbushi apresenta uma estrutura de benchmarking padronizada com o objetivo de tornar o desempenho do zkVM mais comparável. Ele avalia oito zkVMs — SP1, RISC Zero, OpenVM, Pico, ZKM, Jolt, Nexus e Novanet — em quatro tarefas computacionais e três métricas de desempenho (tempo do provador, tamanho da prova e utilização máxima de RAM).

Entre os diferentes sistemas de prova, existem alguns predominantes, como os baseados em FRI-STARK, Nova, Lasso lookup e GKR. As arquiteturas zkVM podem ser ainda categorizadas em dois paradigmas predominantes: estilo vRAM e estilo modular.

Hardware e programas de teste utilizados para benchmarking: Os benchmarks foram realizados em um sistema Linux equipado com Ubuntu 24.04, 8 CPUs virtuais, 192GB de RAM e uma GPU NVIDIA RTX 5090 com 32GB de VRAM. Os quatro programas de teste utilizados para avaliação foram: 1. Cálculo do 100.000º número de Fibonacci. 2. Cálculo do hash SHA2–2048. 3. Verificação de assinatura ECDSA usando a curva secp256k1. 4. Simulação de 100 transações de Transferência de Ethereum (ETHTransfer).

Tempo de prova para SHA2–2048: Para operações criptográficas como SHA2, a aceleração baseada em pré-compilação é uma estratégia de otimização comum.

Tempos de prova para 100 Transações de Transferência de ETH: Resumo: RISC Zero é ligeiramente mais lento que o SP1 no teste de Fibonacci, mas se destaca nos outros três programas de teste como o vencedor claro.

Eficiência de memória e uso máximo de memória: SP1 (GPU) e RISC Zero (GPU) demonstraram um consumo de memória relativamente constante, independentemente do programa de teste.

Os tamanhos das provas (em kB) foram observados da seguinte forma: RISC Zero e Jolt produziram consistentemente alguns dos tamanhos de prova mais compactos entre os benchmarks avaliados.

Resumo de desempenho: No geral, o desempenho da RISC Zero demonstra uma consistência excepcional, enquanto SP1, OpenVM, Pico e Jolt alcançaram um ótimo desempenho em algumas categorias individuais.

Conclusões: RISC Zero, OpenVM e SP1 demonstram um desempenho particularmente robusto, especialmente na execução de tarefas computacionais relacionadas ao EVM, o que os torna ótimos candidatos para escalar o Ethereum. RISC Zero apresenta uma eficiência excepcional em métricas-chave que são relevantes para aplicações de blockchain, e tudo isso com uma utilização eficiente da memória e um tamanho de prova compacto. Parabéns a @RiscZero, @openvm_org e @SuccinctLabs!