O cofundador do Ethereum, Vitalik Buterin, apresentou o protocolo GKR, uma nova família de protocolos projetados para acelerar significativamente vários sistemas de prova. O GKR é fundamental para provas rápidas em sistemas como ZK-EVM e zk-ML, otimizando cálculos que envolvem processamento de baixo grau em múltiplas camadas e aplicações repetitivas de funções, como hashing e redes neurais. O protocolo melhora a eficiência ao exigir compromissos apenas com as entradas e saídas, ignorando as camadas intermediárias. O GKR alcança isso por meio de otimizações como a redução do cálculo de sumcheck por rodada, utilizando técnicas como o truque de Gruen e o processamento em lote do Poseidon2. Teoricamente, isso reduz a sobrecarga da prova para hashing Poseidon para apenas 15x, em comparação com 100x nos STARKs tradicionais, e na prática, pode ser menos de 10x. À medida que o volume de dados aumenta, a sobrecarga se aproxima de zero, marcando um avanço significativo na eficiência dos sistemas de prova.