Vitalik, GKR öğretici makalesini yayınladı: Destek süper hızlı ZK kanıtları için "katman×katman" protokolü

Mars Finance'den alınan habere göre, Vitalik Buterin son yazısında GKR (Goldreich–Kahan–Rothblum) protokolünün ZK kanıtlarını hızlandırmak için nasıl kullanıldığını, “toplu × çok katmanlı” hesaplama yapısına uyum sağladığını, ara katman taahhütlerini önemli ölçüde azalttığını ve yalnızca giriş ve çıkışlara taahhüt verildiğini detaylandırdı. Makale, Poseidon2 hash'ini örnek alarak, sumcheck temelinde bir geri dönüş kanıtı sürecini detaylandırıyor ve optimizasyonlar (Gruen'in numarası, lineer toplu işleme, kısmi turlar yalnızca kübik ilk eleman) sunuyor. Çok terimli taahhüt senaryolarında BaseFold veya FRI ile birleştirilebilir. Yazar, gerçek maliyetin geleneksel STARK'ın teorik değerinin yaklaşık 100 katı kadar düşük olduğunu, tek haneli maliyetlerin beklenebileceğini belirtiyor ve Fiat–Shamir zorluğunun devre içindeki öngörülebilirlik riskine karşı dikkat edilmesi gerektiğini hatırlatıyor.