Code Podcast 7: $300M worth of bugs

Deep dive into formal verification of ethereum contacts

0 followers

0 followers

RezonantTalk, spec, ship: get your product ideas into production

Promoted

Code Podcast 8: P2P People to PeopleHow do decentralized peer-to-peer protocols work?

Launched on July 13th, 2018

Code Podcast 7: $300M worth of bugsDeep dive into formal verification of ethereum contacts

Launched on March 14th, 2018