ZK 可驗證匹配是一種運行快速、私密的訂單簿的方法，同時還能為用戶提供加密保證，確保匹配引擎遵循了規則。 它解決的問題很簡單：CLOB 需要一個操作員（或少數幾個操作員）來快速匹配訂單，但該操作員也可能作弊（重新排序、跳過或選擇性地執行訂單）。 ZK 改變了信任模型：操作員可以保持快速匹配，但只有在證明計算正確的情況下才能最終確認更新。 如何實現（COPTE） ➤ 訂單在鏈下收集和匹配（因此您可以獲得低延遲執行）。 ➤ 系統不會發布完整的訂單流程，而是發佈： - 𝘢 𝘤𝘰𝘮𝘮𝘪𝘵𝘮𝘦𝘯𝘵 𝘵𝘰 𝘵𝘩𝘦 𝘣𝘢𝘵𝘤𝘩 / 𝘴𝘵𝘢𝘵𝘦 𝘵𝘳𝘢𝘯𝘴𝘪𝘵𝘪𝘰𝘯 (𝘰𝘧𝘵𝘦𝘯 𝘢 𝘴𝘵𝘢𝘵𝘦 𝘳𝘰𝘰𝘵) - 𝘢 𝘻𝘬-𝘱𝘳𝘰𝘰𝘧 𝘵𝘩𝘢𝘵 𝘵𝘩𝘦 𝘮𝘢𝘵𝘤𝘩𝘪𝘯𝘨 + 𝘳𝘪𝘴𝘬 𝘤𝘩𝘦𝘤𝘬𝘴 + 𝘣𝘢𝘭𝘢𝘯𝘤𝘦 𝘶𝘱𝘥𝘢𝘵𝘦𝘴 𝘸𝘦𝘳𝘦 𝘥𝘰𝘯𝘦 𝘢𝘤𝘤𝘰𝘳𝘥𝘪𝘯𝘨 𝘵𝘰 𝘵𝘩𝘦 𝘱𝘳𝘰𝘵𝘰𝘤𝘰𝘭 𝘳𝘶𝘭𝘦𝘴, - 𝘦𝘯𝘰𝘶𝘨𝘩 𝘥𝘢𝘵𝘢 𝘢𝘷𝘢𝘪𝘭𝘢𝘣𝘪𝘭𝘪𝘵𝘺 𝘴𝘰 𝘶𝘴𝘦𝘳𝘴 𝘤𝘢𝘯 𝘴𝘵𝘪𝘭𝘭 𝘦𝘹𝘪𝘵 𝘦𝘷𝘦𝘯 𝘪𝘧 𝘵𝘩𝘦 𝘰𝘱𝘦𝘳𝘢𝘵𝘰𝘳 𝘥𝘪𝘴𝘢𝘱𝘱𝘦𝘢𝘳𝘴. @hibachi_xyz 的設計選擇有趣之處在於它體現了“足夠的數據可用性”： Hibachi 運行著一個高性能的 CLOB，並將加密的狀態/交易數據發佈到 @Celestia（因此策略和持倉信息不會公開），同時仍然發佈證明，以確保更新的可驗證性，並使用 SP1（Succinct 的 zkVM）來驗證 CLOB。 𝗕𝘂𝘁 𝘄𝗵𝗮𝘁 “𝗺𝗮𝘁𝗰𝗵𝗶𝗻𝗴 𝘄𝗮𝘀 𝗰𝗼𝗿𝗿𝗲𝗰𝘁” 𝗺𝗲𝗮𝗻𝘀 𝗶𝗻 𝗽𝗿𝗼𝗼𝗳 𝘁𝗲𝗿𝗺𝘀? 零知識證明可以強制執行通常要求交易所運營商遵循的相同不變性，例如： ➤ 訂單僅在價格交叉時才進行匹配（不存在不可能成交的情況）。 ➤ 填充順序遵循了場館的優先級規則（例如，價格-時間優先級，或場館指定的任何其他規則）。 ➤ 餘額/利潤率已正確更新（無隱藏的餘額修改）。 ➤ 最終的狀態根是通過將規則應用於之前的狀態根加上批次而得到的。 您可以通過加密發佈到 DA 層的內容來保護內容的私密性（訂單、大小、位置），同時證明可以向所有人證明加密後的更新仍然是有效的狀態轉換。