Case study: Galois helps demonstrate the resilience of the Tendermint protocol
There is no room for error in the Tendermint protocol – which secures an estimated $75B+ in digital assets in the Tendermint blockchain ecosystem.
The Interchain Foundation, a non-profit supporting one of the blockchains built on Tendermint, asked Galois to work with the Tendermint experts at Informal Systems to ensure the protocol contains no mistakes.
The proof we developed for the Tendermint protocol demonstrated that, regardless of how many parties collaborate and how clever the attackers are, we guarantee that attackers will be detected and punished. This provides the highest level of assurance for a critical part of Tendermint’s architecture.
Learn more about how, at Galois, we rely on formal verification to solve tough challenges like this in our recent case study.
Download the Case Study