区块链:金色观察丨解读eth2共识机制:穿着风衣的两个ghost

原文作者为以太坊核心团队Carl Beekhuizen,文章主要内容是讲述以太坊eth2链上的共识机制。

金色财经整理了内容并加入了关于eth一些近期资料。

eth2是令人期待的,在上周以太坊核心团队的eth 2 AMA中,公布了预计eth2上线的日期可能会在2020年7月30日,而具体上线日期,则要目前以太坊的更新情况,其中会包含存款用户界面的开发和测试,这项工作也是本文原作者Carl Beekhuizen在主导,Carl的预计这项工作大约需要两个月,也包含第三方审核存款界面,大约需要一个月。其他的工作也是例如客户端上线以及等待用户存入最低值等时间,因此让eth2可以在2020年7月左右上线。

但eth2团队也表示了可能会遇到临时的问题延迟上线,但对2020年的上线抱有充分的信心。

eth2是以太坊POS机制的验证链,在全面转型只POS机制后,以太坊全网的出块则由beacon chain上的验证矿工来执行。而不是由目前的矿工来完成,当然,笔者认为,以太坊还会留有POA的基金会节点。

金色晨讯 | 孙宇晨:希望修正巴菲特价值投资论:1.马绍尔成立专项基金以支持其国家加密货币。

2.门罗币或将引入CLSAG签名方案。

3.美国证券交易委员会正就ICO起诉Kik。

4.瑞士智库:瑞士央行应与大型行业机构合作开发瑞士法郎代币。

5.俄罗斯最高仲裁法院法官敦促将数字货币纳入民法。

6.苹果公司将推出加密开发工具CryptoKit。

7.孙宇晨回应媒体:拟邀李林V神等赴巴菲特午宴 希望修正巴菲特价值投资论。

8.支付宝:区块链技术已落地40余个场景。

9.BM:还没决定是否禁止美国用户使用 Voice,希望上线时能通过合规批准。[2019/6/5]

目前来看,共识机制仍旧是POW,其中的共识验证出块的流程,还是通过随机数的计算而成。矿工参与需要拥有矿机或安装全节点。

在信标链上的共识出块,是POS的,也就同样需要用一定的方式确认谁是最长链。本文主要介绍的内容原文被发布在以太坊基金会博客上。就是在介绍在eth2上怎样确认最长链。在出块过程中,可以说一直在出现分叉,是因为节点的通信,是同时向周边节点发任务消息,最终确定上,要遵循一个连续性。

金色晨讯 | 以太坊君士坦丁堡升级因“可重入”漏洞延期 51%双花攻击所得的ETC已归还完毕:1.南非或将开始跟踪加密货币交易。

2.以太坊君士坦丁堡升级因“可重入”漏洞延期。

3.美国立法者提出新法案 为部分加密初创公司提供“安全港”。

4.2018年中国区块链专利申请量领跑全球 达到2913件。

5.保加利亚政府对加密货币交易利润征收10%的税款。

6.IBM使用区块链平台跟踪金属行业的供应链。

7.印度政府将于1月17日批准创业激励计划并与区块链基金会合作。

8.慢雾: 51%双花攻击所得的所有ETC已归还完毕。

9.Ripple:仅2015年8月之前的私钥易受攻击。[2019/1/17]

我们来看原文,为了理解方便略有叙述改动,加入了少许注解。

Eth2背后的共识机制。

eth2可以通过一个新颖的方法来确定哪个块是这个链的开始,还有哪些块是与不是这个所述链的一部分。

金色财经数据报道 加密货币当前总市值为23904亿人民币:根据AICoin数据显示,目前加密货币总市值为23,904.622亿人民币。目前比特币市值为8970亿人民币,目前占整个加密货币市值的37.52%,24小时成交额为8.5亿人民币;以太坊当前市值为4385亿人民币,占整个加密货币市值的18.35%,24小时成交额为5.1亿人民币;瑞波币当前市值为1673亿人民币,占整个加密货币市值的7.00%,24小时成交额为8358万人民币。[2018/5/22]

在使用两种机制的条件下,eth2的目标是达成共识,除了在网络正常运行时,快速安全出块之外,要做到在受到攻击时也保持安全。

困境

FLP不可能原理是分布式计算领域的主要结论,它指出了在分布式系统中,除非对系统做出一些不合理的假设,否则不可能同时具有安全性,活跃性和完全异步性。

安全的理念是不能放弃的,而活跃性的概念可以从一些新的事情上获取。如果消息传递的时长没有限制,则协议是可以异步的。

金色财经独家分析 “如果区块链诞生在欧盟成立前”的猜想:试想如果区块链诞生在1990年代前,欧盟会是什么样子?日前来自欧盟的多条关于区块链的消息让笔者开始思考这样的问题,欧盟数据保护条例、区块链打击假新闻、欧洲议会五个方面监管数字货币等等举措,引人思考欧盟与区块链的内在联系。区块链是世界性的,欧盟也是打破国界的,其“促进和平,追求公民富裕生活,实现社会经济可持续发展,确保基本价值观,加强国际合作”的目标或许恰巧与区块链不谋而合,欧洲从经济到文化、等多方面的一体化,已经践行着区域经济一体化的构想。

如果区块链诞生在欧盟之前,也许这项技术可以从一开始就融入欧盟的框架中,那么:1、欧元也许已经成为欧洲唯一加密法币;2、各国经济数据将因区块链而变得更加透明从而货币政策的针对性更强,欧盟各国的经济协调将更为密切,因而经济差距也将缩小。如果欧盟曾经是一个区块链的世界,欧债危机可能会被更有效的预测或避免,欧盟各国经济差距的缩小或许不会有现在的英国脱欧。

虽然欧盟成立之初互联网才刚刚开始普及,欧元诞生之时互联网泡沫刚刚破裂,比特币进入人们视野的那几年欧盟几乎完成了扩张,一切都看似“年代错位”。猜想只是猜想,今时今日区块链技术背景下的欧洲却或许可借助区块链技术,再次巩固和振兴欧洲经济,虽然看似多中心化的理念与区域一体化稍显矛盾,但欧盟却有望将二者完美结合。[2018/5/14]

金色财经现场报道 经济学家左小蕾:名字是“币”不代表就是“货币”:金色财经现场报道,国务院参事室特约研究员、前银河证券首席经济学家左小蕾在区块链教育创新论坛“链接大脑——区块链教育机遇与展望”圆桌论坛上指出,加密货币正在挑战权威货币,加密货币实际上是没有标的衍生工具,一个交易工具。不是叫“币”就是“货币”,货币有诸多职能和国家信用背书,大规模的token实际上已经是在整个市场上“替代”国家货币。我们应该思考,不要中央银行信用担保而创造“货币”的同时,是否能保证不创造危机、通胀和虚拟资产过多的情况,如果没有解决这些问题,太多的“虚拟价值”将会影响实体经济。市场的公允价值是交易出来的,而加密货币是先创造出来的。要明确,国家的信用没人能够替代。[2018/4/21]

如果节点能够可靠地通信,始终诚实地遵守协议并且永不崩溃,那么达成共识很容易,但这不是世界正常的工作方式。如果这些假设不成立,则FLP不可能原理证明了必须打破以下至少一项:安全性,活跃性或完全异步性。

Ghost和对分叉的看法

Eth2使用 Greedy Heaviest Observed Subtree(GHOST)作为其分叉选择的规则。GHOST通过选择票数最高的分叉来选择链的开头(它通过考虑每个分叉块及其各自的子块的所有票来进行选择)。

每次有一个分叉时,GHOST都会选择一侧分叉链,在该侧上,更多最新消息支持该块的子树(即更多最新消息支持该块或其后的区块)。算法将执行此操作,直到找到没有子块的块为止。(也就是找到分叉最末的块然后确认谁是最长链)

与最长链规则相比,GHOST的优势在于降低了网络延迟高时的攻击效率,并最大程度地减少了链重组的深度。这是因为虽然攻击者可以在自己的链上有效地构建块,从而使其最长,但是GHOST会选择另一个分支,因为这一支分叉得到票数更多。

尤其是eth2使用了GHOST的一种变体,该变体适合称为最新消息驱动GHOST(LMD-GHOST)的PoS。

LMD-GHOST背后的想法是,在计算链的开头时,只考虑每个验证者的最新投票,而不考虑过去的任何投票。这大大减少了运行GHOST时所需的计算量,因为执行分叉选择所需考虑的分叉数量不能大于验证器的数量。

在GHOST的规则下,验证者/矿工始终可以尝试向区块链添加一个新块(活跃性),并且他们可以在链的历史的任何一点(异步)进行添加。由于它是实时的并且完全异步,因此感谢我们的朋友FLP,我们知道它并不安全。

安全性缺乏本身以重组形式出现,链可能突然在任意深度的分叉之间切换。显然这是不可取的,而eth1是让用户做出“矿工的区块与网络其余部分进行通信需要多长时间的假设”来处理,这采用了等待$ x $确认的形式。(笔者注:还是最长链规则,让更多矿工确认,但如果攻击者拥有大规模算力,就会成为最长链。)

相比之下,Eth2不做这样的假设。

一个友好的确认工具

没有安全概念的区块链是无用的,因为无法做出决定并且用户无法就链的状态达成共识。这就需要Casper the Friendly Finality Gadget(Casper FFG)。Casper FFG是一种在决策时偏重安全而不是活跃性的机制。这意味着尽管做出的决定是最终确认的,但在不安全的网络条件下,它可能无法做出任何决定。

FFG是经典的实用拜占庭容错(PBFT)对加密货币经济系统融合的改变,是阶段性的,在该阶段中节点首先表明他们想就某件事达成共识(理由),然后同意后看到彼此达成共识(完成)。

Eth2不会尝试证明并最终确定每个“插槽”(预计将产生一个块的时间),而是每隔32个“插槽”,总共32个称为epoch。首先,验证者签署证明他们同意一个时期中的所有32个区块。然后,如果$ \ geq \ frac {2} {3} $(笔者注:可以理解为代表验证者)这样做,则该块是合理的。在以后的epoch中,验证者有机会再次投票,表明他们已经看到了较早的正确epoch,如果$ \ geq \ frac {2} {3} $执行此操作,则epoch将最终确定,并永远成为eth2链的一部分。

FFG运用了巧妙的技巧。投票实际上包括两个子投票,一个用于正当合理的时期,另一个用于即将定稿的时期。这节省了节点之间的大量额外通信,并有助于实现扩展到数百万个验证器的目标。

穿着风衣的两个ghost

ETH2的共识依赖于两个LMD-GHOST ,这增加了新的模块。Casper FFG可以决定链从哪里开始,决定出块是不是链的一部分。GHOST的良好活跃特性允许将新的块快速有效地添加到链中,而FFG紧随其后,通过确定epoch来提供安全性。

根据FFG,通过从最后一个最终的块执行GHOST,合并这两个协议。通过这样的构建,最后确定的块始终是链的一部分,也意味着GHOST不需要考虑更早的块。

在正常情况下,当生成块并且$ \ geq \ frac {2} {3} $验证者对它们进行投票时,这些块将在FFG证明并最终确定后不久由GHOST添加到链的开头。

如果网络受到攻击和/或大量验证器下线,则GHOST会继续添加新块。但是,由于GHOST处于活跃状态,并不安全,所以它可能会改变对链方向的想法,这是因为不断向链中添加新块,意味着节点也将继续接受新信息。另一方面,FFG主张安全而不是活跃性,这意味着它将停止确认区块,直到网络稳定到可以让验证者完成一致投票为止。

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

地球链

[0:15ms0-0:854ms