Der Ethereum-Mitbegründer Vitalik Buterin hat das GKR-Protokoll vorgestellt, eine neue Protokollfamilie, die darauf ausgelegt ist, verschiedene Beweissysteme erheblich zu beschleunigen. GKR ist entscheidend für schnelle Beweise in Systemen wie ZK-EVM und zk-ML und optimiert Berechnungen, die mehrschichtige Niedriggradverarbeitung und wiederholte Funktionsanwendungen wie Hashing und neuronale Netzwerke umfassen. Das Protokoll steigert die Effizienz, indem es nur Verpflichtungen zu Eingaben und Ausgaben verlangt und Zwischenschichten umgeht. GKR erreicht dies durch Optimierungen wie die Reduzierung der Sumcheck-Berechnung pro Runde mittels Techniken wie Gruens Trick und der Batch-Verarbeitung von Poseidon2. Theoretisch reduziert dies den Beweisaufwand für Poseidon-Hashing auf nur das 15-fache, verglichen mit dem 100-fachen bei traditionellen STARKs, und praktisch kann er weniger als das 10-fache betragen. Mit zunehmendem Datenvolumen nähert sich der Aufwand null an, was einen bedeutenden Fortschritt in der Effizienz von Beweissystemen darstellt.