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

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

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

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

金色晨讯 | 6月7日隔夜重要动态一览:21:00-7:00关键词：灰度、人才、矿工、需求

1. 灰度管理资产总额再创新高达到40亿美元,超过35亿美元存放在其旗舰基金比特币信托中；

2. 光明日报：今年区块链相关投资规模将达到上百亿元 区块链人才需求迫切；

3. Brave浏览器的加密交易所相关搜索结果跳转至返佣邀请链接；

4. 46％的人或将停用Coinbase帐户；

5. 今年大企业区块链人才的需求占比有所上涨；

6. 本周矿工开采的比特币数量已超过出售的比特币数量；[2020/6/7]

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

金色财经独家现场报道 区块链早期投资各有特点 :金色财经独家现场报道，在火币Pro举办的Blockchain Festival千人大会上，与会嘉宾就“加快早期项目的发展”话题展开圆桌讨论。

NodeCapital投资经理郭勇认为，区块链项目短期内死掉的概率比较高，即使是在传统风险投资中，这种威胁也很高，很多项目在两年内无法生存。但也意味着市场正在快速学习，因为有新事物出现，采用新的技术和商业模式，速度很重要；

Kenetic 咨询负责人John Fiorelli认为：很多公司都在尝试做有竞争力的事情，但他们不一定做的好，我认为最成功的项目是那些非常擅长他们所从事的项目，因此可以和其他项目形成极好的合作伙伴的关系，从而实现其他目标；

LongHash首席执行官Emma Cu认为，很多项目筹集了上千万美元，因为它可能在我们看到产品本身之前就成功了，所以为认为必须拓展视野，看看项目是否成功的更久，也许有的项目已经筹集了大量资金，但这个项目能够在一年或者两年之后交付就是不同的故事。[2018/5/24]

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

金色财经现场报道 量子比特币创始人张建国：区块链应用较为成熟的领域为跨境支付:金色财经现场报道，在4月3日举办的2018年世界区块链峰会现场，量子比特币创始人张建国表示：“区块链应用目前比较成熟的就是我们的跨境支付，还有我们的金融，这两个领域。另外就是包括后期的物联网、人工智能，这些领域可能结合区块链技术，得到首先的落地应用。后期可能随着我们相应的区块链的一些底层的技术的开发和成熟，达到商用的价值的时候，那么在这个基础上，我们会有更多的分布式的应用，我们叫做DAPP，那这样的话，有底层技术的支持，可能会做出更多的DAPP的商用的一些区块链的产品，投放到市场，转化成商业价值，服务于大众，它是这么样的一个过程。”[2018/4/3]

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。

来源：金色财经

标签：SPECASCasperASPSPEED币JCASH价格CasperLabsBKASPA价格

UNI热门资讯