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(https://www.fintv.hk)
財華財經APP下載 
或
按钮分享