Blockchain Infrastructure

We are core developers of the Tendermint and IBC projects, with a focus on software implementations in Rust.

Logo for


Tendermint is a Byzantine Fault Tolerant state machine replication engine for applications written in Rust.
Logo for


Inter-Blockchain Communication (IBC) is a protocol for secure, packet-based communication between distinct blockchains.
Logo for


Hermes is an open-source Rust implementation of a relayer for IBC, released under the ibc-relayer-cli crate.

Formal Verification Tools

We build formal verification tools that we leverage in our protocol design, engineering, and security audits.

Jump to Security Audits

Logo for


Symbolic model checker for TLA+ – formally verify TLA+ specifications for real-world distributed systems protocols
Logo for

Model Based Testing

A methodology and tool used to auto-generate tests for real implementations from an underlying TLA+ model.
Logo for Cosmos network
Our Infrastructure powers the Cosmos network.