CBC Casper
Papers/Specs
Original works by Vlad Zamfir et al.
Casper the Friendly Ghost (2017)
A Template for Correct-by-Construction Consensus Protocols (2017)
Introducing the “Minimal CBC Casper” Family of Consensus Protocols (2018)
Formal Verification
See also: Casper CBC: Formal verification
Refinement and Verification of CBC Casper (2019.4, CVC'19)
Medium
LayerX
Formalizing Correct-By-Construction Casper (2019.10)
Runtime Verification
CBC Casper for Eth2's beacon chain
Spec by Vitalik

CasperLabs
The CasperLabs Highway Protocol (2019.10)
Technical Speficiation
Yongge Wang (UNC Charlotte)
Another Look at CBC Casper Consensus Protocol (2020.3) (withdrawn)
Deterministic Blockchain BFT Protocol XP for Complete Asynchronous Networks (2020.5)
Presentation
EDCON Toronto Slide 2018.5 (no talk for the whole slides)
Previous version: RChain Dev Conference
ETHCC2018 Slide Video 2018.5 by Vlad
DEVCON 4 by Vlad Video 2018.10
CBC Casper and Serenity by Vitalik
ETHCC 2019 Sharding in CBC by Vlad Video, 2019.3
ETHCC 2019 Safety & Liveness in CBC Casper by Aditya
CryptoValleyConference Refinement and Verification of CBC Casper by nrryuya.icon, 2019.6
DEVCON 5 The CBC Casper Roadmap by Vlad, 2019.10
ETHCC 2020 Liveness in CBC Casper by Vlad, 2020.3
Article/Tutorials
Casper CBC simplified by Aditya
Partially explained Casper CBC 1 by Barnabé
Partially explained Casper CBC 2 by Barnabé
Peer review by muneeb
Vlad's responses: Tweet Tweet
Vitalik's tutorial of CBC Casper
ethereum/cbc-casper wiki
hackingresear.ch
CBC Casper: an introduction to consensus and finality
The Inspector: An efficient finality test for CBC Casper
Safety of CBC Casper consensus
Implementations
PoC
ethereum/cbc-casper
TrueLevelSA/cbc-casper-msg
sigp/cbc-casper-js
LayerX's CBC Casper Simulator
EDCON 2019 Hackathon
Simulator
Visualizer
Refactoring is in-progress at LayerXcom/cbc-casper-simulator
Clients
CasperLabs/CasperLabs
rchain/rchain
Others
CBC Casper: Sharding
CBC Casper: implementation resources
History
Introducing Casper “the Friendly Ghost” 2015.8 in EF Blog
Understanding Serenity, Part 2: Casper 2015.12 in EF Blog
"consensus-by-bet" "by-block consensus"
Casper the friendly ghost”Correct-by-construction consensus safety 2017.2 @EDCON1
The History of Casper: Part 1, 2, 3, 4, 5
RChain
Correct-by-construction Casper | A Visualization for the Future of Blockchain Consensus @Medium
wiki/consensus
RChain consensus by Michael Birch (slide, copy)
RCON3 by Michael Birch
#Casper #PoS #Layer1