一文了解Polygon团队为zkEVM开发的新共识机制PoE

一文了解Polygon团队为zkEVM开发的新共识机制PoE
文章图片
免责声明:本文旨在传递更多市场信息 , 不构成任何投资建议 。 文章仅代表作者观点 , 不代表火星财经官方立场 。
小编:记得关注哦
来源:巴比特资讯
作者:DavidSchwartz , PolygonHermez项目负责人;与开发人员JordiBaylina
我们PolygonHermez团队目前正在致力于zkEVM的实现 , 而这一挑战要求我们为去中心化的L2协议研究和开发一种新的共识机制——proofofefficiency(PoE) 。
这种共识机制利用了v1.0中现有的Proof-of-Donation(捐献证明)的经验 , 旨在构建第一个去中心化zk-rollup并支持多个协调者的无许可参与 , 以便在L2中批量生产 。
我们仍在考虑几个选项并针对v2.0(zkEVM)改进此协议 , 但我们很高兴与社区分享我们的想法并收到反馈 。
背景
在zk-rollups中 , 去中心化的挑战是巨大的 , 迄今为止很难找到一个好的解决方案 。 发生这种情况是因为PoS等协议在L2上存在一些问题 , 并且需要以高性能生成zk有效性证明(这对于证明者来说是非常计算密集的) , 以便网络可以保持其服务水平 。 将生成一个交易批次(batch)(L2区块)的权利分配给任何随机验证者并不能保证这一点 。
捐赠证明/燃烧证明(PoD/PoB)基于去中心化拍卖模型 , 以获得在特定时间范围内生产批次的权利 。 在这种情况下 , 设置了经济激励措施 , 因此验证者需要非常高效才能具有竞争力 , 这代表了一个很大的进步 。
该模型的一个问题是 , 在特定时间内 , 网络由恶意的单个参与者控制 , 即使有办法减轻影响 , 也很难避免对服务级别的零影响 , 尤其是在自举阶段 。
另一方面 , 拍卖协议对于协调者/验证者来说是非常昂贵和复杂的 , 同时只有最有效的才会得到奖励 。 他们很难实现自动化 , 而且预测的复杂性很高 , 因为拍卖需要提前一段时间出价 。
先前协议的另一个问题是选择收敛到“赢家通吃”模型的“最佳”运营方的有效性 。 这不允许表现稍差的运营方参与竞争 。 结果是 , 由于这种情况产生的抗审查限制 , 控制网络的运营方变得非常中心化 。
新要求
这个新协议旨在涵盖此类L2zk-rollup共识模型所需的关键属性:
生产L2批次的无许可访问效率是网络性能的关键避免任何一方的控制防止恶意攻击与网络中的价值成正比的总验证工作量效率证明(PoE)模型
这个创建批次的协议由一个两步模型组成 , 该模型在不同方之间拆分活动 。 参与的第一方是Sequencer , 第二方是Aggregator 。
排序器(Sequencers)
在此模型中 , Sequencers是从用户那里收集L2交易的各方 , 因此他们通过发送包含所有选定L2TX数据的L1TX来选择和预处理网络中的新L2批次 。 任何人都可以成为Sequencers , 这是一个无需许可的角色 , 由通往网络的网关组成 。
一文了解Polygon团队为zkEVM开发的新共识机制PoE】有趣的是 , 这些提议的批次将记录在zk-rollup模型的L1事务中(或者在Validium的情况下记录在不同的数据可用性网络中) 。
当基于他们拥有的激励决定这样做时 , 就会发生此批处理提案:
一种潜力是其资金池中交易的经济价值 。 或他们需要满足用户的服务级别(费用可能会相应变化 , 因为它们将由Sequencers要求) 。 一文了解Polygon团队为zkEVM开发的新共识机制PoE
文章图片
为了向网络提议一个新批次 , Sequencers将需要支付L1网络的gas费以生成包含所有批次交易数据的TX , 并且该协议定义了需要存入的$MATIC代币的额外费用 。 这样 , Sequencers就有动力提出具有有效交易的有效批次 。