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

作者:DavidSchwartz,PolygonHermez项目负责人;与开发人员JordiBaylina

我们PolygonHermez团队目前正在致力于zkEVM的实现,而这一挑战要求我们为去中心化的L2协议研究和开发一种新的共识机制——proofofefficiency。

这种共识机制利用了v1.0中现有的Proof-of-Donation的经验,旨在构建第一个去中心化zk-rollup并支持多个协调者的无许可参与,以便在L2中批量生产。

我们仍在考虑几个选项并针对v2.0(zkEVM)改进此协议,但我们很高兴与社区分享我们的想法并收到反馈。

背景

在zk-rollups中,去中心化的挑战是巨大的,迄今为止很难找到一个好的解决方案。发生这种情况是因为PoS等协议在L2上存在一些问题,并且需要以高性能生成zk有效性证明,以便网络可以保持其服务水平。将生成一个交易批次的权利分配给任何随机验证者并不能保证这一点。

美国SEC和Binance寻求就美国资产冻结达成妥协:金色财经报道,美国证券交易委员会(SEC)和BAM Trading(币安的美国子公司)最近提交了一份同意令请求,该请求将放宽SEC之前冻结公司资产请求的部分限制。拟议中的新同意令将为SEC提供更多保证,并允许BAM Trading做出薪资和其他财务承诺。

根据文件:BAM Trading和BAM Management可以继续支付购买商品和服务的费用、BAM Trading和BAM Management人员的工资,包括预先存在的福利、专业费用和其他类似的日常业务运营费用。

允许资产解冻的主要规定是,币安在任何情况下都不得向任何币安实体或代表币安行事的个人或实体支付或转让任何资产。[2023/6/14 21:35:09]

捐赠证明/燃烧证明基于去中心化拍卖模型,以获得在特定时间范围内生产批次的权利。在这种情况下,设置了经济激励措施,因此验证者需要非常高效才能具有竞争力,这代表了一个很大的进步。

与多次网络钓鱼关联的EOA地址0x63fD7已将60枚ETH转至Tornado Cash:金色财经报道,据CertiK监测,与多次网络钓鱼关联的EOA地址0x63fD7已将60枚ETH(约12.6万美金)转至Tornado Cash。[2023/4/15 14:05:30]

该模型的一个问题是,在特定时间内,网络由恶意的单个参与者控制,即使有办法减轻影响,也很难避免对服务级别的零影响,尤其是在自举阶段。

另一方面,拍卖协议对于协调者/验证者来说是非常昂贵和复杂的,同时只有最有效的才会得到奖励。他们很难实现自动化,而且预测的复杂性很高,因为拍卖需要提前一段时间出价。

先前协议的另一个问题是选择收敛到“赢家通吃”模型的“最佳”运营方的有效性。这不允许表现稍差的运营方参与竞争。结果是,由于这种情况产生的抗审查限制,控制网络的运营方变得非常中心化。

ARK首席运营官:财富管理公司应成为加密空间的“大目标”:金色财经报道,针对ARK是否打算继续尝试推出现货比特币ETF的问题时,Ark Invest首席运营官Tom Staudt表示,虽然这显然被多次拒绝,但我们继续与 21Shares 和监管机构合作,希望他们能够提供该产品。出于多种原因,我们认为它是 [比特币] 期货 [ETF] 的优质产品。我们认为这在其他司法管辖区运作良好,并且认为美国不应由于监管套利而在创新方面落后于其他国家。

此外,Tom Staudt还表示,ARK在加密领域也有一个私人认可的投资者基金。并正在努力真正增加允许它投资于加密资产领域各个角落的自由度,包括像质押和更多前沿部分的事情。??我们真的在努力打通所有渠道,我们认为我们现在所做的投资对于公司未来几年的关键业务至关重要。[2022/10/14 14:27:09]

新要求

美联储梅斯特:需要进一步收紧政策以降低通胀:10月12日消息,美联储梅斯特周二发表讲话时称需要继续加息,在努力抗击几十年来最严重的通胀之际,美联储不能自满。梅斯特表示,鉴于当前的通胀水平,广泛的涉及面及其持久性,认为货币政策将需要变得更具限制性才能使通胀率可持续的下降到2%。在货币政策方面,美联储官员必须权衡收紧过多和收紧不足的风险,但目前更大的风险来自于收紧力度太小,这会导致高通胀持续并在经济中扎根。梅斯特称,尽管存在不确定性,官员们仍需要采取果断行动来控制物价,“谨慎并不意味着做得少”。(金十)[2022/10/12 10:31:43]

这个新协议旨在涵盖此类L2zk-rollup共识模型所需的关键属性:

生产L2批次的无许可访问效率是网络性能的关键避免任何一方的控制防止恶意攻击与网络中的价值成正比的总验证工作量

效率证明(PoE)模型

Polygon加入迪士尼的 \"加速器计划\",开发AR、NFT和AI体验:金色财经消息,Polygon正通过与迪士尼公司的一个新项目继续扩展其Web3基础设施。

据迪士尼的声明,Polygon是被选中参加迪士尼2022年加速器项目的六家公司之一,该项目是一个商业和发展项目,旨在激励世界各地的创新公司的发展。

该计划于本周开始,希望在增强现实(AR)、非可替代代币(NFT)和人工智能(AI)领域开发新技术。(Coindesk)[2022/7/14 2:12:16]

这个创建批次的协议由一个两步模型组成,该模型在不同方之间拆分活动。参与的第一方是Sequencer,第二方是Aggregator。

排序器

在此模型中,Sequencers是从用户那里收集L2交易的各方,因此他们通过发送包含所有选定L2TX数据的L1TX来选择和预处理网络中的新L2批次。任何人都可以成为Sequencers,这是一个无需许可的角色,由通往网络的网关组成。

有趣的是,这些提议的批次将记录在zk-rollup模型的L1事务中。

当基于他们拥有的激励决定这样做时,就会发生此批处理提案:

一种潜力是其资金池中交易的经济价值。或他们需要满足用户的服务级别。为了向网络提议一个新批次,Sequencers将需要支付L1网络的gas费以生成包含所有批次交易数据的TX,并且该协议定义了需要存入的$MATIC代币的额外费用。这样,Sequencers就有动力提出具有有效交易的有效批次。

批处理费用将根据网络负载而变化,这将根据协议智能合约自动调用的参数计算。

这些批次,以L1交易的格式,带有CALLDATA中的信息,将用作L2网络的数据可用性,并且任何新的无许可节点都将能够同步状态,也可以从该信息中重建。

一旦被挖掘,这些数据可用性L1交易定义了将被执行的L2TX和特定的顺序。这会创建一个确定性的新状态,可以由网络节点将其计算为虚拟的未来状态。

当然,当新状态的有效性证明在L1中生成和挖掘时,这个新状态将被解决。这对应于协议的第二部分。

聚合器

当然,zk-rollups的主要优势之一是有效性证明提供的交易的快速确定性。该协议试图提高这些证明的有效性。

Aggregators是在效率证明共识协议中以无许可方式参与的各方。

在这种机制中,创建L2新状态的有效性证明的权利只需成为第一个Aggregators即可获得。

它的工作方式如下:L1中的Sequencers提出的批次按照它们在L1中的出现位置进行排序,并包含交易数据。PoE智能合约将接受更新到新的有效状态的第一个有效性证明,包括一个或多个提议的批次。

Aggregators需要定义他们的目标以触发证明生成并根据他们自己的策略进行竞赛。

例如,如果有包含少量TX的批次,一些Aggregators可能会发现在有更多价值之前生成证明并生成包含N个提议批次的状态变化的证明并不有趣。其他Aggregators可能有不同的策略。

对于比赛迟到的Aggregators,如果发送的证明没有提出新状态,智能合约将使用Revert执行,并使用整个状态数据库的merkle树哈希进行检查。因此,不能成为第一个是以生成证明为代价的,但大部分的gas费用都被收回了。

当然,只有当Aggregators正确处理了提议的批次时,证明才会存在,这意味着它们有一个顺序并且所有这些都需要处理。这是一种类似于PolygonHermezv1.0中实现的“Forcetx”的机制,在这种情况下有助于避免审查。

这种机制避免了对单方的控制和许多潜在的攻击,因为任何Sequencer都可以提出一个批次,但这是有成本的。Aggregators也可以选择以无许可的方式参与,但如果他们不这样做,那么早晚会有对经济价值感兴趣的人去做。在我们的例子中,PolygonHermez网络将启动一个引导Aggregators,以支持在引导阶段有一个特定频率的新有效性证明。

费用将按以下方式分配:

来自L2TX的费用将由创建有效性证明的同一aggregator处理和分配。所有的TX费用将发送到每批对应的Sequencer。Sequencers为创建批次而存入的费用将发送到aggregator,该aggregator将该批次包含在有效性证明中。

结论

PoE共识机制旨在解决zk-rollups的L2中去中心化和无许可验证者的一些挑战。

它定义了一个两步模型,它支持:

无许可Sequencer作为协议的参与者受益,也是网络可扩展性的来源。与Volition模式完美兼容的数据可用性模型,可以为用户启用不同的服务层。从数据可用性和基于有效性证明的“最终”状态计算“虚拟”状态。这种架构可以通过基于不同标准设置有效性证明频率来为去中心化zk-rollup节省大量成本,但不是确认交易的唯一解决方案。无需许可的聚合器作为代理执行加密证明生成的专门任务的空间,预计对于zkEVM协议来说成本很高。它为他们提供了一个非常简单直接的模型来管理他们的激励和回报。针对L2网络问题的本机保护:例如来自恶意行为者的攻击或选定验证者的技术问题。激励模型:以最大化网络最终性的性能

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

水星链

[0:15ms0-0:952ms