Vitalik Buterin GKR eğitimi yayınladı: Süper hızlı ZK kanıtlarını destekleyen "batch × katman" protokolü
HaShiChain'den gelen haberlere göre, Vitalik Buterin en son makalesinde GKR (Goldreich–Kahan–Rothblum) protokolünün ZK kanıtlarını hızlandırmak için nasıl uygulandığını ve "toplu × çok katmanlı" hesaplama yapısına uygun olduğunu ayrıntılı bir şekilde açıkladı. Bu, ara katman taahhütlerini önemli ölçüde azaltırken yalnızca girdi ve çıktılara taahhüt verilmesini sağlamaktadır. Makale, Poseidon2 hash'ini örnek alarak sumcheck merkezli yinelemeli kanıt sürecini derinlemesine analiz etmekte ve optimizasyon önerileri sunmaktadır (Gruen'in tekniği, lineer toplu işleme, kısmi turlar sadece kübik ilk eleman). Bu optimizasyonlar, çok terimli taahhüt senaryolarında BaseFold veya FRI ile birleştirilebilir. Yazar, gerçek maliyetlerin 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ğundaki devre içi tahmin edilebilirlik riskine karşı dikkatli olunmasını hatırlatmaktadır.
This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.
Vitalik Buterin GKR eğitimi yayınladı: Süper hızlı ZK kanıtlarını destekleyen "batch × katman" protokolü
HaShiChain'den gelen haberlere göre, Vitalik Buterin en son makalesinde GKR (Goldreich–Kahan–Rothblum) protokolünün ZK kanıtlarını hızlandırmak için nasıl uygulandığını ve "toplu × çok katmanlı" hesaplama yapısına uygun olduğunu ayrıntılı bir şekilde açıkladı. Bu, ara katman taahhütlerini önemli ölçüde azaltırken yalnızca girdi ve çıktılara taahhüt verilmesini sağlamaktadır. Makale, Poseidon2 hash'ini örnek alarak sumcheck merkezli yinelemeli kanıt sürecini derinlemesine analiz etmekte ve optimizasyon önerileri sunmaktadır (Gruen'in tekniği, lineer toplu işleme, kısmi turlar sadece kübik ilk eleman). Bu optimizasyonlar, çok terimli taahhüt senaryolarında BaseFold veya FRI ile birleştirilebilir. Yazar, gerçek maliyetlerin 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ğundaki devre içi tahmin edilebilirlik riskine karşı dikkatli olunmasını hatırlatmaktadır.
#Cryptocurrency #Blokzincir #Ethereum #ZKKanıtlar #VitalikButerin