金色观察|为Casper FFG延长验证epoch区间

以太坊明年就要完成难度炸弹了,这意味着会彻底实施权益证明,不过目前在共识算法细节上仍然在进行讨论研究。

在11月19日,Vitalik在研究者论坛里提到了一个建议,是关于Casper FFG的,其主要内容我们节选如下:

在Casper FFG保证安全性和活性不变的情况下,允许增加连续epoch之间验证区间来适应延迟。例如,如果epoch 100、101未能证明是正确的,则链可以尝试证明 epoch 102、104、108 的合理性,增加了验证区间,这样两个连续尝试的 epoch 仍然可以成功验证,以便在多个epoch 延迟的情况下也可以为我们提供最终结果。

这个调整是需要对Casper FFG的共识算法中的验证部分进行修改的。目前还未见讨论成果。为了弄明白为什么提及这个部分的设计,我们尝试用下文理解Vitalik这次的建议。

数据:以太坊网络当前已销毁360692.35枚ETH:金色财经报道,据Ultrasound数据显示,截止目前,以太坊网络总共销毁360692.35枚ETH。其中以OpenSea开头地址销毁973.01枚ETH,Uniswap V2销毁396.28枚,ETH transfers销毁580.32枚ETH。注:自以太坊伦敦升级引入EIP-1559后,以太坊网络会根据交易需求和区块大小动态调整每笔交易的BaseFee,而这部分的费用将直接燃烧销毁。[2021/9/25 17:05:21]

Casper FFG和Casper FFG CBC是以太坊对权益证明的共识算法研究的两个思路,其对拜占庭容错等算法进行了修订和再研,因此是核心算法问题,应该说这是以太坊最明确的未来以及最核心的技术讨论,其主要的思路是在解决共识算法中的确认问题。

Vlad最早开始设计机制时,特别是希望Casper可以更强健地抵制寡头形成,并且抛弃掉一些其他算法的问题,比如传统拜占庭容错理论(尤其拥有硬上限,比如实用拜占庭容错算法PBFT和Tendermint中的2/3),在彻底改造BFT理论后,则出现了Correct by Construction的方法,即CBC。

而因为CBC对于算法中的验证的设定更复杂,在CBC里定义了一系列规则(罚没条件)来确定什么时候区块会敲定确认,并证实关键的“安全性”和“合理活性(Plausible Liveness)。

不过以太坊最终把罚没条件从4条简化为2条,就得到了 Casper FFG(Friendly Finality Gadget),它被设计为可以覆盖在任何PoW或PoS或其它类型的区块上,用于增加确定性保证。

2017年12月31日Casper FFG在以太坊的Python测试网上测试,不过后来进展缓慢。

2018年6月,以太坊做了一个决定:彻底放弃“用合约实现混合Casper FFG”,追求完全 Casper独立链,改变这个设计让整合分片变得更加容易,也就是会直接在2.0上应用。

不过Casper FFG(以及CBC)都要求,在每一个“轮次epoch”有完整的验证者集来投票敲定区块,意味着每秒钟都会有数以千计的签名要通过网络发送。即使有BLS 签名聚合方案,在几秒内完成“100 个确认”安全性也是很难的。

其需要拥有一个强大的链上随机数源来公正地选出提议者,不过链上随机性也是难以实现的,所以最终使用了可验证延迟函数(Verifiable Delay Function,VDF)进行了验证计算,消除了提前操纵的可能。

此时,Vitalik还将Casper FFG的实现确定性的时间从 2.5 个轮次减少到理论上最优的 2 个轮次。

尽管有可验证延迟函数的进展,但网络延迟的假设还是必要的,这是有效发现攻击的需求,也就因此会出现延长epoch验证区间的思路。

期待在权益证明正式上线时的Casper FFG和CBC。

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

链杂谈

币安app下载继DeFi和NFT之后 加密世界的下一个热点:DAO

加密世界先后经历了 DeFi 和 NFT 这两波浪潮之后,DAO 的时代开始来临。 我想对正在看这篇文章的大家说,DAO 现在还处于十分初期的阶段。我相信现有的 169 个 DAO 项目 (由 DeepDAO 提供数据) 只是未来加密货币新篇章 DAO 海洋中的一滴水。

XRP什么是元宇宙?以及你为什么要关注它

科技企业和投资人士纷纷加入,元宇宙相关概念受到资本市场热捧,一批大型企业纷纷宣布布局元宇宙市场……近来,元宇宙成为科技和资本领域的热点话题。什么是元宇宙?为何要关注它?记者采访了相关企业和专家,一起来解码元宇宙。 什么是元宇宙? 元宇宙始于1992年国外科幻作品《雪崩》里提到的“Metaverse(元宇宙)”和“Avatar(化身)”这两个概念。

ETH以“区块链”名义实施 16人获刑

47名受害人被616.12余万元,11月15日,淮安市洪泽区法院依法公开宣判了李某等16人以“区块链”“虚拟货币”名义实施的案。李某等16人犯罪分别被判处有期徒刑十一年至三年不等刑罚,并处合计罚金202万元,退赔被害人经济损失人民币616.1231万元,追缴未退出的违法所得15.32万元。

[0:0ms0-0:484ms