Merlin基于乐观 ZK-Rollup 构建的安全模型

Merlin项目与B^Square、BitLayer、Citrea等项目都采用了相似的安全模型——乐观的ZK-Rollup。初读这个术语可能会让许多以太坊爱好者感到奇怪，因为在以太坊社区的理解中，ZK Rollup的理论模型完全建立在密码学计算的可靠性上，不需要引入信任假设。然而，乐观ZK-Rollup引入了信任假设，意味着人们在大多数情况下必须乐观地认为Rollup是可靠的，但一旦出现错误，可以通过欺诈证明的方式惩罚Rollup的运行者。对于以太坊生态系统而言，这种模型可能有些不协调，但对于比特币Layer2而言，却是一种稳妥的安全模型。

乐观ZK-Rollup的安全模型
在乐观ZK-Rollup方案下，假设Layer2网络中存在N个有权限发起挑战的人，只要这N个挑战者中有1人是诚实可靠的，随时能够检测出错误并发起欺诈证明，Layer2的状态转换就是安全的。然而，乐观Rollup需要确保其提款桥也受到欺诈证明协议的保护，而目前几乎所有的比特币Layer2都无法实现这个前提，需要依赖于多签/MPC。

Merlin的解决方案
Merlin在桥接方案上选择了Cobo的MPC服务，并采取了冷热钱包隔离等措施。桥接资产由Cobo和Merlin Chain共同管理，任何提款行为需要Cobo和Merlin Chain的MPC参与者共同处理，以机构的信用背书来保障提款桥的可靠性。然而，这只是目前阶段的权宜之计，随着项目的逐渐完善，提款桥可以通过引入BitVM与欺诈证明协议来更替为1/N信任假设的「乐观桥」。

综合解决方案
Merlin引入了基于POS的DAC、基于BitVM的乐观ZK-Rollup、基于Cobo的MPC资产托管方案，通过开放DAC权限来解决DA问题；通过引入BitVM及欺诈证明协议来保障状态转换的安全；通过引入知名资产托管平台Cobo的MPC服务来保证提款桥的可靠性。通过这些措施，Merlin项目致力于构建更加安全和可靠的Layer2解决方案，为整个加密货币生态系统带来更多可能性。