Vitalik Buterin presenta el protocolo GKR para sistemas de prueba más rápidos

Vitalik Buterin ha compartido nueva investigación que podría redefinir cómo Ethereum aborda la verificación de pruebas y la escalabilidad en los próximos años.

Resumen

• Vitalik Buterin presenta GKR, un protocolo para la agregación de pruebas más rápida.
• GKR mejora la eficiencia de los sistemas ZK y rollup de Ethereum.
• Marca un paso hacia la visión “Lean” y cuánticamente segura de Ethereum para 2025.

Vitalik Buterin ha presentado el protocolo GKR, un sistema de prueba innovador diseñado para hacer que los cálculos de conocimiento cero sean más rápidos y eficientes.

Publicado el 20 de octubre en su blog personal vitalik.eth.limo, el nuevo tutorial de Buterin detalla el protocolo Goldwasser–Kalai–Rothblum. Este método de agregación de pruebas recursivas tiene el potencial de cambiar completamente cómo Ethereum (ETH) maneja el escalado y la verificación.

Protocolo GKR y el futuro de la eficiencia de prueba

El marco GKR verifica grandes cálculos con poco costo en cadena, simplificando pruebas criptográficas complejas. Buterin describe cómo GKR procesa pruebas en tiempo logarítmico sin requerir compromisos intermedios costosos, lo que lo hace mucho más eficiente que los sistemas convencionales ZK-SNARK o STARK.

En su publicación, Buterin acredita a Lev Soukhanov, Zhenfei Zhang y Zachary Williamson por sus comentarios y revisión, enfatizando que la fortaleza central de GKR radica en su escalabilidad. “Es un ajuste natural para probar grandes lotes de hashes y cálculos de estilo de red neuronal”, escribió, destacando su idoneidad tanto para cargas de trabajo de blockchain como de IA.

Debido al diseño del protocolo, los probadores pueden omitir compromisos en etapas intermedias, lo que reduce el costo y la carga computacional. Aunque GKR no es cero conocimiento en sí mismo, puede estar envuelto en capas ZK-SNARK o STARK para privacidad, combinando brevedad con confidencialidad.

Una pieza clave en la hoja de ruta de Ethereum

GKR se alinea con la visión más amplia de Buterin para “Ethereum Lean”, un diseño de red simplificado y resistente a la computación cuántica. Apoya directamente el movimiento de Ethereum hacia una finalización más rápida, la agregación de pruebas para rollups y la escalabilidad basada en pruebas de cero conocimiento.

Esta versión sigue varias iniciativas relacionadas de Buterin, como sugerencias para herramientas avanzadas de interoperabilidad entre redes de capa 2, clientes parcialmente sin estado para minimizar el almacenamiento de nodos y gobernanza habilitada por ZK. Juntas, tienen como objetivo hacer que Ethereum sea más eficiente, privado y accesible.

La columna vertebral criptográfica de Ethereum podría volverse más ligera y rápida a medida que los desarrolladores comiencen a experimentar con sistemas basados en GKR, lo que ayudaría a realizar el objetivo a largo plazo de Buterin de una computación escalable y verificada.