PANews 10月20日消息，Vitalik Buterin最新撰文，详解GKR（Goldreich–Kahan–Rothblum）协议被用于加速ZK证明，适配“批量×多层”计算结构，显著减少中间层承诺，仅对输入与输出做承诺。文章以Poseidon2哈希为例，详解以sumcheck为核心的递归证明流程，并给出优化（Gruen’s trick、线性批处理、部分轮仅立方首元素），在多项式承诺场景下可结合BaseFold或FRI。作者称实际开销低于传统STARK约100倍理论值，单数字级开销可期，并提醒Fiat–Shamir挑战需防电路内可预测性风险。
内容来源：PANews
财华网所刊载内容之知识产权为财华网及相关权利人专属所有或持有。未经许可，禁止进行转载、摘编、复制及建立镜像等任何使用。
如有意愿转载，请发邮件至content@finet.com.hk，获得书面确认及授权后，方可转载。
下载财华财经APP，把握投资先机
https://www.finet.com.cn/app
更多精彩内容，请点击：
财华网(https://www.finet.hk/)
财华智库网(https://www.finet.com.cn)
现代电视FINTV(http://www.fintv.hk)
财华财经APP下载 
或
按钮分享