引介 | 形式化验证 Gasper 共识机制的终局性
探究信标链的核心
探究信标链的核心
本文将首先对 Eth2.0 信标链中所用的 Casper FFG 实现作出扼要的描述，然后讨论信标链的分叉选择规则及其它有关区块链活性的因素。
本篇文章旨在描述基本的 FFG 机制，并证明它能提供上述两种保障。
本文将要用一系列的推文来解释以太坊 Casper 共识协定的研究历史/脉络/进展，包括 FFG vs CBC 的争论、混合模型到完全 PoS 的转换、随机性扮演的角色、共识机制的设计考量以及其他议题。
Casper FFG 如何运作？以太坊 2.0 如何整合 Casper FFG？
本文所讲的内容是与 Casper FFG 相关的投票，关键概念是 justification 和 finalization。
这篇文章的主要内容是介绍一种让以太坊 1.0 和 2.0 链双向耦合的方案，让信标链为 1.0 链提供最终确定性。熟悉 FFG 的读者可以从中看出 FFG 的深深的影子。
本文为 Kobe van Reppelen 组织的 EthTrader Communiity 视频采访翻译稿，采访对象是 Vitalik。本译文只节选了与验证者和质押罚没措施相关的问题。
CBC 协议背后最基础的设计理念在于，首先构建一个非常抽象但足够灵活的框架，并证明该框架能保证实现某些重要性质。然后，我们在此基础上逐步加强框架的定义，并自然而然地继承构建过程中已完成的所有理论证明和保证
我所在者即是道路，我所为者即是前方。