DEVCON1: Monadic Design Patterns for the Blockchain – Lucius Greg Meredith

Blockchains.Technology http://youtu.be/uzahKc_ukfM http://youtu.be/uzahKc_ukfM

Day 1, 10:50 GMT Lucius Greg Meredith gives an update on “SpecialK” – the formal verification software being used with Casper + an overview of monadic …