Cucinto ha demostrado una prueba de conocimiento cero en tiempo real para los bloques de Ethereum, generando pruebas criptográficas en menos de 12 segundos.
El SP1 “Hypercube” de sucinto ZKVM produjo una prueba para el bloque Ethereum 22309250 (143 transacciones, 32 millones de gas) en 10.8 segundos, y los puntos de referencia internos mostraron que podría probar el 93 % de 10,000 bloques recientes de redes principales en menos de 12 segundos, con una latencia promedio de 10.3 segundos.
El logro marca un salto técnico para el espacio de conocimiento cero, con un despliegue sucinto de un sistema de prueba completamente nuevo basado en polinomios multilineales, núcleos CUDA optimizados para operaciones como logup GKR y comprobación de suma, y una arquitectura de nube de baja latencia que abarca cientos de GPU. La cofundadora Uma Roy caracterizó el hito como resultado de los avances de ingeniería a través de la criptografía, la aceleración de hardware y los sistemas distribuidos.
Roy comentó,
“Este es el momento del hombre de ZK en la luna. La prueba de Ethereum en tiempo real ha aterrizado.
Si hubiera preguntado a alguien en ZK hace 1 año si esto era posible, habrían dicho que era un disparo literal ”.
Mientras que el hito de rendimiento reduce la brecha de latencia entre la generación de pruebas y el tiempo de bloqueo, el cofundador de Ethereum, Vitalik Buterin, describió las limitaciones restantes.
Los resultados actuales representan un rendimiento promedio, no en el peor de los casos. Buterin enfatizó que para probar en tiempo real es adecuado para la seguridad de la capa 1, la prueba de peor bloque de casos también debe permanecer dentro de los tiempos de bloque.
Además, las pruebas de SP1 no han sufrido una verificación formal, y los requisitos de energía rondan cerca de 100 kW por prueba, muy por encima de los 10 kW que Buterin considera viable para la prueba en el hogar. También señaló que expandir el límite de gas de la capa 1 de Ethereum por orden de magnitud permanece contingente en una mayor eficiencia de prueba.
Las discusiones comunitarias han surgido en torno a la descentralización y la capacidad de prueba. Como se discutió en el Foro Ethereum Magicians, el investigador Dankrad Odendaal abogó por los objetivos de descentralización de hardware de relajación temporal para los retrocesos.
Odendaal señaló que probar la sobrecarga ha caído en varios órdenes de magnitud y que pueden ser posibles más ganancias a través de mejoras arquitectónicas o hardware especializado.
Propuso que probar es reversible, a diferencia de otras áreas de escala de protocolo que incurren en cargas permanentes. Si la escalabilidad impulsa contra la capacidad de saco, la red podría volver a reducir los límites de gas sin penalizaciones de crecimiento estatal a largo plazo.
Odendaal también señaló que la generación de pruebas puede ser paralelizada a través de la infraestructura distribuida, lo que lo hace menos susceptible a los riesgos de centralización que los nodos con estado completo. Incluso sin una prueba de gastos generales de un solo dígito, la prueba distribuida en muchas máquinas podría lograr objetivos de latencia al tiempo que preserva una suposición de honestidad minoritaria para la integridad del sistema.
El despliegue de SP1 en un contexto en tiempo real es la culminación de la innovación criptográfica y la coordinación de la infraestructura.
La implementación de Excinct abarca implementaciones de metal desnudo y cargas de trabajo distribuidas ajustadas por el rendimiento, pero las limitaciones de energía y verificación formales ilustran que la prueba de probar permanece en una trayectoria, aún no es un punto final.
Otras reducciones en la latencia y la potencia, junto con la integración a nivel de protocolo, darán forma a la capacidad de Ethereum para anclar la ejecución minimizada de confianza directamente en su capa base.
Mencionado en este artículo
(Tagstotranslate) Ethereum
