我们的目标是为权益证明区块链创建一个共识协议。本文的动机是构建以太坊分片设计中的“信标链”。然而，该构建也可以用于没有分片的单独区块链。
我们提出了 Gasper，它是 Casper FFG（the Friendly Finality Gadget）和 LMD GHOST（(Latest Message Driven Greediest Heaviest Observed SubTree）的结合。Casper FFG 是一个“最终性小工具”，它是⼀种将区块链中的某些区块标记为最终确定（finalized）的算法，以便拥有部分信息的参与者仍然可以完全确信这些区块是规范区块链的⼀部分。Casper 不是⼀种完全指定的协议，它被设计为在提供的区块链协议之上运⾏的“⼩⼯具”，与提供的链是⼯作量证明还是权益证明⽆关。LMD GHOST 是⼀种分叉选择规则（fork-choice rule），其中 验证者（参与者）证明 区块以表⽰对这些区块的⽀持，就像投票一样。Gasper 是⼀个完整的权益证明协议，它是提议的以太坊实现的理想化抽象。
在第 2 和第 3 节中，我们定义了我们的原语，提供了背景知识并陈述了我们的⽬标。在第 4 节中，我们给出了主要协议 Gasper。在第 5、6 和 7 节中，我们正式证明了 Gasper 的期望特性。在第 8 节中，我们总结了 Gasper 与实际计划的以太坊实现之间的⼀些差异，例如接受证明的延迟、延迟最终确定和动态验证者集。我们在第 9 节中总结了⼀些未来研究的想法和思考