CBC Casper: Resources
Paper
Introducing the “Minimal CBC Casper” Family of Consensus Protocols
Casper the Friendly Ghost
A Template for Correct-by-Construction Consensus Protocols
Refinement and Verification of CBC Casper
Medium
The CasperLabs Highway Protocol
Presentation
EDCON Toronto Slide 2018.5 (no talk for the whole slides)
Older version of this RChain Dev Conference
ETHCC2018 Slide Video 2018.5 by Vlad
DEVCON 4 by Vlad Video 2018.10
CBC Casper and Serenity by Vitalik
ETHCC2019 Sharding in CBC by Vlad video
ETHCC2019 Safety & Liveness in CBC Casper by Aditya
CryptoValleyConference by nrryuya.icon Slide
Article/Tutorials
Casper CBC simplified by Aditya
Partially explained Casper CBC 1
Partially explained Casper CBC 1
Peer review by muneeb
Vlad's responses: Tweet Tweet
Vitalik's tutorial of CBC Casper
cbc-casper wiki
Others
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
wiki/consensus
RChain consensus by Michael Birch (slide, copy)
RCON3 by Michael Birch
Also see CBC Casper: implementation resources
#Casper #PoS #Layer1