Wu disse que soube que o fundador do Ethereum, Vitalik Buterin, publicou um artigo apresentando o protocolo GKR, uma família de protocolos que permite que muitos sistemas de prova realizem velocidades extremamente rápidas. O GKR é o protocolo central para realizar provas rápidas como ZK-EVM, zk-ML, adaptando-se a cálculos de "processamento de baixo nível em múltiplas camadas + aplicação de funções repetitivas em grande quantidade" (como hash, redes neurais), sem a necessidade de comprometer a camada intermediária, apenas comprometendo as entradas e saídas, aumentando significativamente a eficiência. Ao reduzir a quantidade de cálculo em cada rodada do sumcheck (como o truque de Gruen), otimizações como o processamento em lote do Poseidon2, a prova teórica do custo do hash Poseidon é de apenas 15x (enquanto os STARKs tradicionais são de 100x), podendo na prática ser inferior a 10x, e quanto maior for a quantidade de dados, mais próximo o custo se torna de zero.