Fall 2019

Strengthening Reliable Decentralized Systems at Interchain

Thursday, October 24th, 2019 12:00 pm12:30 pm

Add to Calendar


Josef Widder (Tendermint/Interchain)

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.