Proof of Efficiency
PoE是Polygon Hermez 为zkEVM实现设计的一种新的共识机制 , 它基于之前的PoD(Proof of Donation)设计,允许多个Coordinator
加入网络,进行产块。
对于zk-rollups,实现去中心化是一个较大的挑战,因为zk-rollups 需要验证者需要生成zk有效性证明,需要耗费较多的资源,采用类似PoS机制随机选择验证者无法满足这种要求。
PoD/PoB采用去中心化竞拍模型,在指定的时间产块,但这段时间,网络由单个验证者控制,容易造成一些风险,并且竞拍需要实现起来比较复杂。
另外,竞拍也存在中心化风险。
新的设计要求:
- 允许验证者自由加入网络;
- 高效,提升网络性能;
- 避免中心化风险;
- 防止恶意攻击;
PoE 模型
PoE 模型分为两步,分别为Sequencer
和 Aggregator
。
Sequencers
Sequencers 从用户收集L2交易,打包成一块 (batch), 作为一个L1 交易发送出去。任何人都可以成为Sequencer.
Sequencer 需要支付L1 交易的gas 手续费,这个L1 交易包含了L2 交易的所有数据。
Aggregators
对于Sequence产生的块,由Aggregator生块证明,基于效率,第一个生块有效证明的Aggregator才能将证明提交到PoE合约中。
每个Aggregator根据自己的策略(是否盈利等)。
手续费分发方式下如下:
- L2交易手续费由aggregator创建证明时分发;
- 所有的交易的手续费分发给Sequencer;
- 由Sequencer存进去的费用发送给Aggregator。
总结
-
Sequencer 可以自由加入,扩展网络;
-
DA (Data Availability) 支持 Volition (zk-rollup和 Validium)模式,服务于不同层次的用户;
-
可以通过DA计算
virtual
状态,通过 有效性证明实现final
状态;
参考
https://ethresear.ch/t/proof-of-efficiency-a-new-consensus-mechanism-for-zk-rollups/11988
https://ethresear.ch/t/rollup-as-a-service-opportunities-and-challenges/13051
https://ethresear.ch/t/a-design-of-decentralized-zk-rollups-based-on-eip-4844/12434
共有 0 条评论