一文了解Polygon团队为zkEVM开发的新共识机制PoE( 二 ) 免责声明：本文旨在传递更多

批处理费用将根据网络负载而变化，这将根据协议智能合约自动调用的参数计算。
这些批次，以L1交易的格式，带有CALLDATA中的信息，将用作L2网络的数据可用性，并且任何新的无许可节点都将能够同步状态，也可以从该信息中重建。
一旦被挖掘，这些数据可用性L1交易定义了将被执行的L2TX和特定的顺序。这会创建一个确定性的新状态，可以由网络节点将其计算为虚拟的未来状态。
当然，当新状态（ZKP）的有效性证明在L1中生成和挖掘时，这个新状态将被解决。这对应于协议的第二部分。
聚合器（Aggregators）
当然， zk-rollups的主要优势之一是有效性证明提供的交易的快速确定性。该协议试图提高这些证明的有效性。
Aggregators是在效率证明共识协议中以无许可方式参与的各方。
在这种机制中，创建L2新状态的有效性证明的权利（当然，在txs中收取部分费用）只需成为第一个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和Validium）模式完美兼容的数据可用性模型，可以为用户启用不同的服务层。从数据可用性和基于有效性证明的“最终”状态计算“虚拟”状态。这种架构可以通过基于不同标准设置有效性证明频率来为去中心化zk-rollup节省大量成本，但不是确认交易的唯一解决方案。无需许可的聚合器作为代理执行加密证明生成的专门任务的空间，预计对于zkEVM协议来说成本很高。它为他们提供了一个非常简单直接的模型来管理他们的激励和回报。针对L2网络问题的本机保护：例如来自恶意行为者的攻击或选定验证者的技术问题。激励模型：以最大化网络最终性的性能