RE: Sit-Down Q&A with Daniel Larimer - Full Video

Formally verified smart contracts written in C++, with the ability to adapt, wow!