互動式證明

LayerZero 發布基於 Jolt 技術的 Zero 鏈，通過將交易執行與驗證解耦，實現了零知識證明技術的生產級飛躍。Jolt 憑藉“求和校驗協議（Sum-check Protocol）”顛覆了過去數十年的 SNARK 設計範式，讓開發者無需密碼學背景即可生成极速證明。

本文介紹FOX使用經典的Fiat-Shamir啟發式（heuristic）來生成Brakedown中的挑戰從而實現非交互式協議的過程。