Vitalik publica un artículo tutorial sobre GKR: el protocolo "batch × layer" que respalda las pruebas ZK ultrarrápidas

ChainCatcher informa que Vitalik Buterin publicó recientemente un artículo detallando cómo el protocolo GKR (Goldreich–Kahan–Rothblum) se utiliza para acelerar las pruebas ZK, adaptándose a una estructura de cálculo “por lotes × multinivel”, lo que reduce significativamente los compromisos en las capas intermedias y solo realiza compromisos sobre la entrada y la salida.

El artículo toma como ejemplo el hash Poseidon2 y explica en detalle el proceso de prueba recursiva centrado en sumcheck, además de proponer optimizaciones (el truco de Gruen, procesamiento por lotes lineal, solo el primer elemento cúbico en algunas rondas). En escenarios de compromisos polinomiales, se puede combinar con BaseFold o FRI. El autor afirma que el costo real es aproximadamente 100 veces menor que el valor teórico de los STARK tradicionales, lo que hace viable un costo a nivel de dígito único, y advierte que el desafío Fiat–Shamir debe protegerse contra riesgos de previsibilidad dentro del circuito.