什么是Casper,权益证明和信标链

2019-01-21 11:00 栏目:经验之谈 来源: 查看()
最近,我阅读了另一篇关于以太坊2.0中使用的繁荣提案(Pos)机制的矛盾报告。我以为我明白接下来会发生什么,但随着每一篇新媒体的发布,随着Twitter和新闻文章的更新,我的信心逐渐减弱。我想如果我每周花大约50个小时阅读和写作像我这样的以太坊,我不知道接下来会发生什么,我不认为你们中的许多人都知道。

什么是Casper,权益证明和信标链

我听说Eth 2.0会带来“纯粹的股权证明”。我已经读过CasperFFG是在Serenity中实现的pos机制,但是VLADZamfir的CasperCBC是一个真正的纯粹证据。我已经读过CasperFFG只是每50个块或每100个块的最终小工具,用于POW系统上的块终止。

这到底是怎么回事?

有一些现有的,准确的文章,但在混乱中,似乎我们应该更加关注这些准确的文章。本文的重点是澄清以太坊2.0及其目前的规划,以及Casper CBC,Casper FFG,前叉选择规则,股权证书,信标链和以太坊2.0之间的关系。

复习课程:要理解本文,您需要理解术语:

以太坊2.0:网络的未来可扩展版本(又名ETH 2.0,也称为Serenity,也称为Shasper,也称为Casper Ethereum分区)。

信标链:以太坊正在从工作证书转向股权证书。这已成为明星,但物流和路线图随着时间的推移而发展。很久以前,人们曾设想在现有产业链中引入股权证书。然而,自2018年6月以来,该计划已证明在“信标链”中占有一席之地,以便更容易整合pos,碎片研究和推广。信标链将是一个股份链,并最终将分散,根植于现有的工作证书链。

Casper:以太坊版本的“不感兴趣”问题(证明股权和Casper研究的基础超出了本文的范围,但这里有一个简单的解释)。
Casper CBC和Casper FFG:Casper研究的两个竞争领域。

术语:术语是针对Sybil攻击的额外安全层。一旦块完成,它们就无法恢复,即使它们占网络攻击的51%。

分岔选择规则:矿工(PoW)/验证者(Pos)确定哪条链是规范链的机制。

首先,让我们消除Casper CBC上Caspers笔记的模糊性。

关于CasperCBC

CBC代表“建设性地正确”,并不是Casper,以太坊或区块链技术所独有的。相反,CBC是一种软件,硬件和固件工程方法。

CasperCBC是由VLADZamfir开创的研究领域,通常被描述为FFG的竞争终结者小工具(PoS系统)。严格来说,CasperCBC不是两件事。 Casper CBC是一系列共识协议和创建它们的技术。

有些版本的Casper CBC有望在一定程度上取代原有的ETH 2.0实施证券制度,但CBC研究仍然比实际更加抽象和理想化。 Buterin建议Casper CBC研究的某些方面可以在信标链中进行,但目前在信标链规范中没有CBC。

与Casper FFG的实际交易是什么?

事实上,Casper FFG被指定为Eth2.0。在8月的一则推特风暴中,Buterin表示,FFG是一个最终的保险范围,可以用于工作证明或利益证明协议(但是,如果这个澄清是在其他74条推文和他发布后的5个月内)它消失在左右时间)。 CasperFFG定期选择规范链并“结束”其中的块,以便它们无法恢复。

Casper FFG白皮书将Casper描述为一个涵盖现有区块提议机制的权证最终系统。白皮书指出,FFG是一种“部分共识机制,结合了股权证明研究和拜占庭容错共识理论”,但它只是更大的POS机制的一部分。 CasperFFG没有具体说明如何提议块,或者由谁,验证者如何选择构建竞争链,如何验证块或验证块。所有这些规范对于建立网络共识以确定规范链也是必要的。

Casper FFG是一种共识机制,因为它是网络决定未来哪些块将达成共识的手段。从这个意义上讲,Casper FFG是一种共识机制。然而,在当前的以太坊1.0链中,正如核心开发人员Danny Ryan在Lighthouse Gitter频道上所说的那样,“没有最终的概念。”他解释说:“在随后开采的每个区块中,我们都有更强的概率。块将保留在规范链中。这就是为什么交易所和其他用户依靠POW链的“确认”来实现某个块深度的原因,我们只是假设块在某个时刻它将无法恢复,我们基本上可以将其视为最终。从51%的攻击中可以看出,当你的协同攻击> 50%(通过哈希能力)时,这个概率就会终止。它会崩溃。结束Pos链的最酷的事情是坐标攻击无法恢复到最后一个块。此外,在某些类型的攻击中,我们可以让人们对他们的不良行为负责并抨击他们。“

以太坊2.0的公平证明和其他共识机制

信标链从一开始就是一个全新的,“纯粹的”股权链证明(尽管分拆将在稍后出现)。这不是有时混合桩的工作/证据,因为白皮书指出第一个FFG的实施将是POW块的终结。然而,信标链的唯一证据是它植根于现有的以太坊1.0链。这在信标链规范中得到证明。对信标链Pos的警告是信标链将分阶段发展,尽管它总是证明公平,但在前两个阶段,数据传输将是不可能的。目前还没有虚拟机,也没有EDCC(即智能合约)。在第二阶段(从阶段0开始)引入eWASM之前,仍然需要POW链来处理数据事务。换句话说,信标链的第一阶段只会有助于构建系统,这对最终用户来说基本上是无用的。但是,这仍然是100%的股权证明。

短信标链权益证书的概述

股权证明如何在信标链上运作的细节是复杂和分层的,但我可以解释一些最明显的概念。如上所述,必须有机制来确定如何制作块,谁将申请,谁将验证申请人的要求,如何选择这些验证者,以及申请人如何知道应该基于哪些块。

阻止申请人

如您所知,公平证明使用验证器来创建块,而不是矿工。为了成为验证者,个人或实体将32个醚存入Casper EDCC(或智能合约)。完成后,此人将在信标链上注册为证明者,并开始积累利息作为参与奖励。如果验证者随后违反某些规则(称为裁剪条件),其部分存款将被削减。如果验证者的存款降至16左右,则将其从系统中逐出。

在信标链的规范中,有两种类型的验证器(尽管所有验证器都充当两者):提议者(提出块的人)和测试者(对块的有效性进行投票的人)。使用称为RANDAO + VDF的机制作为块申请者,每6秒随机选择一个验证者。申请人选择之间的六秒钟称为一个时段。在每个时隙中,一个申请人申请包含关于当前和先前块的一些信息的块,以及用于证明其RANDAO + VDF定义的权限以应用于块的签名。

块有效性测试器

区块有效性测试器根据以太坊2.0的股权系统证明,测试人员(投票支持整体效率的人)组成了一个由111到128名个人测试人员组成的委员会。通过这种方式,并非每个测试人员都需要验证每个块的效率和可扩展性。作为委员会的一部分,信标链第0阶段的Gizub规范指定测试人员“在信标链上签名,同时创建与特定片段链上最近的片段块的链接(交联)。”测试者可以继续对该块进行投票(每个验证器一个),直到通过预先指定的时隙数。这组预定义时隙称为时间点,当前定义为6.4分钟(或64小时)。间隙)。在每个时代结束时,核查员被洗牌以建立一个新的委员会。

叉选择规则

正如我之前所说,验证器需要一种方法来知道要构建哪些块。可能存在从单个块发芽的两条链,因此需要具有确定规范链的机制。现有的POW链具有fork选择规则(最长的链获胜),并且信标链(及其片段链)将具有新的选择规则。信标链的分叉选择规则称为LMD GHOST。结合Casper FFG,LMD GHOST指定要创建的块头和前一块的最终确定。 (在当前规范中,块的最终性在两个时间点之前实现。)

使用LMD GHOST,通过考虑在给定链上创建的最新验证器签名块并将其与竞争链上最近的验证器签名块进行比较来确定规范链。委员会证明某个区块和区块的后代都有一定的比例。

使用LMD GHOST,最近验证者批准块最重的链获胜。通常这也是最长的链,但不一定,如果两个块都来自同一个父块,则两个块的认证将给出它们的父块权重,最终产生较低的槽高块率。具有较高槽高而没有多个叔叔的块具有更多支持它的投票。正如VitalikButerin在去年12月的一篇博文中指出的那样,“最长的连锁规则无法捕捉到这种细微差别。”

展望

本文概述了以太坊信标链的大部分计划,很少关注分段或跨片段通信的物流。这主要是由于阶段0之后信标链扩展规范的不完整状态,这不允许分段。在下一个大时代之前,我们有时间考虑它。

微信二维码
售前客服二维码

文章均源于网络收集编辑侵删

提示:仅接受技术开发咨询!

郑重申明:资讯文章为网络收集整理,官方公告以外的资讯内容与本站无关!
NFT开发,NFT交易所开发,DAPP开发 Keywords: NFT开发 NFT交易所开发 DAPP开发