Charles Hoskinson 概述使用 Midnight ZK 证明的 Cardano 跨链桥安全模型

在涉及 Cardano 和 BNB Chain 的 Wanchain 利用事件之后，Charles Hoskinson 提出了一个用于 Cardano 跨链桥的新安全模型。在他的白板视频“Getting Bridges back on Track”中，他描述了 Midnight ZK 证明、分层授权以及自动熔断机制如何降低未来桥接攻击的风险。

Wanchain 利用事件暴露了四个桥接攻击面

此前报道的 Wanchain 桥接事件涉及约 5.15 亿 $NIGHT 代币在大量流动性尚未到达 Cardano 去中心化交易所之前，就从桥接金库的 Cardano 一侧转出。Midnight 的协议、验证者网络以及 Cardano 原生资产未被攻破。

Hoskinson 还回应了将 cNIGHT 供应恢复至先前状态的呼声。他表示，这些代币已作为 Cardano 原生资产分发，Midnight 和 Input Output 并没有集中化机制来逆转用户钱包中所持代币的所有权。

按照视频中描述的模型，用户会先锁定 $NIGHT 在 Cardano 上的表示，然后在 BNB Chain 上收到相应的包装资产。要赎回资产，必须先销毁包装代币，随后才能在 Cardano 上解锁原始代币。

Hoskinson 指出了该过程中的四个独立攻击面：Cardano 上的 Plutus 合约、BNB Chain 上的 Solidity 合约、Cardano 的链下基础设施以及 BNB Chain 的链下基础设施。任一组件发生故障都可能导致虚假确认、无效授权或未授权的代币释放。

他补充说，跨链桥能够验证的不仅是资产转移。它们还可以证明交易状态、UTxO 成员关系、铸造与销毁事件、委托、奖励、脚本结果以及治理行为。他的演示列出了 Cardano 可能的状态声明的 42 个类别，以及 Midnight 的 52 个类别。

Midnight ZK 模型将移除桥接运营方

Hoskinson 提出的模型以由用户生成并关联到另一条区块链目标地址的零知识证明，取代传统的桥接运营方。该证明将被提交给验证合约，以检查所需事件是否在源链上发生。

任何一方都可以转发该证明，因为授权取决于其加密有效性，而非转发者的身份。验证通过后，目标合约即可铸造或释放相应资产，而无需依赖桥接运营方去解释两条区块链。

Midnight 是一条注重隐私的 Cardano 生态合作链，支持将公共与私有状态、零知识证明和选择性披露相结合的应用。其 Compact 语言旨在使 TypeScript 开发者无需直接实现底层密码学即可构建支持 ZK 的应用。

Hoskinson 提议将 ZK 验证与阈值签名系统相结合。只有当两种机制均予以批准时，交易才会继续。任一层失败都可能使桥停止运行，同时第二层将继续保护已锁定资产免遭未授权释放。

其技术基础包括论文“Crossing with Confidence: Formal Analysis and Model Checking of Blockchain Bridges”，该论文在多种桥接架构上定义并测试了安全属性。Hoskinson 未宣布开发团队、发布日期或已完成的 Cardano 与 Midnight ZK 桥。

Cardano Pub/Sub 与 Midnight Passport 拓展安全模型

Hoskinson 还描述了一种覆盖整个 Cardano 的警报系统，用于在检测到攻击后进行遏制。去中心化交易所、借贷协议、钱包、中心化交易所与桥接运营方可通过发布订阅网络订阅已验证的安全通道。

来自受损桥接的警报可触发自动熔断机制，使关联应用暂停交易、撤出流动性、停用借贷市场或暂停转账。其目标是限制攻击者将被盗资产兑换为稳定币或经由洗钱服务转移的能力。

Hoskinson 将 Pub/Sub 基础设施列为 Cardano 2027 年的优先事项之一，这将在 Ouroboros Leios 进一步推进之后进行。Input Output 先前发布了一个实验性的 Cardano Pub/Sub 原型，该原型已于 7 月 17 日归档，并注明开发已迁移至新的代码库。

提案的最后部分涉及可选的白帽钱包保护。用户可在创建非托管钱包时授权预定义的干预。在活跃攻击期间，获准的白帽方可以转移暴露的资产，随后所有者将以私密方式证明其取回这些资产的权利。

Hoskinson 将该流程与 Midnight Passport 和选择性披露联系起来。Midnight 文档将 Passport 描述为一款已公布的无助记词面向消费者的钱包，具备硬件驻留密钥与受信助手恢复功能。在该提案模型中，它还可私密地将钱包与其所有者、白帽授权以及保险方案关联起来。

正式的桥接研究与实验性的 Pub/Sub 工作已公开。ZK 桥、生产级熔断机制、白帽许可系统以及基于 Passport 的保险模型仍为提案组件，尚未公布实施时间表。