We are a cooperatively owned organization building technology that enable verifiable, trustworthy, and fair relationships between protocols and people.
We are a core developer of the Cosmos Network software and protocols, with a focus on the Tendermint consensus engine and the IBC interoperability standard.
Secure the network. Align your incentives.
We operate Cephalopod Equipment - a leading Proof-of-Stake validator, IBC relayer, and interchain service provider in the Cosmos ecosystem and beyond.
Find bugs faster. Build confidence in your systems.
We specialize in security audits for cross chain protocols and core blockchain infrastructure. We apply formal verification methods and model-based testing techniques to deliver industry-leading results.
Our R&D powers and secures the Interchain.
Retain your sovereignty. Interoperate with others.
We are a leading contributor to the Cosmos interchain ecosystem, with a focus on Tendermint and IBC. We formally specify and verify protocols and contribute to their implementations in Go and Rust.
Verify your protocols. Higher test coverage with less code.
We make formal verification tools more accessible. Our symbolic model-checker, Apalache, radically improves the power and user experience of TLA+. And our Model-Based Testing tools enable you to generate complex test cases with minimal code.
Our vision is an open-source ecosystem of cooperatively owned and governed distributed organizations running on reliable distributed systems.
We are a worker-owned organization, composed of a diverse group of people from around the world. Join us!
Explore career opportunities at our cooperatively owned and governed organization, with world-class expertise in distributed systems, formal verification, and open-source ecosystem.
