RT @stephantual: Not #devcon2 but this is big – $1.8M DARPA Contract to Formally Verify Blockchain-Based Integrity Monitoring System https:…
Source
https://twitter.com/danielmcclure/status/778239898448986114
https://twitter.com/danielmcclure/status/778239898448986114