Skip to content

Resource List

naterush edited this page May 17, 2018 · 9 revisions

CBC Casper Resource List

The following resources contain an overview of the talks, papers, blog posts, and tweets that are most relevant to understanding CBC Casper.

Note that the research has been in a constant state of evolution for the past 3 or so years. As such, some of the information in the videos, papers, etc, might be outdated. That being said, each category is organized with relevance in mind, with the most introductory resources (hopefully) towards the top.

P.S. If you have a resource that you think would be helpful that isn't already on the list, let us know about it here. Thanks!

Recent Presentations on Casper

Here are the most recent presentations, so you can jump into the current bleeding-edge research.

EDCON Toronto Slides (1 hr slides)

Understand CBC Casper protocol states and their relationship to the safety proof as well as the FLP impossibility result.

A similar presentation to above, understand the safety proof and more about Casper protocol states.

ETHCC Slides (2 hr slides)

A very-thorough introduction to both parts of the safety proof as well as specifications of specific Casper protocols

Introductions to Casper

Great starting points for understanding the problem of consensus, Casper terminology, and the structure of CBC Casper protocols!

This CBC Casper protocol, unsurprisingly, has nodes agree on a single bit (either 0 or 1). This video provides an introduction to the problem of consensus, a lot of terminology, and the most basic CBC Casper protocol there is!

CBC Casper Safety Proof: Part 1 and Part 2 (40 min video)

Walks through the CBC Casper safety proof. If you're not sure what a safety proof is, or you want to walk through the proof again, see here.

Casper The Friendly Ghost is the blockchain version of CBC Casper. This video provides a comprehensive overview of the specification for the blockchain protocol, as well as some nice visualizations of a blockchain being built!

CBC Casper FAQ (20 min read)

Provides an answer to many of the common questions about CBC Casper. If you have questions that aren't answered, feel free to ask them here!

Casper and Sharding

Introduction to how blockchain sharding fits into the CBC approach. You can find a great FAQ on sharding here

CBC Casper / Sharding (46 min video)

A video that gives an overview of the CBC approach and formal safety proof, as well as provides an introduction to a sharded blockchain in the context of CBC Casper.

A tweet with some nice visualizations of what a CBC Sharded blockchain might look like.

Definitions for specifying a sharding solution that allows for cross-shard atomic transactions based on "merge" blocks, which are blocks created on two different shards. A WIP :) !

Specifications

Much-more rigorous specifications of the CBC Casper framework and protocols!

Provides the formal safety proof that all CBC Casper protocols share, as well as uses parts of proof to provide insight into the problem of consensus.

Uses the above safety proof to create two protocols: one for coming to consensus on a bit, and the other for coming to consensus on a blockchain. Contains formal specifications for all the intricate details of the protocols, the forkchoice, and a safety oracle!

Miscellaneous

Various resources that might be interesting and relevant to understanding CBC Casper, consensus in general, or other branches of Ethereum PoS research.

A great overview of Casper FFG and it's relationship to Ethereum's initial sharding plans, with some comparisons to CBC Casper as well.

Comparison between Tendermint consensus and Casper, both FFG and CBC.