Pith. sign in

REVIEW 2 cited by

Combining GHOST and Casper

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2003.03052 v3 pith:W6G35DFI submitted 2020-03-06 cs.CR

classification cs.CR
keywords casperghostlivenessprotocolassumptionsbeaconchaincombines
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

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.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. From Permissioned to Proof-of-Stake Consensus

    cs.CR 2025-06 conditional novelty 8.0 of 10

    A generic compiler transforms any permissioned consensus protocol into a proof-of-stake permissionless protocol with the same fault tolerance, plus accountability.

  2. Duet: Co-Optimizing P2P Message Propagation and Rotating-Leader Consensus

    cs.DC 2026-07 conditional novelty 6.0 of 10

    Recorded network geography lets Duet rotate proposers in latency order and broadcast blocks over latency-aware trees with a gossip fallback driven by consensus votes, yielding up to 7.26× peak throughput over gossip o...

Pith tools