-
Analysis of the XRP Ledger Consensus Protocol
The XRP Ledger Consensus Protocol is a previously developed consensus pr...
read it
-
Incentives in Ethereum's Hybrid Casper Protocol
We present an overview of hybrid Casper the Friendly Finality Gadget (FF...
read it
-
ProPoS: A Probabilistic Proof-of-Stake Protocol
We present ProPoS, a Proof-of-Stake protocol dedicated, but not limited,...
read it
-
Fast-HotStuff: A Fast and Resilient HotStuff Protocol
The HotStuff protocol is a recent breakthrough inByzantine Fault Toleran...
read it
-
Armiarma: Ethereum2 Network Monitoring Tool
Achieving the equilibrium between scalability, sustainability and securi...
read it
-
Model Checking Bitcoin and other Proof-of-Work Consensus Protocols
The Bitcoin Backbone Protocol [GKL15] is an abstraction of the bitcoin p...
read it
-
Validator election in nominated proof-of-stake
Polkadot is a decentralized blockchain platform to be launched in 2020. ...
read it
Combining GHOST and Casper
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.
READ FULL TEXT
Comments
There are no comments yet.