Informal Systems specializes in the design and verification of Proof of Stake consensus and interoperability protocols like Tendermint and the Inter-Blockchain Communication Protocol (IBC), and their implementation in Rust and Go. We're structured l…

Informal Systems specializes in the design and verification of Proof of Stake consensus and interoperability protocols like Tendermint and IBC, and their implementation in Rust and Go. We're structured like a workers cooperative, and serve as one of…