Vitalik publica un artículo, el protocolo GKR mejora la eficiencia computacional de las pruebas de conocimiento cero

Según ChainCatcher, el fundador de Ethereum, Vitalik Buterin, publicó esta mañana un artículo presentando el protocolo GKR. El protocolo GKR (Goldwasser-Kalai-Rothblum) se está convirtiendo en la tecnología central de los sistemas de pruebas de conocimiento cero de alto rendimiento.

Investigaciones recientes muestran que GKR, al evitar operaciones de compromiso en las capas intermedias y comprometer solo la entrada y la salida, puede reducir el costo teórico de los métodos tradicionales STARK de 100 veces a aproximadamente 15 veces, e incluso menos de 10 veces en implementaciones reales. Este protocolo es especialmente adecuado para modos de cálculo multicapa como la función hash Poseidon y redes neuronales. Su tecnología central, "sumcheck", simplifica recursivamente problemas multidimensionales mediante combinaciones lineales aleatorias. Aunque GKR en sí mismo no proporciona características de conocimiento cero, puede combinarse con ZK-SNARK o ZK-STARK, y ya se ha convertido en un soporte tecnológico clave para pruebas ZK-EVM en tiempo real y la verificación de modelos de aprendizaje automático a gran escala.