-
Analysis of the XRP Ledger Consensus Protocol
The XRP Ledger Consensus Protocol is a previously developed consensus pr...
02/20/2018 ∙ by Brad Chase, et al. ∙
0
∙
share
read it
-
Incentives in Ethereum's Hybrid Casper Protocol
We present an overview of hybrid Casper the Friendly Finality Gadget (FF...
03/11/2019 ∙ by Vitalik Buterin, et al. ∙
0
∙
share
read it
-
ProPoS: A Probabilistic Proof-of-Stake Protocol
We present ProPoS, a Proof-of-Stake protocol dedicated, but not limited,...
06/02/2020 ∙ by Daniel Reijsbergen, et al. ∙
0
∙
share
read it
-
Fast-HotStuff: A Fast and Resilient HotStuff Protocol
The HotStuff protocol is a recent breakthrough inByzantine Fault Toleran...
10/22/2020 ∙ by Mohammad M. Jalalzai, et al. ∙
0
∙
share
read it
-
Armiarma: Ethereum2 Network Monitoring Tool
Achieving the equilibrium between scalability, sustainability and securi...
12/29/2020 ∙ by Mikel Cortes-Goicoechea, et al. ∙
0
∙
share
read it
-
Model Checking Bitcoin and other Proof-of-Work Consensus Protocols
The Bitcoin Backbone Protocol [GKL15] is an abstraction of the bitcoin p...
07/16/2020 ∙ by Max DiGiacomo-Castillo, et al. ∙
0
∙
share
read it
-
Validator election in nominated proof-of-stake
Polkadot is a decentralized blockchain platform to be launched in 2020. ...
04/27/2020 ∙ by Alfonso Cevallos, et al. ∙
0
∙
share
read it
Combining GHOST and Casper
03/06/2020 ∙ by Vitalik Buterin, et al. ∙
0
∙
share
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.