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