Hashing It Out #87-Informal Systems Ethan Buchman
16 Jul 2020

Ethan Buchman, CEO at Informal Systems, joined Hashing It Out to discuss Informal’s unique approach to formal verification of reliable distributed systems. He reflects on some of the fundamental security challenges with building protocols, including Tendermint in Go.