Vitalik詳解GKR協議加速ZK證明:Poseidon2哈希優化與挑戰

【鏈文】10月20日消息,Vitalik Buterin最新撰文,詳解GKR(Goldreich–Kahan–Rothblum)協議被用於加速ZK證明,適配"批量×多層"計算結構,顯著減少中間層承諾,僅對輸入與輸出做承諾。文章以Poseidon2哈希爲例,詳解以sumcheck爲核心的遞歸證明流程,並給出優化(Gruen's trick、線性批處理、部分輪僅立方首元素),在多項式承諾場景下可結合BaseFold或FRI。作者稱實際開銷低於傳統STARK約100倍理論值,單數字級開銷可期,並提醒Fiat–Shamir挑戰需防電路內可預測性風險。

查看原文
此頁面可能包含第三方內容,僅供參考(非陳述或保證),不應被視為 Gate 認可其觀點表述,也不得被視為財務或專業建議。詳見聲明
  • 讚賞
  • 7
  • 轉發
  • 分享
留言
0/400
吃面还是吃币vip
· 5小時前
大V又開始搞技術了 學不動
查看原文回復0
Ser_APY_2000vip
· 12小時前
V神真的是躺着都能產出乾貨
查看原文回復0
测试网游民vip
· 12小時前
V神是zk證明愛好者吧
查看原文回復0
GateUser-1a2ed0b9vip
· 12小時前
v叔真的太強了
查看原文回復0
Layer2观察员vip
· 12小時前
小V每出來講技術都得研究半天
查看原文回復0
独孤验证者vip
· 12小時前
v神這是哪裏搞來的新玩具
查看原文回復0
睡觉错过空投哥vip
· 12小時前
V神真得閒 研究這些花裏胡哨
查看原文回復0
交易,隨時隨地
qrCode
掃碼下載 Gate App
社群列表
繁體中文
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)