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):
- Formally but only partially specify the protocol.
- Define properties and proofs that the protocol must satisfy.
- Derive more of the protocol in a way that is proven to satisfy them.