Vitalik Buterin presenta el Protocolo GKR para potenciar los sistemas de prueba de Ethereum.

Vitalik Buterin presenta el protocolo GKR para potenciar los sistemas de prueba de Ethereum.

El cofundador de Ethereum, Vitalik Buterin, ha introducido el protocolo GKR, una nueva familia de sistemas de prueba criptográfica diseñados para acelerar drásticamente las computaciones en entornos de ZK-EVM y zk-ML.

Diseñado para la eficiencia, GKR permite la generación de pruebas a velocidades sin precedentes al comprometerse solo con las entradas y salidas, eliminando la necesidad de verificar cada paso de cálculo intermedio.

Un avance en el rendimiento de la prueba

El enfoque GKR (Goldwasser–Kalai–Rothblum) está optimizado para cálculos que utilizan múltiples capas de bajo grado y repiten operaciones similares, como el hashing y la inferencia de redes neuronales. Estas son estructuras comunes tanto en criptografía como en IA, donde las pruebas a gran escala deben manejar millones de operaciones simultáneamente.

A diferencia de los sistemas de prueba tradicionales como STARKs, que requieren compromisos en cada capa, el método simplificado de GKR se centra en los puntos finales, lo que reduce significativamente la sobrecarga. El resultado es una creación de pruebas mucho más rápida, particularmente para ZK-EVMs y modelos zk-ML donde la demanda computacional es inmensa.

Eficiencia Sin Compromisos

Según Buterin, la fortaleza de GKR radica en su simplicidad. Solo se compromete con las entradas y salidas, aprovechando una estructura de pruebas de verificación de suma para verificar los pasos intermedios. Esta estructura la hace ideal para cargas de trabajo repetitivas como el hashing (e.g., Poseidon) o capas neuronales, donde los patrones se pueden probar de manera eficiente en paralelo.

Mientras que GKR en sí no proporciona privacidad de conocimiento cero, puede ser envuelto dentro de sistemas ZK-SNARK o ZK-STARK para agregar confidencialidad. El diseño del protocolo permite una alta eficiencia mientras se mantiene un rigor matemático completo en la verificación de la corrección.

Por qué es importante para Ethereum

Buterin enfatizó que GKR representa un gran avance en la escalabilidad de blockchain y la computación de prueba. Al evitar compromisos redundantes y centrarse en la validación de extremo a extremo, GKR hace posible probar cargas de trabajo masivas rápidamente y a un costo menor.

A medida que Ethereum continúa evolucionando hacia sistemas de conocimiento cero más rápidos y escalables, GKR podría convertirse en un componente central que impulse los marcos de prueba de computación de próxima generación tanto en aplicaciones de cripto como de IA.