Wu dijo que el fundador de Ethereum, Vitalik Buterin, publicó un artículo presentando el protocolo GKR, un conjunto de protocolos que permite que muchos sistemas de prueba logren velocidades extremadamente rápidas. GKR es el protocolo central para implementar pruebas rápidas como ZK-EVM, zk-ML, adaptándose a cálculos de "procesamiento de bajo nivel en múltiples capas + aplicaciones de funciones repetitivas masivas" (como hash, redes neuronales), sin necesidad de comprometer la capa intermedia, solo comprometiendo la entrada y salida, mejorando significativamente la eficiencia. Al reducir la carga computacional de cada ronda de sumcheck (como el truco de Gruen), el procesamiento por lotes de Poseidon2 y otras optimizaciones, se demuestra teóricamente que el costo de hash de Poseidon es solo 15x (los STARKs tradicionales son 100x), en la práctica puede ser inferior a 10x, y cuanto mayor sea la cantidad de datos, el costo tiende a acercarse a cero.