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

PANews 20 Ekim'de, Vitalik Buterin'in son yazısında, GKR (Goldreich–Kahan–Rothblum) protokolünün ZK kanıtlarını hızlandırmak için nasıl kullanıldığı, “toplu × çok katmanlı” hesaplama yapısına nasıl uyum sağladığı, ara katman taahhütlerini önemli ölçüde azalttığı ve yalnızca giriş ve çıkışa taahhüt verdiği ayrıntılı bir şekilde açıklanmıştır. Makale, Poseidon2 hash'ini örnek alarak, sumcheck'in merkezinde olduğu özyinelemeli kanıt sürecini detaylandırmakta ve optimizasyonlar (Gruen'in hilesi, lineer toplu işleme, kısmi turda yalnızca kübik ilk eleman) sunmaktadır, çok terimli taahhüt senaryolarında BaseFold veya FRI ile birleştirilebilir. Yazar, gerçek maliyetin geleneksel STARK'ın yaklaşık 100 kat teorik değerinin altında olduğunu, tek haneli maliyetlerin mümkün olduğunu belirtmekte ve Fiat–Shamir zorluğunun devre içindeki tahmin edilebilirlik riskine karşı dikkatli olunması gerektiğini hatırlatmaktadır.