In this talk, I will discuss the approach that we at Interchain follow towards reliable large-scale blockchain infrastructures. Our approach consists of two building blocks. First, we design and implement fault-tolerant protocols for the interoperable blockchain technology of the Cosmos Network. Second, we use computer-aided verification in the software engineering process.

I start by presenting several fault-tolerant protocols in our ecosystem, such as Tendermint consensus, and the lite client. The second part of the talk will review several of the domain-specific verification approaches that we are currently exploring.