Vitalik publica un artículo tutorial sobre GKR: soporte para el protocolo de "capa de lotes" de prueba ZK ultrarrápida

Según información de Mars Finance, Vitalik Buterin ha publicado un artículo en el que detalla cómo se utiliza el protocolo GKR (Goldreich–Kahan–Rothblum) para acelerar las pruebas ZK, adaptándose a la estructura de cálculo “batch × multi-layer”, lo que reduce significativamente los compromisos de las capas intermedias, comprometiéndose solo con las entradas y salidas. El artículo toma como ejemplo el hash Poseidon2 y detalla el proceso de prueba recursiva centrado en el sumcheck, además de proponer optimizaciones (truco de Gruen, procesamiento por lotes lineales, solo elementos cúbicos en algunas rondas), que en el contexto de compromisos polinómicos se pueden combinar con BaseFold o FRI. El autor afirma que el costo real es inferior al valor teórico de unas 100 veces en comparación con STARK tradicional, y que se puede esperar un costo de nivel de un solo dígito, advirtiendo sobre la necesidad de prevenir riesgos de predictibilidad en circuitos con el desafío Fiat–Shamir.