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? As zkVMs são projetadas para verificar criptograficamente a exatidão da execução do programa sem divulgar entradas ou estados computacionais intermediários. Com relação à comprovação de blocos Ethereum, as 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ção · Provas de instrução

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

O blog de Fenbushi apresenta uma estrutura de benchmarking padronizada destinada a 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 de prova e pico de utilização de RAM).

Entre os diferentes sistemas de prova, existem alguns predominantes, como 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, 192 GB de RAM e uma GPU NVIDIA RTX 5090 com 32 GB de VRAM. Os quatro programas de teste utilizados para avaliação compreenderam: 1. Cálculo do 100.000º número de Fibonacci. 2. Computação de hash SHA2–2048. 3. Verificação da assinatura ECDSA usando 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: Resumo: O RISC Zero é um pouco 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 pico de uso de memória: SP1 (GPU), RISC Zero (GPU) demonstraram consumo de memória relativamente constante, independentemente do programa de teste.

Os tamanhos de prova (em kB) foram observados da seguinte forma: A RISC Zero e a Jolt produziram consistentemente entre os tamanhos de prova mais compactos nos benchmarks avaliados.

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

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