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

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

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

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

HyperPay钱包与DeFiBox达成深度战略合作:据官方消息,近日,HyperPay钱包与一站式DeFi资产管理及收益追踪平台DeFiBox达成深度战略合作,用户可直接通过HyperPay钱包查看多链DeFi项目投资情况,同时实时查看挖矿收益。双方将在社区生态建设及市场等方面展开更深层次合作。

HyperPay钱包成立于2017年,是一款集托管理财钱包、去中心化自管钱包、HyperMate硬件钱包和共管钱包于一体的多生态数字资产钱包,HyperPay可为用户提供资产存管、理财增值、消费支付等一站式服务。上线至今,HyperPay资管规模已超10亿美元,转账超3.1亿次。

DeFiBox是一站式DeFi资产管理和信息聚合平台, 其独具特色的资产看板模块可协助用户追踪多链DeFi项目收益,优化投资组合,目前已支持以太坊、Heco、BSC和OKEx Chain公链专区。[2021/4/15 20:23:32]

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

慢雾科技启富:慢雾将与 HyperPay 团队持续保持密切战略合作:11月6日消息,慢雾科技合伙人启富在做客《HyperPay焦点》栏目时提及:数字货币的安全问题一直是用户最关心的问题。HyperPay 作为一款钱包更是应该重视安全。数字资产钱包关联的私钥意味着数字资产的所有权,私钥的安全性直接决定数字资产的安全性。之前 HyperPay 钱包也全项通过了慢雾科技钱包安全审计,希望 HyperPay 继续保持高效安全,融合更多的功能打造出一款具有革命性和独创性的区块链钱包产品。慢雾希望与 HyperPay 团队持续保持密切战略合作,共同维护区块链生态安全。[2020/11/6 11:51:16]

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

库币将于10月14日18:00上线 Hyprr (UDOO):据库币KuCoin交易所消息,库币将于10月14日18:00上线Hyprr (UDOO)并支持UDOO/ETH交易服务。

Hyprr是一个去中心化的社交平台,支持长短形式的照片和视频分享,直播和实时消息的功能,Hyprr平台将由其代币uDoo驱动。

库币数字货币交易所,为来自207个国家的600万用户提供币币、法币、合约、矿池、借贷等一站式服务。[2020/10/13]

Vlad最早开始设计机制时,特别是希望Casper可以更强健地抵制寡头形成,并且抛弃掉一些其他算法的问题,比如传统拜占庭容错理论,在彻底改造BFT理论后,则出现了CorrectbyConstruction的方法,即CBC。

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

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

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

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

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

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

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

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

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

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

金宝趣谈

[0:15ms0-7:181ms