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
· 8小时前
大V又开始搞技术了 学不动
回复0
Ser_APY_2000vip
· 14小时前
V神真的是躺着都能产出干货
回复0
测试网游民vip
· 14小时前
V神是zk证明爱好者吧
回复0
GateUser-1a2ed0b9vip
· 14小时前
v叔真的太强了
回复0
Layer2观察员vip
· 14小时前
小V每出来讲技术都得研究半天
回复0
独孤验证者vip
· 15小时前
v神这是哪里搞来的新玩具
回复0
睡觉错过空投哥vip
· 15小时前
V神真得闲 研究这些花里胡哨
回复0
交易,随时随地
qrCode
扫码下载 Gate App
社群列表
简体中文
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • Bahasa Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)