Wu'nun bildirdiğine göre, Ethereum kurucusu Vitalik Buterin, birçok kanıt sisteminin son derece hızlı bir şekilde çalışmasını sağlayan GKR protokolünü tanıtan bir yazı yazdı. GKR, ZK-EVM, zk-ML gibi hızlı kanıtların temel protokolüdür ve "çok katmanlı düşük seviye işlem + çok sayıda tekrar eden fonksiyon uygulaması" için hesaplamalara uyumludur (örn. hash, sinir ağları), ara katmanlara taahhüt vermeden, yalnızca girdi ve çıktılara taahhüt vererek verimliliği önemli ölçüde artırır. Her bir sumcheck döngüsündeki hesaplama miktarını azaltarak (örn. Gruen'in hilesi), Poseidon2 toplu işleme gibi optimizasyonlar ile teorik olarak Poseidon hash maliyetinin sadece 15x olduğu kanıtlanmaktadır (geleneksel STARKs için 100x), pratikte ise 10x'in altına düşebilir ve veri miktarı arttıkça maliyet sıfıra daha da yaklaşır.