Vlad Zamfir, one of Ethereum's lead researchers talks about Casper, its future proof of stake protocol, as well as formal verification of smart contracts and his and Vitalik Buterin's work with Synereo.

Includes overview discussion of Synereo's Rchain and his and Vitalik Butterin's work with Gregory Meredith.

Sponsored by Bitsquare.io Anonymous, Tor based decentralized Bitcoin exchange.

Watch the video

▶️ DTube
▶️ IPFS
▶️ YouTube

(Originally posted September 21, 2016)

---

Connect with me online:

@juansgalt
http://www.juansgalt.com/
https://twitter.com/juansgalt
https://www.facebook.com/juansgalt
https://gab.ai/juansgalt
juansgalt.com/youtube
https://keybase.io/juansgalt
Slack: Juansgalt