Ethereum'un kurucu ortağı Vitalik Buterin, çeşitli kanıt sistemlerini önemli ölçüde hızlandırmak için tasarlanmış yeni bir protokol ailesi olan GKR protokolünü tanıttı. GKR, ZK-EVM ve zk-ML gibi sistemlerde hızlı kanıtlar için kritik öneme sahip olup, çok katmanlı düşük dereceli işlem ve tekrarlayan fonksiyon uygulamalarını (örneğin hashing ve sinir ağları) optimize eder. Protokol, ara katmanları atlayarak yalnızca girişlere ve çıkışlara taahhüt gerektirerek verimliliği artırır. GKR, Gruen'in hilesi ve Poseidon2 toplu işleme gibi teknikler kullanarak her turdaki sumcheck hesaplamasını azaltma gibi optimizasyonlarla bunu başarır. Teorik olarak, bu, Poseidon hashing için kanıt yükünü geleneksel STARK'larla karşılaştırıldığında 100x yerine sadece 15x'e indirir ve pratikte bu oran 10x'in altında olabilir. Veri hacmi arttıkça, yük neredeyse sıfıra yaklaşır ve bu da kanıt sistemi verimliliğinde önemli bir ilerlemeyi işaret eder.