SPE:金色观察｜为Casper FFG延长验证epoch区间

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

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

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

金色午报 | 11月22日午间重要动态一览:7:00-12:00关键词：ETH、杨安泽、丝绸之路

1.VanEck：比特币的波动性低于29％标普500股票；

2.ETH一度突破560美元关口 创近两年新高；

3.前总统竞选代币“MATH”发行者杨安泽或担任美商务部部长；

4.ETH、XRP、LTC和LINK本周飙涨，甚至超过比特币的涨势；

5.Celsius Network CEO：比特币价格到2021年将达到3万美元；

6.Coinfirm：美国司法部没收丝绸之路相关资产遗漏了数百万美元代币。[2020/11/22 21:40:06]

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

BiKi与金色财经联合出品“交易公开课”首期已开课:“交易公开课”首期课程于今日在线上开课，首期课程为《数字合约入门-新手进阶必修课》，由卡卡时评社区大V丹布朗·卡卡授课，本次课程 数字合约入门-新手进阶必修课:共分为5部分，分别是1. 合约的定义，2. 合约的种类，3. 合约的一些术语介绍，4. 新手合约注意事项，5. Q&A（自由问答）。讲师丹布朗·卡卡，BiKi交易学院首席金牌教学顾问、BiKi金牌经纪人、币世界大V、缠论爱好者、币圈知名机构投资顾问。

BiKi永续合约现已开放BTC、ETH永续合约交易，即将开放EOS、XRP、LTC永续合约交易。[2020/3/4]

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

金色财经独家现场报道 火币Pro高级总监吴兴：火币十大安全保障:金色财经独家现场报道，在火币Pro举办的越南Blockchain Festival千人大会上，火币Pro高级总监吴兴就“新时代建立信任的用户保护演变”进行了演讲，她认为：交易所为区块链铺平了道路，安全是大事，不仅仅是交易所，行业上下游都会遇到安全问题。对于火币来说，有多重安全保障。第一、火币有安全漏洞测试、渗透测试和定期通过专业第三方的全面测试。第二，保护用户财产，火币多重验证和人工审查，手动处理大额限制的金额；第三，钱包安全，其98%第数字资产放在冷钱包里；第四，良好的内部控制管理；第五，全时间安全团队，有实时响应的安全团队；第六，智能链评估模型，第七，提供不同水平的投资者教育，第八，最重要的一点是用户保护基金，火币每个季度20%的收入会用于回购火币，第九，火币自己拥有20000BTC会被用于处理极端安全情况，第十，全球火币团队提供支持，包括火币矿池、一级市场、二级市场、火币钱包。[2018/5/25]

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。

标签：ASPCasperSPECASASP价格casper币最新消息Ghospers GameTCASH Token

ADA热门资讯