。Validator 节点可以在普通 笔记本电脑上运行。一些代理质押池甚至允许用户在没有足够 IDE 的情况下进行质押。 PoW 的奖励 在 Opside 的 L3,也就是 Rollup Layer 上,每一个 Web3 应用都可以拥有一个专属的 ZK- Rollup。为了支撑数量众多的 ZK-Rollups 带来的海量硬件资源的需求,除了上面提到的 Validator 提供数据可用性以外,Opside 还提供了一个统一的 ZKP 算力市场,鼓励 miner(也 就是 prover)来为这些 ZK-Rollups 生成 ZKP。这就是 Opside 的 PoW 机制。 单个 Rollup sequence 的奖励份额计算 在 Pre-Alpha 阶段,一个L2区块内,每个 Rollup 只能提交一个 sequence(可以包含该 Rollup 的 多个区块)。所有 sequence 根据当前 Rollup slots 注册数量均分当前区块的 PoW 奖励。这也就 意味着,如果当前总共有 64 个注册的 rollup slots,那么在L2的一个区块中,PoW 奖励被均分 为 64 份,每一个 sequence 获得的奖励为区块 PoW 奖励的 1/64 。当然,可能某些 rollup 在某些区 块没有提交 sequence,因此 PoW 实际的通胀会低于预期。 在未来,各个 sequence 将根据对应的 ZK-Rollup 类型、所包含的 Rollup 交易数量、gas 使用量等 进行工作量预估,从而对不同 sequence 进行不同的定价。 ZKP 的两步提交 一个 sequence 获得的 PoW 奖励份额,会按照一定规则分配给有效 ZKP 的提交者,也就是矿 工。Rollup 的智能合约验证 ZKP 的时候,需要原始 proof 数据,这就可能引发链上攻击行为。 例如某一个 prover 计算出 ZKP 之后,交易广播到交易池中,攻击者就可以看到原始 proof 数 据,攻击者可以设置一个更高的 gas 费来发交易,从而优先打包到区块中,来获取 PoW 奖 励。为了防止恶意攻击行为,Opside 提出了一个两步提交的 ZKP 验证机制。 1. 提交 hash • 对于某个 sequence,prover 计算出 ZKP 之后,计算(proof / address)的 hash,并向合约提交 hash 和 address,其中 proof 是某一个 sequence 的 proof,address 是 prover 的地址,该地址必须提前质押。 • 假设在第 1 个 prover 在第 T 个区块提交了 hash,则在第 T+ 10 区块以内,还可以接受其他 prover 提交 hash,没有数量限制。第 T+ 11 区块及之后,不再接受新的 prover 提交 hash。 2. 提交 ZKP • 第 T+ 11 区块及之后,允许任何 prover 提交 zkp。只要有一个 zkp 通过验证,那么就对所有 提交过的 hash 进行校验。校验通过的 prover 都可以得到 PoW 奖励,奖励金额按照矿工质押 量的比例来分配。 • 如果在第 T+ 20 区块之前,都没有 ZKP 通过验证,则所有提交过 hash 的 prover 都罚没 1000 IDE。此时该 sequence 重新开放,允许提交新的 hash 举一个例子,假设 Opside 中每个L2区块的 PoW 奖励是 128 IDE,当前总共有 64 个 Rollup slots,那么每一个 Rollup sequence 分配到的 PoW 奖励是 2 IDE。如果先后有 A, B, C 3 个矿工为 一个 sequence 提交了正确的 ZKP,且 A, B, C 3 个矿工的矿工质押量(IDE)分别为 200 K, 500 K, 300 K。那么,A, B, C 可以获得的 PoW 奖励分别为 0.4 IDE, 1 IDE, 0.6 IDE。 Prover 的质押与惩罚 为了避免针对 prover 的恶意行为,prover 需要在一个特殊的系统合约中注册,并质押至少 100000 IDE。如果当前质押数量小于阈值,则不允许提交 hash 和 ZKP。prover 提交 ZKP 获得的 奖励也将依据质押量比例来分配,从而避免 prover 多次提交 ZKP 的恶意行为。 当 prover 出现以下行为,会进行不同程度的惩罚 • 如果 prover 提交了错误的 hash,则罚没 10000 IDE • 对于某个 sequence,如果没有对应的 ZKP 通过验证,则所有提交过 hash 的 prover 都将被 罚没 1000 IDE,罚没的 IDE 将被烧毁。 关于 ZKP 的两步提交机制更多的细节与考量,请读者参阅官方文档。prover 质押以及惩罚的 具体数字在未来可能会改动。 开发者租赁 Rollup slot Opside 为开发者提供了 ZK-Rollup launch base,开发者可一键注册一个 Rollup slot,从而拥有 属于自己的 ZK-Rollup。该 ZK-Rollup 所有的硬件资源都由 Opside 去中心化网络来提供。开发 者需要向 Opside 网络支付 Rollup slot 的租金,这部分租金将直接烧毁。 除了一个固定金额的租金以外,开发者还可以为自己的 ZK-Rollup 提供额外 ZKP 补贴,以激 励矿工提供算力。这部分将在 Alpha 测试网推出。 具体的租金与补贴规则与参数,读者可以在官方文档或者代码库里找到。 治理与发展 Opside 网络的功能和性能将随着时间的推移而不断发展,以下为几个优先级更高的示例: • 根据整个网络的 ZKP 算力供需关系,动态调整 PoS 与 PoW 的奖励分配比例 • Validator 的数据分片与数据可用性抽样,将为整个 Rollup Layer 提供更加丰裕的存储空间,从而容纳更多的 ZK-Rollup 生态 • Rollup 的提议者与构建者分离,使得L3共用L2的 validator 作为区块提议者,继承上一层的去中心化 • 矿工的质押与 slash 机制的优化,鼓励矿工提供持续而稳定的 ZKP 算力 • 开发者对所属 Rollup 的 ZKP 生成进行补贴,以激励矿工提供算力 • 根据 ZK-Rollup 类型、Rollup 交易数量、gas 使用量等进行工作量预估,建立 Rollup batch 的个性化定价机制 这些改进将显著提高 Opside 的网络效用,从而促进 ZK-Rollup as a Service 的⻓期发展以及繁 荣。 Opside 主网启动后,建立一个 Opside DAO,包含合理的流程和机制来共同决定网络的未来。 Opside 主网的所有参数和机制的更新将通过 Opside DAO 来确定。需要强调的是,Opside 是一 个合作共建的经济体,并随着时间推移而不断发展演化。未来的改进会以 DAO 提案的形式 详细地解释这些方案是如何给 Opside 经济的⻓期利益和每个参与者类别带来好处。随着网络 的发展,打造一个无需大量工具和补贴亦可以独立且稳健运行的经济至关重要。 来源:金色财经lg...