我们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为了触发证明生成,并根据自己的策略进行竞争
我们知道,区块链系统本质上是一个所有人共同预定和维护的大系统。那么全世界的人们是如何实现共同记账和维护的呢?这必须依赖于我们今天要提到的共识。机制。共识机制,顾名思义,就是参与整个网络的个体(节点)用来达成共识的机制。截...
从文化或组织的特点出发,人类可以大规模合作,在地球上的许多生物中脱颖而出,达成共识。没有共识,就不可能形成机构合作的力量,其中一些来自国家机器,如货币的使用,这需要国家的信用认可。比特币的诞生给我们带来了网络独立运行的成...
比特币的共识机制。简易而言,比特币的共识机制是根据算率来任意挑选造成新区域的连接点,根据给与造成新区域的连接点比特币奖赏来搞好人。这全部体系的健硕安全性运作,从悖论视角看来,拥有一套比较复杂的的相互之间发展壮大的管理体系...
对于任何软件公司来说,安全都是一个根本困难和不对称的问题。至于安全问题,没有灵丹妙药——仅上个月,几家技术公司就出现了明显的漏洞(如 Okta、HubSpot)。然而,加密货币的自我托管和不可逆转的性质意味着安全漏洞可能...