PRI:Vitalik:绝对反对基础层价格预言机,以太坊L1层的功能要明确限制

写在前面:看完了比特币减半大戏,我们再来关注下以太坊,昨日,针对以太坊2.0研究者JustinDrake最新提出的基础层价格预言机提案,以太坊联合创始人VitalikButerin撰文表示坚决反对,并提出了六大反对理由,此外他还表示,以太坊生态系统得益于强大的应用层代币生态系统,而不是通过L1层垄断所有重要功能。这场以太坊2.0核心人物之间的battle,你支持谁呢?

注:以下提案由JustinDrake提出:

简单地说,我们建议在信标链中添加一个简单的喂价服务,以跟踪一小部分关键资产。该服务允许建立完全去中心化的预言机,在每个epoch周期边界为每个跟踪资产产生一个价格。

Vitalik Buterin 2014年的历史肖像被作为NFT进行拍卖:金色财经报道,加拿大著名摄影师Andrew Miller宣布独家拍卖以太坊创始人Vitalik Buterin的首张专业且从未售出的肖像,该肖像被铸造成NFT。此次拍卖恰逢以太坊概念诞生10周年。拍卖将于 7 月 1 日在Manifold.xyz上开始,一直持续到7月30日,为收藏家提供了一个难得的机会来获得以太坊早期历史的一部分。起拍价为333 ETH。[2023/7/19 11:03:17]

感谢@albert,@benjaminion,@dankrad,@danrobinson,@DCinvestor,@djrtwo,EricConner,EvanVanNess,@karl,@khovratovich,MehdiZerouali,@mkoeppelmann,@paulhauner,@protolambda,@Robert,@ryanseanadams,@sassal,@scott_lew_is,@vbuterin提供的反馈和讨论。

构造

price_data:PriceData字段添加到BeaconBlockBody,其中:

PRICES_PER_ASSET=8

#TypealiasesPrice=uint64AssetPrices=Vector

classPriceData(Container):#CurrenciesintheIMFSDRbasketusd:AssetPrices#0.01USDpricedenominationeur:AssetPrices#0.01EURpricedenominationcny:AssetPrices#0.01CNYpricedenominationjpy:AssetPrices#1.00JPYpricedenominationgbp:AssetPrices#0.01GBPpricedenomination

Vitalik Buterin:已向阿桑奇的AssangeDAO捐款:2月7日消息,AssangeDAO是一个以维基解密创始人阿桑奇命名的去中心化自治组织,该组织宣称将筹集资金,帮助阿桑奇支付法律费用,并开展活动,提高公众对司法系统系统性故障的认识。据以太坊生态去中心化基础设施Gnosis联合创始人Martin K?ppelmann在推特透露,他已经向AssangeDAO捐赠了10 ETH,而以太坊联合创始人Vitalik Buterin回应道,「我也捐赠了」。不过,目前尚不清楚Vitalik Buterin的具体捐赠金额。现阶段,AssangeDAO 通过 JuiceBox 平台的第一轮融资已于北京时间 2 月 7 日 6 时 32 分结束,目前共筹集了12630个ETH,超过了ConstitutionDAO(People)筹集的11613枚ETH,第二轮融资将于北京时间2月9日6时32分结束。[2022/2/8 9:36:31]

从以太坊2.0的共识观点来看,

price_data对象的处理方式类似于graffiti字符串。也就是说,

price_data可以是任意数据,其值被信标链状态转移函数和分叉选择规则忽略。

诚实的信标区块提出者,必须为PriceData中的每个跟踪资产,填充尽量最好的价格,而这些价格必须:

基线——代表跟踪资产的1ETH;

快照——以最近的PRICES_PER_ASSETepoch界限进行快照;

Vitalik Buterin:并不认为zkPorter具有比Optimistic Rollup更强的安全保证,且没有紧密耦合性:以太坊联合创始人Vitalik Buterin针对Matter Labs披露的zkPorter扩容方案表示:并不认为zkPorter具有比Optimistic Rollup更强的安全保证,宁愿将资产放在Optimistic Rollup中,而不是链下数据可用性系统中。zkPorter链下数据可用性的安全级别要低于基础链,且没有紧密耦合性(Tight coupling)。另一方面,分片中的数据可用性层将受到整个以太坊网络的保护,并兼具紧密耦合性。如果某些应用程序同时使用链下数据可用性也是可以的,但前提是链下数据在基于分片的数据可用性可用之前明确为临时措施,但是我认为这没有必要。[2021/4/14 20:17:45]

面值——以最小的ISO4217货币单位计价;

四舍五入——用半下舍入法舍入;

上溢——如果uint64溢出,则设置为Price(2**64-1);

下溢——价格为负时,设置为Price(0);

示例:诚实多数ETH-USD预言机

我们可以在每个epoch周期边界建立一个多数诚实的ETH-USD预言机。

考虑一个智能合约,它取与给定epoch边界相对应的所有价格的中值。

如果超过一半的相应信标区块是由诚实的验证者生成的,则中间价格就是安全的,即不可由不诚实的验证者操纵。

动态 | EOS的Activity指数以47,221,545排名第一:据blocktivity.info数据,截止北京时间18年12月08日11点00分 ,区块链活跃度指数排名前五名分别为:EOS,WAX,TRON,BitShares,Kin。其中EOS的Activity指数为47,221,545,排名第1。Activity指数为最近24小时内在区块链上执行的操作数量。[2018/12/8]

基本特征

以下是该喂价服务的基本功能:

共识极简主义——通过将price_data视为与graffiti同等,实现对信标链状态转移函数和分叉选择规则影响的最小化。

补贴交付——每个信标区块都包含一个专用的PriceData对象,绕过应用层区块空间限制和gas市场;

原价——喂价是提供关于原价的一种低level服务,它们可与其他价格来源混合和匹配,以创建具有自定义逻辑的混合预言机;

带宽效率——每个被跟踪的资产,为每个BeaconBlock的320字节开销,序列化为type_byte_length(uint64)*PRICES_PER_ASSET=64字节。区块传播的带宽开销很小,特别是在网络压缩的情况下。

可被其他链使用——这种服务不仅可供以太坊1.0和以太坊2.0使用,也可以供其他区块链使用。它也可以用于链外,例如通过完全去中心化的钱包来估算法币计价的gas成本。

声音 | BM 评价 Vitalik 新共识算法:是对非 BFT 终结性的正式描述:据 IMEOS 报道,Vitalik 近期在其博客上发布了一篇名为《一个99%容错共识的指南》的文章,文章认为这个算法只需要 1% 的节点“诚实”。这意味着,从理论上讲,攻击者需要控制超过99% 的区块链节点才能进行攻击。因此不再有 51% 的攻击。

EOS 社区成员询问 BM 对这个文章的看法以及意见,BM 回复道:这篇文章没有给出譬如什么时候开始实施的时间先,但可以安全地假设一下这个新算法将会在基于 POS 的共识生效后实施......所以相当于在宇宙热寂之后实施......

“不过这个算法是关于 Steem 和 Bitshare 的非 BFT 终结性的正式描述,这就很有趣了。”[2018/8/16]

初始部署——这种喂价服务是可选的以太坊2.0基础设施,当其准备就绪时就可以进行部署。以太坊1.0的DeFi生态系统将从中受益,比如在phase1阶段。

喂价治理

跟踪资产集的维护是一个治理问题,我们建议遵循以下社区规范:

最低可行性——跟踪资产集应保持在最低可行水平,即仅纳入对以太坊的长期健康和成功至关重要的资产。5项初始资产反映了三项关键原则:

粗共识——新资产可以通过粗共识驱动的硬分叉加入到跟踪集合中。

向后兼容性——添加资产后的向后兼容性不能从跟踪集中移除,以保持向后兼容性。

验证运行者行为

我们讨论各种类型验证运行者的预期行为:

诚实运行者——根据定义,诚实的运行者运行符合共识规则的验证节点,并报告正确的价格数据。

懒惰的运行者——懒惰运行者,其最懒惰的行为是运行默认的验证者客户端设置。因此,懒惰的运行者应该运行报告正确价格数据的验证节点。

理性的运行者——理性运行者寻求最大化的收入,并将考虑价格数据操纵,以实现验证的最大化可提取价值。然而,由于PriceData对象是公共和加密签名的,所以不诚实的验证者可以被社区识别出来。潜在的处罚包括:

验证者客户端指南

验证客户端必须能够查询外部源以在epoch边界处导出价格。以下是客户端实施指南:

差异性——必须查询各种价格来源以获得稳健性,包括链上来源以及链外来源;

安全性——查询不受信任的api时产生的攻击向量,必须要仔细处理;

清楚外部问题——必须充分处理异常源;

可定制性——客户端运行者应该能够轻松更改默认价格推导逻辑,并自定义其价格来源;

去相关——实现应努力使价格推导逻辑最大化去相关;

dApp指南

历史累加器——每个PriceData对象,都可以根据BeaconState中的historical_roots进行验证。为了提高gas效率,可以有效地将SHA256Merkle验证数据压缩成一个SNARK;

风险分析——dApp必须仔细评估非诚实验证者的价格操纵风险,并作出知情的安全假设;

混合预言机——dAppp应该考虑将重要的喂价服务与其他价格来源相结合。喂价服务是一个基础设施,旨在增加以太坊生态系统的选择和健壮性;

下面,则是来自以太坊联合创始人Vitalikbuterin发表的battle意见:

“我持绝对反对意见!

首先,这是对区块链技术特性的一个根本性改变。现在,我们有了一个特性,即区块链进度的正确性可通过编程方式完全验证。有效性是一个确定性功能,可用性可以由在线节点进行验证,甚至还有针对低延迟在线节点的技术,以就区块链是否审查交易达成共识。

另一方面,这个提议的目的是引入一个链属性,即使在原则上也不能在任何假设下通过编程进行验证。甚至在未来的世界里,人们对投入的正确价值也没有明显的共识。

第二,该提案依赖于诚实多数,但我们在以太坊2.0上面所做的很多事情,从根本上讲是要摆脱诚实多数的假设,并试图在诚实多数失败的情况下创建“第二道防线”,例如:

托管证明,试图将聚合的安全性假设从“必须诚实”更改为同时涵盖不邪恶,但懒惰的参与者;

数据可用性证明和欺诈证明,允许51%攻击链拒绝无效或不可用的区块;

用户可运行全节点,而不仅仅是轻节点;

上面提到的审查检测技术;

无活动泄露机制,及其在>1/3离线攻击发生的情况下进行恢复操作;

而做出一个依赖于诚实多数的设计,与所有以上这些进步的方向是相反的。

第三,它损害了协议的中立性,并为进一步的中立性妥协开辟了一条滑向深渊的道路。该提案将“defi”提升为特权应用类,并提升一组特定的资产/价格指数。它还会引入底层治理的风险,比如必须要判断哪些货币是足够重要的,哪些应用类是足够重要的,如何判断紧急情况,等等。

第四,它关闭了预言机设计创新的大门,例如,这种设计的一个自然替代方案是,时间T时的价格,只应在时间T+1天时商定,以便为链上攻击、交易所在较长时间内停止工作的情况,以及通常功能性api意外出错的情况提供空间。有很多种方法可以设计预言机,而用L1的方法统治生态系统,似乎并不是正确的答案。

第五,它增加了staking验证者中心化的风险,因为客户端需要更多的自动更新来维护他们的预言机,这增加了验证者盲目遵循客户端开发者指示的风险;

第六,与基于应用层token的预言机相比,它实际上并没有提供更多的安全性。MKR的市值约为200万ETH,因此应用层代币显然可以获得显著的市值。我们预计,以太坊2.0初始的staking币数,大约在200万ETH范围内。因此,基础层预言机的安全级别,并没有比应用层的预言机高多少,似乎充其量只是一个数量级的差异。

我实际上认为,我们应该朝相反的方向发展,明确限制底层的功能,以便故意为应用层生态系统留下空间,让应用层开发其他的工具。Augur一直在很好地运行,其他预言机也同时存在着。

以太坊生态系统得益于强大的应用层代币生态系统,而不是L1层/ETH垄断所有重要功能。这是因为以太坊生态系统对公共产品有很大的需求,而准备提供这些公共产品的以太坊供应却有限,因此修改以太坊协议,以印刷更多以太坊用于这些目的,在上是困难的。然而,应用层token可以提供这些公共产品,例如Gnosis在智能合约钱包中做了很多工作,现在已经在其中维护了openesom等等。应用层token甚至可以直接用二次方融资方式来资助公共产品。因此,我们应刻意寻找并设计与此类应用层token的共生关系,而不是将它们视为基础层可吸收的一个试验地。

目前来看,大多数以太坊参与者似乎更支持Vitalik的观点,你的看法又是什么呢?

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

金星链

[0:15ms0-0:884ms