金色观察|PoE:一种新的zk-rollups共识机制_COI:ROL

该共识由PolygonHermez的DavidSchwartz和JordiBaylina发表在以太坊研究者论坛,具体整理如下。

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

目前在考虑针对v2.0(zkEVM)改进此协议。

背景

在zk-rollups中,完全的去中心化是困难的,迄今为止很难找到一个好的解决方案。是因为PoS等协议在扩容过程中存在问题。

在L2上,需要生成具有高性能的zk有效性证明,是一项大量的密集的计算工作,因此,会产生一些有中心化特征的验证方法。因为不能保证将生成“批次”的权利分配给任何随机验证者。

金色热搜榜:KNC居于榜首:根据金色财经排行榜数据显示,过去24小时内,KNC搜索量高居榜首。具体前五名单如下:KNC、ONT、DOGE、IOST、BSV。[2020/7/19]

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

但该模型的问题是,在特定时间内,网络由单个参与者控制。

另一方面,拍卖协议对于协调者/验证者来说很难实现自动化,而且参与拍卖需要提前一段时间出价。这样都让该过程存在问题。

所以新共识协议需要涵盖此类L2zk-rollup共识模型所需的关键属性:

对L2块的无权限访问

金色相对论 | 李彦东:目前家庭环境设备加入存储挖矿有巨大的挑战和不确定性:在今日举行的金色相对论中,针对“Filecoin主网上线后普通人可以在家利用自己的存储设备参与Filecoin挖矿”的问题,星际大陆董事长李彦东表示,首先参与filecoin里未来可能会分工出来多个角色 存储矿工(需要提供稳定的服务,不断电断网,有抵押惩罚机制,参与爆块挖矿) 检索矿工(如果说存储矿工是像仓库保管货物,检索矿工就类似于货运司机,搬运数据,他的参与不要求稳定性,没有质押惩罚机制,当然也没有参与爆块挖矿,挣运输数据的跑腿费) 未来filecoin经济模型中也可能诞生其他角色,现在尚未定稿。从这个角度看,至少家庭电脑或者其他设备在家庭这种不稳定环境下有可能做检索矿工。那么有人可能会推出矿池模式,支持家庭环境的设备加入到存储矿工的角色中来,这个目前有待验证,因为涉及到攻击问题、数据传输成本问题、质押问题、以及造成惩罚责任划分问题、以及filecoin发展过程中出现不可预料的bug问题等,对于目前家庭环境设备加入存储挖矿有巨大的挑战和不确定性。[2020/5/20]

效率

金色财经出品“掌门来了”系列线上直播活动即将开启:5月8日14:00,由金色财经出品的区块链线上直播对话栏目“掌门来了”系列活动,首期“减半倒计时矿业特别活动”即将在抖音APP抖音号“金色财经”重磅首播。

区块链掌门人,敢说敢道!首期活动邀请F2Pool联合创始人、Cobo联合创始人兼CEO 神鱼、ViaBTC&CoinEx创始人 杨海坡、BTC.com CEO 庄重、蚂蚁矿池联合创始人 田鑫、蜘蛛矿池创始人 陈华、火币矿池CEO 曹飞、OKEx矿池负责人 Alina 、币信矿业CEO 刘飞、币印联合创始人,运营总监 朱砝、上海挖易联合创始人 李培才10位矿业掌门人以及F2Pool CMO 青青、力说创始人 张力、金色财经内容总监 王瑜琨、金色财经 陈颖担当主持人,共同聊聊即将到来的比特币减半等热门话题。

直播中还将有好礼随机送出,更有神秘彩蛋等你。预约关注抖音直播号:金色财经,5月8日快来跟掌门人们互动吧!

详情见原文链接。[2020/4/28]

避免任何一方的控制

金色财经现场报道 Kaleido创始人:区块链需要共享IT:金色财经现场报道,今日在Coindesk 2018共识会议上,Kaleido的创始人Steve Cerveny表示,企业区块链的采用滞后,这是因为“区块链很难”。 需要政策,检查点,工作流程,管理,需要共享IT。这些就是为什么许多项目都在拖延,即使技术本身已经发展得如此之快。Cerveny表示需要从根本上简化流程。他说:”正像Salesforce为CRM所做的,Kaledio正在为区块链做着同样的事情。”[2018/5/15]

防止恶意攻击

与网络中的价值成正比的总验证工作量

PoE

创建批次的协议由一个两步模型组成,第一是定序器,第二是聚合器。

定序器

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

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

当定序器运作时,会发生相关的批处理提案:

例如资金池中交易的相关经济价值,例如MEV。或一些用户的高级别需求。

为了向网络提议一个新批次,定序器将需要支付L1网络的gas费以生成包含所有批次交易数据的TX,并且该协议定义了需要存入的$MATIC代币费用。这样,定序器就有动力提出具有有效交易的有效批次。

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

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

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

当然,当新状态的有效性证明在L1中生成和挖掘后,将应于协议的第二部分。

聚合器

zk-rollups的主要优势之一是提供交易的有效性证明以及快速确定性。PoE协议尝试提高这些证明的有效性。

聚合者是在PoE共识协议中以无许可方式参与的各方。

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

它的工作方式如下:

L1中的定序器s提出的批次按照它们在L1中的出现位置进行排序,包含交易数据。PoE智能合约接受最新有效状态的第一个有效性证明,包括一个或多个提议的批次。

聚合器需要定义他们的目标以触发证明生成,并且会根据这些交易进行一些策略调整,以提高效率。

例如,如果有包含少量TX的批次,一些聚合器可能会在发现更多交易之前生成了证明并生成包含N个提议批次的状态变化的证明,这是低效的。

对于较慢的聚合器,如果发送的证明没有提出新状态,智能合约将使用Revert执行,并使用整个状态数据库的merkle树哈希进行检查。

当然,只有在聚合器正确处理了建议的批次时,证明才会存在,这意味着聚合器需要不断处理交易批次。

这种机制避免了对单方的控制和许多潜在的攻击,因为虽然任何定序器都可以提出一个批次,但是有成本的。

Polygon?Hermez网络未来将启动一个引导聚合器,以在引导阶段以特定频率支持新的有效性证明。

另外,无许可排序器作为协议的参与者受益,也是网络可扩展性的来源。与Volition模式完美兼容的数据可用性模型,可以为用户启用不同的服务层。

无需许可的聚合器作为代理执行加密证明生成的专门任务空间,预计对于zkEVM协议来说成本很高。这个框架为他们提供了一个非常简单直接的模型来管理他们的激励和回报。

这种架构可以通过基于不同标准设置有效性证明频率来为去中心化zk-rollup节省大量成本。

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

水星链

[0:15ms0-1:497ms