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

ChainCatcher informa que Vitalik Buterin ha publicado 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 intermedios y solo realiza compromisos sobre la entrada y la salida.

El artículo toma como ejemplo el hash Poseidon2, explica en detalle el proceso de prueba recursiva centrado en sumcheck y presenta 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 coste real es aproximadamente 100 veces menor que el valor teórico de los STARK tradicionales, lo que hace viable un coste a nivel de dígito único, y advierte que el desafío Fiat–Shamir debe protegerse contra riesgos de previsibilidad dentro del circuito.