Vitalik explica en detalle el protocolo GKR para acelerar las pruebas ZK: optimización y desafíos de la hash Poseidon2

【链文】20 de octubre, noticia: Vitalik Buterin publicó un nuevo artículo que detalla cómo el protocolo GKR (Goldreich–Kahan–Rothblum) se utiliza para acelerar las pruebas ZK, adaptándose a la estructura de cálculo “lote×múltiple” y reduciendo significativamente los compromisos en las capas intermedias, comprometiéndose solo con la entrada y la salida. El artículo utiliza el hash Poseidon2 como ejemplo, detallando el proceso de prueba recursiva centrado en sumcheck y ofreciendo optimizaciones (truco de Gruen, procesamiento por lotes lineales, elementos cúbicos solo en algunas rondas), que pueden combinarse con BaseFold o FRI en escenarios de compromiso polinómico. El autor afirma que el costo real es inferior al valor teórico de aproximadamente 100 veces el STARK tradicional, y se puede esperar un costo de nivel de un solo dígito, advirtiendo que el desafío Fiat–Shamir debe tener en cuenta el riesgo de previsibilidad dentro del circuito.