El cofundador de Ethereum, Vitalik Buterin, ha presentado el protocolo GKR, una nueva familia de protocolos diseñados para acelerar significativamente diversos sistemas de prueba. GKR es fundamental para pruebas rápidas en sistemas como ZK-EVM y zk-ML, optimizando cálculos que involucran procesamiento de bajo grado en múltiples capas y aplicaciones repetitivas de funciones, como hashing y redes neuronales. El protocolo mejora la eficiencia al requerir compromisos solo en las entradas y salidas, evitando las capas intermedias. GKR logra esto mediante optimizaciones como la reducción del cálculo de sumcheck por ronda utilizando técnicas como el truco de Gruen y el procesamiento por lotes de Poseidon2. Teóricamente, esto reduce la sobrecarga de prueba para el hashing Poseidon a solo 15 veces, en comparación con 100 veces con los STARKs tradicionales, y prácticamente puede ser menos de 10 veces. A medida que aumenta el volumen de datos, la sobrecarga se acerca a cero, marcando un avance significativo en la eficiencia de los sistemas de prueba.