A Fenbushi Capital lançou recentemente uma postagem abrangente no blog sobre benchmarking de oito zkVMs diferentes. () Aqui está um resumo, incluindo os principais resultados e conclusões.

O que são zkVMs? zkVMs são projetados para verificar criptograficamente a correção da execução do programa sem divulgar entradas ou estados computacionais intermediários. Com relação à comprovação de blocos 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-gravação · Provas de codificação de instruções · Provas de instrução

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

O blog de 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 de provação, tamanho da prova e utilização de pico de RAM).

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

Hardware e programas de teste usados 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 incluíram: 1. Cálculo do número 100.000 de Fibonacci. 2. Computação de hash SHA2–2048. 3. Verificação da assinatura ECDSA utilizando a curva secp256k1. 4. Simulação de 100 transações de transferência 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 ETHTransfer: Sumário: RISC Zero é ligeiramente mais lento do que o SP1 no teste de Fibonacci, mas destaca-se nos outros três programas de teste como o vencedor claro.

Eficiência de memória e pico de uso de memória: SP1 (GPU), 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 consistentemente produzidos entre os tamanhos de prova mais compactos em todos os benchmarks avaliados.

Resumo do desempenho: No geral, o desempenho do RISC Zero demonstra uma consistência excecional, 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 mostra eficiência excecional em métricas-chave que são relevantes para aplicações blockchain, e tudo isso com utilização eficiente de memória e tamanho de prova compacto. Parabéns a @RiscZero, @openvm_org e @SuccinctLabs!