While Casper FFG (the “friendly finality gadget,” a.k.a. Vitalik’s casper, which provides finality on top of the existing proof-of-work-based system) is the primary proof of concept candidate in the Shasper “Ethereum 2.0” roadmap, Vlad has been diligently at work for some time on his own Casper workstream, titled Casper CBC (“correct by construction”), which entirely replaces proof of work with a new, provably correct block proposal and fork choice scheme. Until now, that work has been largely theoretical and has consisted primarily of equations and diagrams (see the whitepaper, released last year). So it’s really exciting to see the rubber hit the road and to see some of these ideas be proven out in actual, running code, which is a lot easier for most developers to digest! - Lane "McShardface" Rettig
This is a proof of concept for a sharded Ethereum blockchain, that supports multiple validators per shards, cross-shard messages and state updates to the EVM.
simulator.py simulates and provides a visualisation for this.
$ pipenv install $ pipenv shell