ZK 可验证匹配是一种快速、私密的订单簿运行方式，同时仍然为用户提供加密保证，确保匹配引擎遵循规则。 它解决的问题很简单：CLOB 需要一个操作员（或一小组操作员）快速匹配订单，但该操作员也可能作弊（重新排序、跳过或选择性填充）。 ZK 改变了信任模型：操作员可以保持快速，但在证明其计算正确之前，无法最终确定更新。 𝗵𝗼𝘄 𝗶𝘁 𝘄𝗼𝗿𝗸𝘀 (𝗰𝗼𝗻𝗰𝗲𝗽𝘁𝘂𝗮𝗹𝗹𝘆) ➤ 订单在链下收集和匹配（因此可以获得低延迟执行）。 ➤ 系统发布的不是完整的订单流，而是： - 𝘢 𝘤𝘰𝘮𝘮𝘪𝘵𝘮𝘦𝘯𝘵 𝘵𝘰 𝘵𝘩𝘦 𝘣𝘢𝘵𝘤𝘩 / 𝘴𝘵𝘢𝘵𝘦 𝘵𝘳𝘢𝘯𝘴𝘪𝘵𝘪𝘰𝘯 (𝘰𝘧𝘵𝘦𝘯 𝘢 𝘴𝘵𝘢𝘵𝘦 𝘳𝘰𝘰𝘵) - 𝘢 𝘻𝘬-𝘱𝘳𝘰𝘰𝘧 𝘵𝘩𝘢𝘵 𝘵𝘩𝘦 𝘮𝘢𝘵𝘤𝘩𝘪𝘯𝘨 + 𝘳𝘪𝘴𝘬 𝘤𝘩𝘦𝘤𝘬𝘴 + 𝘣𝘢𝘭𝘢𝘯𝘤𝘦 𝘶𝘱𝘥𝘢𝘵𝘦𝘴 𝘸𝘦𝘳𝘦 𝘥𝘰𝘯𝘦 𝘢𝘤𝘤𝘰𝘳𝘥𝘪𝘯𝘨 𝘵𝘰 𝘵𝘩𝘦 𝘱𝘳𝘰𝘵𝘰𝘤𝘰𝘭 𝘳𝘶𝘭𝘦𝘴， - 𝘦𝘯𝘰𝘶𝘨𝘩 𝘥𝘢𝘵𝘢 𝘢𝘷𝘢𝘪𝘭𝘢𝘣𝘪𝘭𝘪𝘵𝘺 𝘴𝘰 𝘶𝘴𝘦𝘳𝘴 𝘤𝘢𝘯 𝘴𝘵𝘪𝘭𝘭 𝘦𝘹𝘪𝘵 𝘦𝘷𝘦𝘯 𝘪𝘧 𝘵𝘩𝘦 𝘰𝘱𝘦𝘳𝘢𝘵𝘰𝘳 𝘥𝘪𝘴𝘢𝘱𝘱𝘦𝘢𝘳𝘴。 那个“足够的数据可用性”是 @hibachi_xyz 的设计选择有趣的地方： Hibachi 正在运行一个高性能的 CLOB，并将加密的状态/交易数据发布到 @Celestia（因此策略和头寸不是公开的），同时仍然发布证明，以便更新保持可验证，使用 SP1（Succinct 的 zkVM）来证明 CLOB。 𝗯𝘂𝘁 𝘄𝗵𝗮𝘁 “𝗺𝗮𝘁𝗰𝗵𝗶𝗻𝗴 𝘄𝗮𝘀 𝗰𝗼𝗿𝗿𝗲𝗰𝘁” 𝗺𝗲𝗮𝗻𝘀 𝗶𝗻 𝗽𝗿𝗼𝗼𝗳 𝘁𝗲𝗿𝗺𝘀？ 一个 zk-proof 可以强制执行你通常依赖于交易所操作员遵循的相同不变性，例如： ➤ 仅在价格交叉时匹配订单（没有不可能的填充）。 ➤ 填充顺序遵循场所的优先规则（例如，价格时间优先，或场所指定的任何规则）。 ➤ 余额/保证金正确更新（没有隐藏的余额编辑）。 ...