Sharding & CBC Casper talk by Vlad (ETHCC)

The sharding/CBC Casper talk from Vlad Zamfir was the main talk today, and filled the main hall easily. “BUIDL BUIDL BUIDL”, although a bit of a meme, is not unheard of here.

The main take-away for me personnaly was to the way of thinking that was explained: “Correct-by-construction” (CBC).

What you do (quoting Vlad):

  1. Formally but only partially specify the protocol.
  2. Define properties and proofs that the protocol must satisfy.
  3. Derive more of the protocol in a way that is proven to satisfy them.

Check out the CBC Casper talk on youtube