【链文】20 Ekim'de çıkan 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 nasıl uyum sağladığını, ara katman taahhütlerini önemli ölçüde azalttığını ve sadece girdi ve çıktılara taahhüt verdiğini detaylandırdı. Makalede Poseidon2 hash örnek olarak verilmekte, sumcheck'in merkezde olduğu yinelemeli kanıt süreci detaylandırılmakta ve optimizasyonlar (Gruen'in hilesi, lineer toplu işleme, kısmi turda yalnızca kübik ilk eleman) sunulmakta, çok terimli taahhüt senaryolarında BaseFold veya FRI ile birleştirilebileceği belirtilmektedir. Yazar, gerçek maliyetin geleneksel STARK'ın yaklaşık 100 kat teorik değerinden daha düşük olduğunu, tek haneli maliyetlerin mümkün olduğunu ve Fiat–Shamir zorluğunun devre içindeki tahmin edilebilirlik riskine karşı dikkatli olunması gerektiğini hatırlatmaktadır.
View Original
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.
11 Likes
Reward
11
7
Repost
Share
Comment
0/400
NoodlesOrTokens
· 14h ago
ünlü yine teknolojiyle ilgilenmeye başladı, öğrenemiyorum.
View OriginalReply0
Ser_APY_2000
· 21h ago
Vitalik Buterin gerçekten yatarken bile değerli öngörüler üretebiliyor.
View OriginalReply0
TestnetNomad
· 21h ago
Vitalik Buterin zk kanıtı meraklısı değil mi?
View OriginalReply0
GateUser-1a2ed0b9
· 21h ago
v amca gerçekten çok güçlü.
View OriginalReply0
Layer2Observer
· 21h ago
Küçük V her teknik konuştuğunda bir süre araştırmak zorunda kalıyor.
View OriginalReply0
LoneValidator
· 21h ago
v Tanrısı bunu nereden buldu?
View OriginalReply0
MissedAirdropBro
· 21h ago
Vitalik Buterin gerçekten boş, bu süslü şeyleri araştırıyor.
Vitalik, GKR protokolünü ZK kanıtlarını hızlandırmak için detaylandırıyor: Poseidon2 hash optimizasyonu ve zorlukları
【链文】20 Ekim'de çıkan 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 nasıl uyum sağladığını, ara katman taahhütlerini önemli ölçüde azalttığını ve sadece girdi ve çıktılara taahhüt verdiğini detaylandırdı. Makalede Poseidon2 hash örnek olarak verilmekte, sumcheck'in merkezde olduğu yinelemeli kanıt süreci detaylandırılmakta ve optimizasyonlar (Gruen'in hilesi, lineer toplu işleme, kısmi turda yalnızca kübik ilk eleman) sunulmakta, çok terimli taahhüt senaryolarında BaseFold veya FRI ile birleştirilebileceği belirtilmektedir. Yazar, gerçek maliyetin geleneksel STARK'ın yaklaşık 100 kat teorik değerinden daha düşük olduğunu, tek haneli maliyetlerin mümkün olduğunu ve Fiat–Shamir zorluğunun devre içindeki tahmin edilebilirlik riskine karşı dikkatli olunması gerektiğini hatırlatmaktadır.