Chain-based consensus
PoW
Nakamoto consensus
Also used in Parallel consensus
GHOST
PoS
See also: PoS: Economics
Cryptocurrencies without Proof of Work (2014)
Iddo Bentov, Ariel Gabizon (Technion) and Alex Mizrahi (chromaway.com)
FC'16 slide
The Sleepy Model of Consensus
Rafael Pass Elaine Shi (CornellTech/Cornell, IC3)
AsiaCrypto'17
Resilient assuming only that a majority of the online players are honest
Snow White: Robustly Reconfigurable Consensus and Applications to Provably Secure Proof of Stake
Phil Daian Rafael Pass Elaine Shi (CornellTech/Cornell)
FC'19
Earlier version: Snow White: Provably Secure Proofs of Stake by Iddo Bentov
Using sleepy consensus at its core
Money-does-not-switch-hands-too-quickly assumption (Section 3.1)
Not deposit-based
Adopt fruitchain to achieve incentive compatiblity (ε Nash equilibrium)(e.g. prevent long range attack)
Semi-adaptive security (corruptions with delay)
Penalize nothing at stake (i.e. players that sign multiple blocks with the same timestamp)
Ouroboros
See Ouroboros
The combinatorics of the longest-chain rule: Linear consistency for proof-of-stake blockchains
Erica Blum, Aggelos Kiayias, Cristopher Moore, Saad Quader, and Alexander Russell
SODA'20
Bitcoin guarantees consistency with error$ 2^{−k}by removing$ O(k)blocks
Improves the length of this suffix of Snow White and Ouroboros from$ \Theta (k^2)to$ \Theta (k)
Consistency in Proof-of-Stake Blockchains with Concurrent Honest Slot Leaders
Aggelos Kiayias, Saad Quader, and Alexander Russell
Improve the security threshold by reflecting for the first time the positive effect of rounds with concurrent honest leaders
In Ouroboros Praos and Genesis: the probability of a uniquely honest round exceeds that of the other two events (adversarial round and concurrent honest leaders round) combined
In Sleepy Consensus and Snow White: a uniquely honest round is more likely than an adversarial round
Improve The combinatorics of the longest-chain rule: Linear consistency for proof-of-stake blockchains
Number of confirmations
See in GHOST
"Nakamoto-PoS"
Proof-of-Stake Longest Chain Protocols Revisited
Xuechao Wang, Govinda Kamath, Vivek Bagaria, Sreeram Kannan, Sewoong Oh, David Tse, Pramod Viswanath
Revistting A Scalable Proof-of-Stake Blockchain in the Open Setting (or, How to Mimic Nakamoto’s Design via Proof-of-Stake)
Lei Fan (Shanghai Jiao Tong University) Hong-Sheng Zhou (Virginia Commonwealth University)
The latest version is not published
SBC'19 Video
Proof-of-Stake Longest Chain Protocols: Security vs Predictability
Vivek Bagaria, Amir Dembo, Sreeram Kannan, Sewoong Oh, David Tse, Pramod Viswanath, Xuechao Wang, Ofer Zeitouni
SBC'20
Nakamoto-PoS: update randomness every block (with VRF)
Comparison: Snow White and Ouroboros uses stabilized segment of the blockchain from a few epochs before for randomness
Asynchronous Safety
CBC Casper
See CBC Casper
Finality Gadget
Permissioned
Analysis of Deterministic Longest-Chain Protocols
Elaine Shi, CSF'19
A variant of Aura (Parity PoA chain)
Synchronous (lock-step), adaptive adversary
Common prefix: chop off blocks from the recent$ nrounds under$ n ≥ 3f + 1
Demonstrates that a vanila version of deterministic longest-chain protocols with round-robin cannot achieve $ f ≥ n/3
https://gyazo.com/40e8ae71eda9eddbbf13af9ae4192028
$ n = 9, f = 3
Related slide by Shi
Ouroboros-BFT: A Simple Byzantine Fault Tolerant Consensus Protocol
Aggelos Kiayias and Alexander Russell
Synchronous (lock-step)
Blocks in the main chain older than$ 3t + 1slots are considered finalized ($ tis the number of Byzantine nodes)
Optimistic fast confirmation
Argue that recoverbility from a network failiure (split or large delay)
Application: checkpointing of PoW blockchain
#PoS #Layer1