友好的终结工具 Casper(“FFG”) - 又名“Vitalik\'s Casper” - 是一种混合 PoW / PoS 的共识机制,它是以太坊首个通向 PoS 权益证明的候选方法。更具体地说,FFG 在工作量证明(如以太的 ethash PoW 链)的基础上,实施了权益证明。简单地说,块链将用熟悉的 ethash PoW 算法增加区块,但是每50个块有一个 PoS “检查点”,通过网络验证人来评估区块的最终有效性。
鬼马小精灵 Casper(其名字源于上世纪90年代的一部电影《鬼马小精灵》) :使用正确的建设(“CBC”) - 又称“Vlad\'s Casper” - 与传统协议设计的方式不同:(1)协议在开始阶段是部分确定的(2)其余部分协议以证明能够满足所需/必需属性的方式得到(通常协议被完全定义,然后被测试以满足所述属性)。在这种情况下,得出完整协议的一种方法是实现所预计的安全性 (一个理想的对手) ,或者提出合理估计的错误的例外,或列举潜在的未来错误估计。更具体地说,Vlad 的工作侧重于设计协议,扩展单个节点对安全性估计的局限视角,以实现共识安全性。
退后一步,FFG更侧重于通过多步骤过渡为以太网络引入 PoS。通过准备的迭代实现,增加 PoS 在网络中的作用。(PoS 将从较小部分的奖励开始)。相比之下,CBC 着重于通过第一个原则“通过建设”得出安全证明的正式方法。尽管令人困惑,解决这个问题的不同方法创造了两个不同的工程。Casper 的最终形式可能来自对 FFG 和 CBC 的互相学习。
下一步虽然取得了实质性进展,但是在高层的机制设计层面和底层编程实现层面的许多细节仍有待确定。维塔利克和弗拉德都公开承认了这一点,并且邀请更多的社区参与推动和讨论。 总而言之,这两个研究项目都非常活跃,11月份 Devcon3 将有更多的更新。此概述的作用不包括更详细的内容,但请随时在以下链接中深入了解更多实施和设计细节( FFG 和 CBC 论文发布后,本文档可能会更新或后续)。
FFG的相关链接FFG基础教材 by Vitalik Buterin and Virgil Griffith (Draft)
Casper Github Repo (FFG)
Karl Floersch’s FFG Implementation on pyethereum
进一步阅读 FFG在Reddit上的简单解释 by Vitalik Buterin. August 2017.
最小削减条件 by Vitalik Buterin. March 2017.
动态验证组的安全性 by Vitalik Buterin. March 2017.
Slasher by Vitalik Buterin. January 2014.
Weak Subjectivity by Vitalik Buterin. November 2014.
On Settlement Finality by Vitalik Buterin. May 2016.
三角形的危害 by Vitalik Buterin. July 2017.
Casper经济激励概述 by Karl Floersch. Sept 2017.
另一个Casper的形式化方法 by Yoichi Hirai.
Github. ethereum/casper.
CBC 的相关链接将在Devcon3之后更新
进一步阅读CBCCasper CBC CESC deck and video by Vlad Zamfir. September 2017.
Casper CBC EDCON deck by Vlad Zamfir. (Video part 1, part 2) February 2017.
Devcon2 CBC Casper Deck and video by Vlad Zamfir. October 2016.
2016.12.06 History of Casper: Chapter 1by Vlad Zamfir — How Vlad started working on Ethereum and PoS. Slasher and deposits (Mar 2013 — Sep 2014)
2016.12.07 History of Casper: Chapter 2by Vlad Zamfir — Nothing-at-stake. Bribing attack. Long range attack. Game theory and security research. (Fall 2014)
2016.12.11 History of Casper: Chapter 3 by Vlad Zamfir — Finality. Synchronicity Assumptions. Slashing Conditions. Tendermint. (Sep ’14 — Dec ’14)
2016.12.12 History of Casper: Chapter 4 by Vlad Zamfir — Cooperative Game Theory. Oligopolies. How Casper is different than other PoS consensus designs. (Dec’14 — Jan ’15)
2016.12.30 History of Casper: Chapter 5 by Vlad Zamfir — Censorship. Defining decentralization. Availability vs Consistency. Friendly GHOST (Feb ’15 — March ’15)
Casper 系列历史继续...
为什么Casper重要现在我们解码了这个神秘的 Casper 项目。让我们综合一下我们对 PoS 和 Casper, 来理解 Casper 的重要性。
简单来说:
去中心化(PoS)
能效(PoS)
明确的经济安全(PoS)
以太坊的扩展性
从 PoW 温和过渡
PoS 方面的原因前三点在“权益证明”部分中介绍过。不过值得一提的是,以太价格在280亿美元上下时,它是第二大的数字货币,约占总市值的18%。因此,任何增量的去中心化和能源效益的提高都可能产生不平凡的影响,并对未来产生非常重要的影响。
作为回顾,