Vitalik發布GKR教學文章:支撐超快ZK證明的「批次×層」協議

WEEX 唯客博客, PANews 10月20日消息,Vitalik Buterin最新撰文,詳解GKR(Goldreich–Kahan–Rothblum)協議被用於加速ZK證明,適配「批量×多層」計算結構,顯著減少中間層承諾,僅對輸入與輸出做承諾。文章以Poseidon2雜湊為例,詳解以sumcheck為核心的遞歸證明流程,並給予最佳化(Gruen’s trick、線性批次、部分輪僅立方首元素),可在多項式承諾場景下結合BaseFold或FRI。作者表示實際開銷低於傳統STARK約100倍理論值,單一數字級開銷可期,並提醒Fiat–Shamir挑戰需防電路內可預測性風險。 WEEX交易所官網:https://www.weex.com

Previous:

Next:

發佈留言

登入後發表評論