Sharding PoC
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 t