以太坊明年就要完成难度炸弹了，这意味着会彻底实施权益证明，不过目前在共识算法细节上仍然在进行讨论研究。
在11月19日，Vitalik在研究者论坛里提到了一个建议，是关于Casper?FFG的，其主要内容我们节选如下：
在CasperFFG保证安全性和活性不变的情况下，允许增加连续epoch之间验证区间来适应延迟。例如，如果epoch100、101未能证明是正确的，则链可以尝试证明epoch102、104、108的合理性，增加了验证区间，这样两个连续尝试的epoch仍然可以成功验证，以便在多个epoch延迟的情况下也可以为我们提供最终结果。
金色晚报 | 11月29日晚间重要动态一览:12:00-21:00关键词：蜜雪冰城、景顺Invesco、WisdomTree、元宇宙商标
1. 蜜雪冰城申请多个元宇宙商标；
2. 印度财政部长：没有承认比特币作为货币的提议；
3. 景顺Invesco推出现货支持的比特币ETP；
4. 上海市人大常委会：支持浦东新区创新融合区块链等技术；
5. 资管公司WisdomTree已在欧洲推出了三只加密货币ETP；
6. 云银行初创公司Thought Machine完成2亿美元融资，Nyca Partners领投；
7. 集邦咨询：工业元宇宙将催动全球智能制造市场规模至2025年达5400亿美元。[2021/11/29 12:39:29]
这个调整是需要对Casper?FFG的共识算法中的验证部分进行修改的。目前还未见讨论成果。为了弄明白为什么提及这个部分的设计，我们尝试用下文理解Vitalik这次的建议。
金色相对论 | 陈军：当前要做的是顺应环境 做好无币区块链的应用研究和实践:本期金色相对论中，对于无币区块链与区块链的本质背道而驰问题，杭州量子大学区块链研究院联合执行院长陈军表示，说背道而驰有点过，说未能物尽其用比较符合，前提是我们理解的区块链是完整的还是不完整的，关键区别就是要不要“去中心”这个属性。如果认为只有去中心才是区块链，那就得把没有去中心化的区块链技术应用重新起个名字。如果可以不要，只用其他属性也算区块链，那就可以接受无币区块链，也就是联盟链、私有链，这样的应用会比较容易实现，但是也必须接受没有去中心属性的区块链和有去中心属性的区块链，在颠覆性、创新性以及对社会进步的推动性方面是有巨大差距的。
我的观点是不必纠结是什么的问题，时间会给我们答案，应该顺势而为，这个阶段要努力做好无币区块链的应用研究和实践。我认为当前B端（企业）和G端（政府）是区块链应用的主要市场，先不要考虑C端的产品。无币区块链是可以有所作为的，甚至可能是真正的主流。[2018/9/29]
CasperFFG和CasperFFGCBC是以太坊对权益证明的共识算法研究的两个思路，其对拜占庭容错等算法进行了修订和再研，因此是核心算法问题，应该说这是以太坊最明确的未来以及最核心的技术讨论，其主要的思路是在解决共识算法中的确认问题。
金色相对论 | 黄连金 ：联盟链和公链需要代币作为激励提高交易后的清算和结算的效率:本期金色相对论中，对于无币区块链和有币区块链各自的优势及各自应用场景，核聚链创始人、NULS 技术顾问黄连金表示，一般纯粹进行区块链底层技术的研究，没有涉及具体应用场景，可能不需要币。一个公司内部的私有链可能也不需要币来做区块链。但是很多无币区块链的应用场景应该可以用传统的分布式数据库技术就能够解决。大部分联盟链和公链的应用场景都是需要一个激励机制把利益的不同方或者社区凝聚在一起，需要一种原生的代币或者通证来提高交易后的清算和结算的效率，并且需要通证经济模型来支撑区块链应用场景的生态系统。
有人说联盟链不需要币，其实大部分联盟链的项目没有激励机制，没有通证就是一盘散沙。在联盟链里引进代币或者通证，其好处是在联盟链的去中心化或者多中心化的生态系统引进代币或者通证等于引进了一个基本的清算和结算和流通的机制。 这个可以很大程度减少流通和结算成本。比如开发者可以获得代币为联盟链的底层做开发，联盟链系统上的服务提供商可以接送代币作为报酬，服务消费者可以用代币来消费。一个没有代币的联盟链就缺乏原生的清算结算和流通的单位，整个生态系统的构成会比较困难。[2018/9/29]
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。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。