Vitalik publica un artículo tutorial de GKR: el protocolo "capa de lotes" que soporta pruebas ZK ultrarrápidas.

PANews 20 de octubre, informó que Vitalik Buterin publicó un artículo detallando cómo se utiliza el protocolo GKR (Goldreich–Kahan–Rothblum) para acelerar las pruebas ZK, adaptándose a la estructura de cálculo “lote × múltiples capas”, reduciendo significativamente los compromisos de las capas intermedias, comprometido solo con las entradas y salidas. El artículo utiliza el hash Poseidon2 como ejemplo, explicando el proceso de prueba recursiva centrado en sumcheck y proporcionando optimizaciones (truco de Gruen, procesamiento por lotes lineales, solo ciertos elementos cúbicos en algunas rondas), que en escenarios de compromiso polinómico pueden combinarse con BaseFold o FRI. El autor afirma que el costo real es inferior al valor teórico de aproximadamente 100 veces el STARK tradicional, y se espera un costo de nivel de un solo dígito, además advierte que el desafío de Fiat–Shamir debe protegerse contra el riesgo de predictibilidad dentro del circuito.