论文标题
结合幽灵和卡斯珀
Combining GHOST and Casper
论文作者
论文摘要
我们提出了“ Gasper”，这是一种基于验证的共识协议，它是拟议的以太坊2.0信标链的理想化版本。该协议将Casper FFG（一种最终的工具）与LMD Ghost（叉选择规则）结合在一起。在不同的假设集中，我们证明了安全，合理的livesice和概率的遗传。
We present "Gasper," a proof-of-stake-based consensus protocol, which is an idealized version of the proposed Ethereum 2.0 beacon chain. The protocol combines Casper FFG, a finality tool, with LMD GHOST, a fork-choice rule. We prove safety, plausible liveness, and probabilistic liveness under different sets of assumptions.
