Fenbushi Capital publicó recientemente una publicación de blog completa sobre la evaluación comparativa de ocho zkVM diferentes. () Aquí hay un resumen, que incluye resultados clave y conclusiones.

¿Qué son las zkVM? 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 · Pruebas de codificación de instrucciones · 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, que 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: Los puntos de referencia 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 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 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 produjeron consistentemente entre los tamaños de prueba más compactos en 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 sólido, 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 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. ¡Felicitaciones a @RiscZero, @openvm_org y @SuccinctLabs!