Combining GHOST and Casper

Buterin Vitalik, Hernandez Diego, Kamphefner Thor,Pham Khiem, Qiao Zhi, Ryan Danny, Sin Juhyeok, Wang Ying,Zhang Yan X

arxiv（2020）

引用 2|浏览16

暂无评分

摘要

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.

查看译文

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要