Vitalik Buterin: GKR se convertirá en la "autopista" de la tecnología ZK

El cofundador de Ethereum, Vitalik Buterin, publicó (10/19) un extenso artículo técnico titulado “A GKR Tutorial”, que explica en detalle un nuevo protocolo de prueba llamado “GKR (Goldreich–Kahan–Rothblum)” y señala que esta tecnología es clave para impulsar las actuales “pruebas ZK de alta velocidad”. Aunque el artículo está lleno de deducciones matemáticas, el mensaje central es muy claro: GKR lleva la prueba de cero conocimiento de la teoría a la práctica, haciendo que los cálculos complejos en cadena y la verificación de IA sean factibles, instantáneos y de bajo costo.

zk-SNARKs (ZK) entra en la era de “velocidad extrema”

Vitalik señala desde el principio que el mundo de las criptomonedas está entrando en una nueva fase de “aceleración ZK”. Desde la validación instantánea de Ethereum L1 en decenas de GPU de consumo, hasta laptops que pueden realizar dos millones de cálculos de hash por segundo, e incluso modelos de lenguaje grande (LLM) que pueden verificar el proceso de inferencia a través de la tecnología ZK — estos avances aparentemente interdisciplinarios tienen una base común: el protocolo GKR.

Por qué se necesita GKR: hacer que los grandes cálculos sean “confiables” pero no “pesados”

Los sistemas ZK tradicionales pueden verificar la corrección de los resultados, pero el costo es elevado: cada capa de cálculo requiere establecer un compromiso criptográfico, lo que provoca un aumento explosivo en los costos de computación.

Vitalik señaló que GKR cambió este modelo. Solo necesita hacer una promesa sobre “la entrada y la salida”, y puede omitir la capa intermedia, pero aún así asegura que el cálculo general sea confiable. Esto significa que:

Aumento de velocidad por varios factores

La reducción significativa de costos

Los validadores solo necesitan verificar el inicio y el final para poder confiar en todo el proceso.

Él describió esta estructura como “diseñada específicamente para cálculos en múltiples capas y repetitivos”, como grandes hash o inferencias de redes neuronales de IA.

De la criptografía a la IA: los múltiples escenarios de aplicación de GKR

Vitalik utiliza la función hash Poseidon como ejemplo para mostrar cómo GKR maneja estructuras de cálculo en capas. Pero el potencial de esta tecnología va mucho más allá de una sola aplicación.

GKR se puede aplicar a:

1. Validación ZK-EVM: Acelera la operación de la red principal de Ethereum (L1) y permite pruebas en cadena instantáneas; 2. Validación de modelos de IA (ZK-ML): Asegura que los resultados de inferencia de IA puedan ser verificados de manera encriptada; 3. Encriptación por lotes y verificación de datos: Mejora la eficiencia en escenarios de alta repetitividad como la validación de transacciones y la firma por lotes.

Vitalik enfatizó: “Siempre que el cálculo pueda expresarse como una estructura de múltiples capas, y cada capa pueda simplificarse a un polinomio de bajo grado, se puede aplicar directamente GKR.”

Los costos han disminuido drásticamente, pero todavía hay desafíos.

Según las pruebas de Vitalik, GKR tiene teóricamente un costo computacional de aproximadamente 15 veces, lo que representa una reducción significativa en comparación con el STARK tradicional de 100 veces. Después de la implementación, incluso puede bajar a menos de 10 veces; si se optimiza aún más la estructura de lotes, el costo se aproxima casi a 0.

Vitalik también recordó que, al buscar velocidad, se debe prestar atención a la seguridad del protocolo. Si el diseño no es adecuado, los malintencionados podrían predecir el valor de desafío aleatorio Fiat–Shamir, manipulando así la prueba. Para los desarrolladores, este es un nuevo desafío de diseño después de que el sistema ZK entra en la fase de ingeniería.

Si se usara una metáfora para describir GKR, Vitalik cree que es como «una autopista construida para el mundo de zk-SNARKs» — no cambia el destino (la veracidad de la prueba), pero permite que los datos fluyan más rápido y ligeros. En la era de la acelerada fusión entre la blockchain y la tecnología de IA, esta «autopista» no solo se trata de eficiencia, sino que es la infraestructura clave que impulsa la base de confianza de Web3.

Este artículo Vitalik Buterin: GKR se convertirá en la “autopista” de la tecnología ZK apareció por primera vez en las noticias de cadena ABMedia.