REVIEW 4 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
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.
Forward citations
Cited by 4 Pith papers
-
From Permissioned to Proof-of-Stake Consensus
A generic compiler transforms any permissioned consensus protocol into a proof-of-stake permissionless protocol with the same fault tolerance, plus accountability.
-
Duet: Co-Optimizing P2P Message Propagation and Rotating-Leader Consensus
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...
-
$\mathsf{CRATE}$: Cross-Rollup Atomic Transaction Execution
CRATE is a trust-minimized protocol for atomic, serializable cross-rollup transactions on distinct L1 chains, with formal models, security proofs, and an implementation.
-
A declarative approach to specifying distributed algorithms using three-valued modal logic
Coalition Logic is a new three-valued modal fixed-point logic that specifies Paxos as a logical theory and derives its standard correctness properties.
Discussion (0). Continue with ORCID to comment.