Vitalik Buterin publica un tutorial sobre GKR: protocolo de "capas por lotes" que soporta pruebas ZK ultrarrápidas

Según informes de Hashworld, Vitalik Buterin ha publicado recientemente un artículo que explica en detalle cómo se aplica el protocolo GKR (Goldreich–Kahan–Rothblum) para acelerar las pruebas ZK, adecuándose a la estructura de cálculo "batch×multi-layer", lo que reduce significativamente los compromisos en las capas intermedias, comprometiéndose únicamente con las entradas y salidas. El artículo utiliza el hash Poseidon2 como ejemplo, analizando en profundidad el proceso de prueba recursiva centrado en sumcheck y proponiendo soluciones de optimización (técnicas de Gruen, procesamiento por lotes lineales, y elementos cúbicos solo en algunas rondas). Estas optimizaciones pueden combinarse con BaseFold o FRI en escenarios de compromiso polinómico. El autor señala que el costo real es inferior al valor teórico de aproximadamente 100 veces del STARK tradicional, con la expectativa de un costo de nivel de un solo dígito, y advierte sobre el riesgo de predictibilidad en los circuitos dentro del desafío Fiat–Shamir.

#Cryptocurrency #Blockchain #Ethereum #Pruebas ZK #VitalikButerin