ZK 可验证匹配是一种运行快速、私密的订单簿的方法，同时还能为用户提供加密保证，确保匹配引擎遵循了规则。 它解决的问题很简单：CLOB 需要一个操作员（或少数几个操作员）来快速匹配订单，但该操作员也可能作弊（重新排序、跳过或选择性地执行订单）。 ZK 改变了信任模型：操作员可以保持快速匹配，但只有在证明计算正确的情况下才能最终确认更新。 如何实现（COPTE） ➤ 订单在链下收集和匹配（因此您可以获得低延迟执行）。 ➤ 系统不会发布完整的订单流程，而是发布： - 𝘢 𝘤𝘰𝘮𝘮𝘪𝘵𝘮𝘦𝘯𝘵 𝘵𝘰 𝘵𝘩𝘦 𝘣𝘢𝘵𝘤𝘩 / 𝘴𝘵𝘢𝘵𝘦 𝘵𝘳𝘢𝘯𝘴𝘪𝘵𝘪𝘰𝘯 (𝘰𝘧𝘵𝘦𝘯 𝘢 𝘴𝘵𝘢𝘵𝘦 𝘳𝘰𝘰𝘵) - 𝘢 𝘻𝘬-𝘱𝘳𝘰𝘰𝘧 𝘵𝘩𝘢𝘵 𝘵𝘩𝘦 𝘮𝘢𝘵𝘤𝘩𝘪𝘯𝘨 + 𝘳𝘪𝘴𝘬 𝘤𝘩𝘦𝘤𝘬𝘴 + 𝘣𝘢𝘭𝘢𝘯𝘤𝘦 𝘶𝘱𝘥𝘢𝘵𝘦𝘴 𝘸𝘦𝘳𝘦 𝘥𝘰𝘯𝘦 𝘢𝘤𝘤𝘰𝘳𝘥𝘪𝘯𝘨 𝘵𝘰 𝘵𝘩𝘦 𝘱𝘳𝘰𝘵𝘰𝘤𝘰𝘭 𝘳𝘶𝘭𝘦𝘴, - 𝘦𝘯𝘰𝘶𝘨𝘩 𝘥𝘢𝘵𝘢 𝘢𝘷𝘢𝘪𝘭𝘢𝘣𝘪𝘭𝘪𝘵𝘺 𝘴𝘰 𝘶𝘴𝘦𝘳𝘴 𝘤𝘢𝘯 𝘴𝘵𝘪𝘭𝘭 𝘦𝘹𝘪𝘵 𝘦𝘷𝘦𝘯 𝘪𝘧 𝘵𝘩𝘦 𝘰𝘱𝘦𝘳𝘢𝘵𝘰𝘳 𝘥𝘪𝘴𝘢𝘱𝘱𝘦𝘢𝘳𝘴. @hibachi_xyz 的设计选择有趣之处在于它体现了“足够的数据可用性”： Hibachi 运行着一个高性能的 CLOB，并将加密的状态/交易数据发布到 @Celestia（因此策略和持仓信息不会公开），同时仍然发布证明，以确保更新的可验证性，并使用 SP1（Succinct 的 zkVM）来验证 CLOB。 𝗕𝘂𝘁 𝘄𝗵𝗮𝘁 “𝗺𝗮𝘁𝗰𝗵𝗶𝗻𝗴 𝘄𝗮𝘀 𝗰𝗼𝗿𝗿𝗲𝗰𝘁” 𝗺𝗲𝗮𝗻𝘀 𝗶𝗻 𝗽𝗿𝗼𝗼𝗳 𝘁𝗲𝗿𝗺𝘀? 零知识证明可以强制执行通常要求交易所运营商遵循的相同不变性，例如： ➤ 订单仅在价格交叉时才进行匹配（不存在不可能成交的情况）。 ➤ 填充顺序遵循了场馆的优先级规则（例如，价格-时间优先级，或场馆指定的任何其他规则）。 ➤ 余额/利润率已正确更新（无隐藏的余额修改）。 ➤ 最终的状态根是通过将规则应用于之前的状态根加上批次而得到的。 您可以通过加密发布到 DA 层的内容来保护内容的私密性（订单、大小、位置），同时证明可以向所有人证明加密后的更新仍然是有效的状态转换。