Fenbushi Capital ha publicado recientemente una completa entrada de blog sobre la evaluación comparativa de ocho zkVMs diferentes. () A continuación, se presenta un resumen, que incluye los principales resultados y conclusiones.

¿Qué son las zkVMs? Las zkVM están diseñadas para verificar criptográficamente la corrección de la ejecución del programa sin revelar entradas o estados computacionales intermedios. Con respecto a la prueba de bloques de Ethereum, las zkVM sintetizan tres garantías criptográficas fundamentales para verificar todas las transiciones de estado: · Pruebas de coherencia de memoria de lectura y escritura · Instrucciones de codificación de pruebas · Pruebas de instrucción

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

El blog de Fenbushi presenta un marco de evaluación comparativa 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 de prueba, tamaño de prueba y utilización máxima de RAM).

Entre los diferentes sistemas de prueba, hay algunos predominantes, como el basado en FRI-STARK, el basado en Nova, el basado en búsqueda Lasso y GKR. Las arquitecturas zkVM se pueden clasificar en dos paradigmas predominantes: estilo vRAM y estilo modular.

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

Tiempo de prueba para SHA2-2048: En el caso de las operaciones criptográficas como SHA2, la aceleración basada en la precompilación es una estrategia de optimización común.

Tiempos de prueba para transacciones de 100 ETHTransfer: 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 se produjeron consistentemente entre los tamaños de prueba más compactos en todos los puntos de referencia 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 excelentes candidatos para escalar Ethereum. RISC Zero muestra una eficiencia excepcional en todas las 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!