💸ZK-Rollup 资产证明设计

ZK-Rollup 资产证明设计 ZKP & 智能合约路线图 ZKP 路线图： 测试网上线：6月底。 MUFEX敦刻尔克资产恢复测试：7月中旬。 主网上线（包含逃生模式功能）：7月底。 支持多种加密货币：2023年第四季度 智能合约路线图： 阶段1：可更新，以防止需要紧急修复的极端漏洞和风险的发生。 阶段2：增加时间锁，以防止对资金的后门（预计第三季度末/第四季度初）。 ​

ZK-Rollup 概述

运营商 运营商在协议中扮演着至关重要的角色，履行多个关键职责： 生成ZK快照：运营商高效处理每批ZK Rollup事件，遵循预定规则生成ZKSnapshots。 生成零知识证明：运营商利用电路生成ZKSnapshots的零知识证明，确保数据完整性和隐私。 提交ZK快照数据：运营商与ZK Push Gateway无缝对接，将ZK快照数据提交到链上智能合约，便于状态变更的验证和确认。 链下信息 V1：MUFEX协议中的零知识证明和验证需要每个用户的资产信息 ZK快照 ZK快照可以概念上视为MUFEX的“L3区块”。运营商处理的每一批事件都会生成一个ZK快照。然后将此ZK快照传递给电路进行ZK证明计算。 电路 这不是物理电路，而是ZK SNARK电路。电路负责描述需要零知识证明的事件，如订单完成和存款，因此是零知识证明的重要部分。电路接收输入，输入信号通过电门的路径生成输出，为相应的ZKSnapshots产生zk证明。 默克尔树 为了提高计算和存储效率，MUFEX实施了数据选择和压缩。由于默克尔树平衡了复杂性、计算时间和用户友好性，协议创建了两个默克尔树：资产默克尔树、提现默克尔树。 资产默克尔树保证用户对自己的资产拥有自我托管权。即使MUFEX节点运营商无法提供任何服务，用户仍然可以安全提取自己的资产。资产默克尔树记录了所有MUFEX账户和资产信息。 提现默克尔树记录了用户的提现记录，用于提现操作。 提交ZKSnapshots 一旦生成了ZK快照的zk证明，运营商通过ZK Push Gateway调用MUFEX智能合约的submit方法，严格按照快照生成顺序同时提交多个ZK快照相关数据链上，以确认状态变更。这些数据主要包括： 资产默克尔树的根哈希 零知识证明 提现树的附加数据 由于节点运营商需要支付以太坊作为Gas来链上提交ZKSnapshots，用户将被收取Gas费用（目前免费）。 智能合约 链上的MUFEX智能合约负责存储用户资金，验证链下节点提交的零知识证明，并存储最新的默克尔树根。它由多个合约组成，主要合约包括：

MainTreasury：运营商提交ZK快照或用户存款或强制提现的交互，托管用户资金。 HotTreasury： 主链（Mantle）：快速提现 其他链：保管用户存入的资产，并提供存款、快速提现的功能。 Verifier：注册验证密钥和验证零知识证明。 DepositWalletFactory：生成存款合约地址。 ZK Push Gateway 运营商通过ZK Push Gateway调用MUFEX智能合约，严格按照ZKSnapshots生成顺序提交链上数据。 链同步 观察MUFEX智能合约的所有链上交易，如存款、强制提现和Rollup交易，并在交易确认后通知节点。以上是MUFEX协议ZK-Rollup部分的简要描述。