Fenbushi Capital publicó recientemente un artículo de blog completo sobre la evaluación de ocho zkVMs diferentes. () Aquí hay un resumen, que incluye resultados clave y conclusiones.

¿Qué son los zkVMs? Los zkVMs están diseñados para verificar criptográficamente la corrección de la ejecución de programas sin revelar entradas ni estados computacionales intermedios. En lo que respecta a la prueba de bloques de Ethereum, los zkVMs sintetizan tres garantías criptográficas fundamentales para verificar todas las transiciones de estado: · Pruebas de consistencia de memoria de lectura-escritura · Pruebas de codificación de instrucciones · Pruebas de instrucciones

¿Cómo pueden los zkVMs escalar Ethereum? En lugar de volver a ejecutar cada transacción, los validadores podrían verificar una prueba criptográfica sucinta, que es muy eficiente y podría aumentar significativamente el rendimiento de la L1.

El blog de Fenbushi presenta un marco de referencia estandarizado destinado a hacer que el rendimiento de zkVM sea más comparable. Evalúa ocho zkVM: SP1, RISC Zero, OpenVM, Pico, ZKM, Jolt, Nexus y Novanet, en cuatro tareas computacionales y tres métricas de rendimiento (tiempo del probador, tamaño de la prueba y utilización máxima de RAM).

Entre los diferentes sistemas de prueba, hay algunos predominantes, como los basados en FRI-STARK, los basados en Nova, los basados en Lasso lookup y GKR. Las arquitecturas zkVM se pueden categorizar aún más en dos paradigmas predominantes: estilo vRAM y estilo modular.

Hardware y programas de prueba utilizados para la evaluación: Las pruebas se realizaron en un sistema Linux equipado con Ubuntu 24.04, 8 CPUs virtuales, 192GB de RAM y una GPU NVIDIA RTX 5090 con 32GB de VRAM. Los cuatro programas de prueba utilizados para la evaluación fueron: 1. Cálculo del número 100,000 de Fibonacci. 2. Cálculo del hash SHA2–2048. 3. Verificación de la firma ECDSA utilizando la curva secp256k1. 4. Simulación de 100 transacciones de transferencia de Ethereum (ETHTransfer).

Tiempo de prueba para SHA2–2048: Para operaciones criptográficas como SHA2, la aceleración basada en precompilaciones es una estrategia de optimización común.

Tiempos de prueba para 100 transacciones de transferencia de ETH: Resumen: RISC Zero es ligeramente más lento que SP1 en la prueba de Fibonacci, pero se destaca en los otros tres programas de prueba como el claro ganador.

Eficiencia de memoria y uso máximo de memoria: SP1 (GPU), RISC Zero (GPU) demostraron un consumo de memoria relativamente constante independientemente del programa de prueba.

Los tamaños de prueba (en kB) se han observado de la siguiente manera: RISC Zero y Jolt produjeron consistentemente algunos de los tamaños de prueba más compactos en los benchmarks evaluados.

Resumen de rendimiento: En general, el rendimiento de RISC Zero demuestra una consistencia excepcional, mientras que SP1, OpenVM, Pico y Jolt alcanzaron un gran rendimiento en algunas categorías individuales.

Conclusiones: RISC Zero, OpenVM y SP1 demuestran un rendimiento particularmente robusto, especialmente en la ejecución de tareas computacionales relacionadas con EVM, lo que los convierte en grandes candidatos para escalar Ethereum. RISC Zero muestra una eficiencia excepcional en métricas clave que son relevantes para las aplicaciones de blockchain, y todo esto con una utilización eficiente de la memoria y un tamaño de prueba compacto. ¡Felicidades a @RiscZero, @openvm_org y @SuccinctLabs!