PoE：Polygon团队为zkEVM开发的新共识机制

作者：David Schwartz，PolygonHermez项目负责人；与开发人员Jordi Baylina

咱们PolygonHermez团队现在正在致力于zkEVM的完成。为了满意zkEVM的需求，咱们需求研究和开发一种新的一致机制，名为”proofofefficiency”（PoE）。

咱们使用了v1.0中现有的Proof-of-Donation（捐赠证明）的经历，旨在创立一个中心化zk-rollup并支持多个协调员的无答应参加，以便在L2中批量生成买卖。

咱们还在考虑几个选项，针对v2.0（zkEVM）改进了协议，但咱们很高兴与社区分享咱们的想法并收到反应。

布景：
在zk-rollups中，涣散的应战是巨大的，到现在为止很难找到好的处理方案。这是因为PoS等协议在L2有一些问题，需求高性能生成zk有用性证明（这对证明者来说十分密集），使网络能够保持其服务水平，而且需求确认生成买卖批次（batch）（L2块），以分配权力给验证者。

捐赠证明/燃烧证明（PoD/PoB）依据涣散拍卖模型，有权在特定时间内出产批次。在这种情况下，建立了经济鼓励措施，因而验证者需求十分有用地具有竞争力，这代表了一个巨大的前进。

该模型的一个问题是，在特定时间内，该网络由恶意的单个参加者操控。即便有办法削减影响，也很难避免对服务水平的零影响，特别是在自我提升阶段。

另一方面，拍卖协议对协调员/验证员来说十分昂贵和复杂，只有最有用的才会得到奖励。因为拍卖需求提早一段时间出价，因而很难完成主动化，预测也十分复杂。

此前协议的另一个问题是挑选收敛到赢家通吃模型的最佳运营商的有用性。这不答应稍差的运营商参加竞争。因而，因为这种情况下的抗检查约束，操控网络的运营商变得十分集中。

新要求：
本新协议旨在涵盖此类L2 zk-rollup一致模型所需的关键属性：
1. 出产L2批次无答应拜访功率是网络性能的关键，避免任何一方的操控，避免恶意攻击与网络中的价值成正比功率证明（PoE）模型。

该协议由两步模型组成，该模型在不同方之间拆分。榜首方是排序器（Sequencer），第二方是聚合器（Aggregator）。

排序器（Sequencers）：
在这个模型中，Sequencers从用户那里搜集L2买卖方，所以他们通过发送包含一切挑选L2TX数据的L1TX在网络中挑选和预处理新L2批次。任何人都能够成为Sequencers，由通往网络的网关组成的无需答应的人物。

风趣的是，这些提议的批次将记录在zk-rollup模型的L1业务（或Validium在不同的数据可用性网络中记录）。

这批处理提案产生在他们依据自己的鼓励决议这样做的时分，一种潜力是其本钱池中买卖的经济价值。或许他们需求满意用户的服务水平（成本可能会相应改变，因为他们将是由的Sequencers要求）。

为了向网络提出新的批次，Sequencers需求支付L1网络的gas生成包含一切批次买卖数据的费用TX，而且该协议界说了需求存入的$MATIC代币的额外费用。Sequencers有动力提出有用买卖的有用批次。

依据协议智能合约主动调用的参数，批处理费用将依据网络负载而改变。

这些批次，以L1买卖格式，带CALLDATA中的信息，将用作L2网络的数据可用性，任何新的无答应节点都能够同步或重建。

这些数据的可用性一旦被发掘，将被履行的界说为买卖L2TX和特定的次序。这将创立一个确认性的新状况，能够由网络节点核算为虚拟的未来状况。

当然，当新的状况（ZKP）的有用性证明被生成和发掘时，将处理这种新状况。这对应于协议的第二部分。

聚合器（Aggregators）：
当然，zk-rollups的主要优点之一是有用性证明了买卖的快速确认性。该协议企图进步这些证书的有用性。

Aggregators以无答应方法参加功率证明一致协议。

在这种机制下，创立L2证明新状况有用性的权力（当然，在txs收取部分费用）只需求成为榜首个Aggregators即可获得。

其工作方法如下：L1中的Sequencers提出的批次按照它们在L1中的方位排序，并包含买卖数据。PoE智能合同将承受更新到新有用状况的榜首个有用性证明，包含一个或多个提议批次。

Aggregators为了触发证明生成，并依据自己的战略进行竞争

此时快讯

【ParaSpace：已更新dApp前端以改善用户体验，现支持用户查看更多NFT清算信息】7月5日消息，ParaSpace在社交媒体上发文表示，该平台刚刚部署了前端更新，以改善用户体验并解决用户遇到的一些问题。本次更新提供了有关NFT清算的更多信息，并允许用户在借贷页面上查看其清算的NFT。