Opside白皮书V2发布:引入多链ZK-PoW机制

Opside白皮书V2发布:引入多链ZK-PoW机制

什么是;Opside

Opside 是一个去中心化的;ZK-RaaS (ZK-Rollup as a Service)平台,也是支持;ZKP(零知识证明)挖矿的;PoW;网络。Opside;采用;PoS & PoW 混合共识,为Web3开发者提供了一键生成;zkEVM;应用链的功能。同时,数量众多的;ZK-Rollup;带来的;ZKP;计算任务也产生了巨大的算力需求,从而为全球矿工提供了一个有意义的挖矿场景。

在扩容领域,L2 的概念并不陌生。但L2不能很好地统筹各种类型的硬件资源,例如数据可用性、ZKP;算力、打包节点等。此外,运营一个L2,尤其是;ZK-Rollup,需要很高的硬件维护成本以及专业技术门槛,因此很多开发者望而却步。针对这些问题,Opside;首次提出了;ZK-RaaS;的概念,开发者无需掌握;ZK;或者链节点的知识,也可以在一分钟内启动一条属于自己的;zkEVM;链。同时,Opside;还提出了;ZK-PoW;的概念,引入矿工这个角色来参与;zkEVM;节点的维护和;ZKP;的计算。

Opside;的宗旨是让;ZK-Rollup;变得更加友好和大众化,从而使得以;zkEVM;为基础的应用链大规模落地成为可能。

  • ZK-Rollup as a Service:对于开发者,可在多链上一键部署属于自己的;ZK-Rollup(zkEVM)
  • Opside ZK-PoW Cloud:对于矿工,Opside;也是一个多链的;PoW;协议,支持;ZK;挖矿,为多个公链上的;ZK-Rollup;生成零知识证明。

ZK-RaaS

ZK-RaaS (ZK-Rollup as a Service) 可以为任何人提供一键生成 ZK-Rollup;的服务。

Opside 提供通用的 ZK-Rollups launchbase,开发者可以通过;launchbase;轻松地部署不同类型的;ZK-Rollups;到不同的;base chain;上。

  • base chain,包括;Ethereum/Opside chain/BNB chain/Polygon PoS;等公链。
  • ZK-Rollup;类型,包括;zkSync、Polygon zkEVM、Scroll、StarkNet 等;zkEVMs,以及其他种类的;ZK-Rollups。

Opside白皮书V2发布:引入多链ZK-PoW机制

在每个;base chain;上,Opside;都会部署一个;Rollup;系统合约(Rollup Contracts,RSC),来管理该链上的;Rollup;的生命周期,包括注册、中止与退出等操作。开发者花费一定数量的;IDE(Opside token)租赁一个;Rollup slot,即可拥有一个;ZK-Rollup。

Rollup slot;的概念类似于波卡插槽或者;cosmos;的应用链,但是;cosmos;应用链需要自己维护一套共识层以及跨链桥,这带来了极大的安全风险。而;ZK-Rollup;采用了;ZK;技术,在数学意义上严格地保证了;Rollup;和;base chain 共享了同一个共识和数据可用层,安全性更高,更加去中心化,维护成本也更低。

开发者租赁了一个;Rollup slot;后,即拥有独立的运行环境,例如,开发者可以单独拥有一条;zkEVM;链。开发者对;ZK-Rollup;拥有主权,可以自定义;rollup;经济模型,包括选择;gas token。开发者可以自由调整;gas;费用,甚至是;0;,这样用户不需要支付任何费用。

开发者不需要承担任何硬件成本。所有的硬件资源,包括数据可用性、sequencer、ZKP;算力等,皆由下面的;Opside ZK-PoW cloud;来去中心化地提供。

此外,同一个;base chain;上,各个 ZK-Rollups;之间可实现原生的跨;rollup 通信。跨;rollup;通信是一种消息通信机制。也就是说,一个;rollup;上的地址,可以直接调用另一个;rollup;上的合约。这极大地解决了用户资产碎片化的问题,增强了应用之间的可组合性。

Opside ZK-PoW Cloud

Opside白皮书V2发布:引入多链ZK-PoW机制

ZK-Rollup 和 OP-Rollup 相比,有很多优点,包括更安全、无需信任以及更快的提款速度。同时技术上也有一个非常大的不同,就是;ZK-Rollup;额外需要有一个强大的;ZKP;算力来支撑零知识证明的生成。

多链的;ZK-PoW;机制

Opside ZK-PoW Cloud;会部署到多链上,包括但不限于;Ethereum、BNB Chain、Polygon PoS;以及;Opside Chain;本身。在;Opside;的设计中,开发者可以在上述不同的;base chain;上部署;ZK-Rollups。随着;ZK-Rollup;技术的逐渐成熟,未来可能会诞生成百上千个;ZK-Rollups,这将带来极大的;ZKP;算力需求。因此,我们需要激励矿工加入这个生态来做出贡献。从以太坊 PoW 转向 PoS 以后,有很多以太坊矿机失去了应用场景,从资金规模上来讲,矿机的价值就有 120 亿美元,目前很多都处于闲置的状态。随着;ZK-Rollup;大规模落地,ZKP;的生成需要大量的 CPU、GPU、FPGA;等硬件和矿机来提供计算能力。

Opside;使用 ZK-PoW 机制来激励 Miner 提供 ZKP 算力,从而为 ZK-Rollup 提供完整的硬件设施。这也是 Opside 核心思想之一。所有角色,包括用户、开发者、矿工,都能够在这个 Opside 经济模型当中获得利益。

ZKP;的两步提交算法:标准的去中心化;Prover;机制

  • 为了鼓励更多矿工同时参与;ZKP;的计算任务,Opside;提出了一个两步提交的;ZKP;验证机制。一个;ZKP;对应的;PoW;奖励份额,会按照一定规则分配给有效;ZKP;的提交者,也就是矿工。

Opside白皮书V2发布:引入多链ZK-PoW机制

1.提交;proofhash:在一个时间窗口内,对于某个;sequence,允许多个矿工参与;zero-knowledge proof;的计算。各个矿工计算出;proof;之后,并不直接提交原始的;proof,而是计算(proof / address)的;proofhash,并向合约提交;proofhash。

2.提交;ZKP:在时间窗口后,矿工提交原始的;proof,并与之前提交的;proofhash;进行验证。验证通过的矿工都可以得到;PoW;奖励,奖励金额按照矿工质押量的比例来分配。

更多细节请参考ZKP's Two-Step Submission Algorithm

优化的;ZKP;生成算法:矿工效率提高了;80%;

Rollup;的智能合约验证;ZKP;的时候,如果提交的是原始;proof;数据,就有可能引发链上攻击行为。为了防止恶意攻击行为,ZK-Rollup;往往需要进行额外的工作量来隐藏原始的;proof;数据。有一种解决方案是,矿工提交的;ZKP;包含了对矿工地址的聚合结果。Opside;提出的;ZKP;的两步提交算法,则巧妙地采用了先提交+后验证的模式,不再需要对;proof;和地址做类似的不必要的聚合计算。

此外,在一些开源的;zkEVM;中,ZKP;的计算与提交都是串行的。当;ZK-Rollup;提交了大量的;sequence;时,矿工无法同时计算多个;ZKP。在;Opside;中,ZKP;的两步提交算法实现了;ZKP;的并行计算与串行提交,允许矿机同时执行多个;ZKP;生成任务,从而大大加速了;ZKP;的生成效率。

Opside;团队还对;ZKP;递归聚合算法进行了一系列的优化,充分提升了集群内机器资源的利用率,进一步提高了;ZKP;的计算速度。

在实际的压测环境中,矿工拥有;20;台;128 core CPU + 1;TB RAM;组成的机器集群,测试交易稳定在;27.8;TPS;约;40;分钟。在相同条件下,Opside;将交易的平均确认时间从约;5-6;分钟降低到了约;3;分钟,ZKP;生成效率提高了约;80%;。在未来,随着更多;ZK-Rollup;以及矿工的加入,ZK;算力市场的需求端和供给端的规模将进一步扩大,Opside;的;PoW;算法带来的效率提升将体现得更加明显。

Opside Chain

Opside Chain;作为;base chain;之一,除了支持;Opside ZK-PoW Cloud;以外,还针对;ZK-Rollup;做了更多的优化。例如使用预编译合约进行;ZKP;加速验证,支持数据分片,采用基于 ETH 2.0 的 PoS 共识。未来还将支持;EIP-4844、DankSharding;等全分片方案,将;Rollup;的;Gas;费用降到最低,甚至是;0;。

以太坊现在是全球最大规模的去中心化网络,有超过 50 多万个节点。这些节点不但提供了大规模的去中心化,在未来,得益于数据分片技术,这;50;多万个节点也提供了海量的数据可用性。

Opside Chain;的灵感来自于以太坊,这也是 Opside 选择基于 ETH 2.0 的 PoS 共识来改进的原因之一。我们预期 Opside Chain;上将拥有超过;10;万多个节点。

对于;Rollup;来说,如何让;sequencer;更加去中心化,而不是由一个单节点去完成中心化的打包?一个很好的做法是让 Opside Chain 的区块提议者同时提议 Rollup Layer 的区块。对于 Rollup Layer 来说,实际上就是完成了 builder 与 proposer 的分离:builder 是无需许可地由一个 P2P 网络来支持,proposer 则沿用了 Opside chain 的区块 proposer,这样避免了单节点带来的可用性风险,同时也具有一定的抗 MEV 性和抗审查性。

因此;Opside Chain;提供标准化的去中心化;sequencer;机制,Opside Chain 的区块提议者同时负责提议 Rollup 的区块。Opside Chain;让 ZK-Rollup 不但能继承上一层的安全性,还继承了上一层的去中心化程度。

下面是;Opside Chain;的 PoS & PoW 混合共识:

  • Opside chain

PoS:Opside 将采用以太坊 2.0 的 PoS 算法,并对其进行必要的改进。任何人都可以持有;Opside token;代币并成为 validator。validator 可以在 Opside chain 中获得区块奖励和 gas 费用。

  • Rollup layer

PoS (Sequencer):validator 不仅提议 Opside chain 区块,还提议 Rollup layer 区块 (即;data batch)。因此 validator 同时也是 Rollup layer 中 rollup 的 sequencer。sequencer 可以从 Rollup layer 交易中的交易费中赚取 gas 费用。

PoW (Prover):任何人都可以成为 Rollup layer 中 rollup 的 prover,只要它具有足够的计算能力进行 ZKP 计算。根据 PoW 规则,prover 根据 sequencer 提交的 Rollup layer 区块生成 zk 证明。

一个 ZK-Rollup 就类似于一台电脑。电脑是有两个核心组件,一个是硬盘,一个是 CPU。PoS 提供的数据可用性就相当于是硬盘,PoW 提供的算力就相当于是 CPU。Opside Chain 需要做的是在 PoS 与 PoW 当中找到一个平衡,从而让每一个角色都能充分发挥价值并从中受益,让大规模的 ZK-Rollups 网络有更好的性能和体验。

代币的供应与需求

Opside token;称为;IDE,IDE;将通过;PoS;与;PoW;奖励的形式来增发,分别对应 Validator 和 Miner。在 Pre-Alpha 测试网阶段,PoS 与 PoW 的区块奖励比例暂时固定为;1:;2;。在未来,这两者的比例会随着整个网络的 ZKP 算力供需关系动态调整。

PoS

如上所言,Opside Chain;采用了基于 ETH 2.0 改进的 PoS 共识。要作为 Validator 参与,用户必须将一定量的 IDE 存入存款合约,并运行三个独立的软件:执行客户端、共识客户端和 Validator。这些 Validators 负责检查通过网络传播的新块是否有效,并偶尔自己创建和传播新块。如果 Validator 行为不诚实或懒惰,那么抵押的 IDE 将作为抵押品被销毁。

在 PoS 下,Opside Chain 的出块速度是固定的,时间分为 slot(12 秒)和 epoch(32 个;slots)。在每个 slot 中随机选择一个验证者作为区块提议者。该 Validator 负责创建新块并将其发送到网络上的其他节点。同样在每个 slot;中,随机选择一个 Validator 委员会,其投票用于确定所提议区块的有效性。具体机制请参考ETH PoS。

Opside Chain 预期在 Alpha 测试网支持EIP-4844;,数据可用性抽样(DAS) 将用于确保 ZK-Rollup 在执行后提供其交易数据,同时不会对任何单个节点造成太大压力。每个 Validator 随机抽取 blob 中提供的交易数据,以确保所有数据都存在。同样的技术也可以用来确保区块生产者将他们所有的数据提供给安全的轻客户端。同样,在提议者-构建者分离(PBS)下,只需要区块构建者来处理整个区块——其他验证者将使用数据可用性抽样进行验证。

在一些具体参数上,Opside;将有所不同,读者可以在代码库里找到最新的值。

总的来说,Staking 使个人更容易参与保护网络,促进去中心化。Validator 节点可以在普通笔记本电脑上运行。一些代理质押池甚至允许用户在没有足够 IDE 的情况下进行质押。

ZK-PoW

基于;Opside;提供的;ZK-Rollup launchbase,开发者可以选择在一个;base chain;上拥有一个专属的 ZK-Rollup。为了支撑数量众多的 ZK-Rollups 带来的海量硬件资源的需求,Opside 提供了一个统一的 ZKP 算力市场,鼓励 miner(也就是;prover)来为这些 ZK-Rollups 生成 ZKP。这就是 Opside 的 ZK-PoW 机制。

单个;Rollup sequence;的奖励份额计算

ZK-PoW;是一个多链协议,这意味着;PoW;奖励将在各个;base chain;上发放,包括;Etheruem,Opside Chain,BNB Chain,Polygon PoS。每个;base chain;的;PoW;奖励数量取决于对应的;Rollup slot;注册数量、ZKP;工作量等。

对于每个;base chain,一个区块内,每个;Rollup;只能提交一个;sequence(可以包含该;Rollup;的多个区块)。各个;sequence;均分当前区块的;PoW;奖励。这也就意味着,如果在;base chain;的一个区块中,有;4;个;Rollup;提交了;sequence,则;PoW;奖励被均分为;4;份,每一个;sequence;获得的奖励为区块;PoW;奖励的;1/4;。当然,可能在某些区块没有任何;Rollup;提交;sequence,因此;PoW;实际的通胀可能会低于预期。

在未来,各个;sequence;将根据对应的;ZK-Rollup;类型、所包含的;Rollup;交易数量、gas;使用量等进行工作量预估,从而对不同;sequence;进行不同的定价。

Prover;的质押与惩罚

为了避免;prover;相关的恶意行为,Prover;需要在一个特殊的系统合约中注册,并质押代币。Prover;可以自由选择参与一个或者多个;Rollup;的;PoW;挖矿。Prover;需要在系统合约中为每一个要参与的;Rollup;质押一定量的;IDE(Opside token),才可以为该;Rollup;提交;ZKP。如果当前质押数量小于阈值,则不允许为该;Rollup;提交;ZKP。prover;提交;ZKP;获得的奖励也将依据质押量比例来分配,从而避免;prover;多次提交;ZKP;的恶意行为。

当;prover;出现以下行为,会进行不同程度的惩罚:

  • 如果;prover;提交了错误的;hash
  • 如果没有;ZKP;通过验证,则所有提交过;hash;的;prover;都将被惩罚

罚没的;Opside token;将被烧毁。

关于;ZKP;的两步提交机制更多的细节与考量,请读者参阅官方文档。prover;质押以及惩罚的具体数字在未来可能会改动。

开发者租赁;Rollup slot

在各个;base chain;上,Opside;部署了;ZK-PoW;协议,开发者可通过;ZK-Rollup launchbase;一键注册一个;Rollup slot,从而启动属于自己的;ZK-Rollup。该;ZK-Rollup;所有的硬件资源都由;Opside;去中心化网络来提供。开发者需要向;Opside;网络支付;Rollup slot;的租金,这部分租金将直接烧毁。

除了一个固定金额的租金以外,开发者还可以为自己的;ZK-Rollup;提供额外;ZKP;补贴,以激励矿工提供算力。

具体的租金与补贴规则与参数,读者可以在官方文档或者代码库里找到。

治理与发展

Opside;网络的功能和性能将随着时间的推移而不断发展,以下为几个优先级更高的示例:

  • 根据整个网络的;ZKP;算力供需关系,动态调整;PoS;与;PoW;的奖励分配比例
  • Validator;的数据分片与数据可用性抽样,将为整个;Rollup Layer;提供更加丰裕的存储空间,从而容纳更多的;ZK-Rollup;生态
  • Rollup;的提议者与构建者分离,使得;Rollup layer;共用;Opside chain;的;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;经济的长期利益和每个参与者类别带来好处。随着网络的发展,打造一个无需大量工具和补贴亦可以独立且稳健运行的经济至关重要。

查看原文
本页面内容仅供参考,非招揽或要约,也不提供投资、税务或法律咨询。详见声明了解更多风险披露。
  • 赞赏
  • 评论
  • 分享
评论
0/400
暂无评论
交易,随时随地
qrCode
扫码下载 Gate.io APP
社群列表
简体中文
  • 简体中文
  • English
  • Tiếng Việt
  • 繁體中文
  • Español
  • Русский
  • Français (Afrique)
  • Português (Portugal)
  • ไทย
  • Indonesia
  • 日本語
  • بالعربية
  • Українська
  • Português (Brasil)