Products

We build infrastructure and tools for the Interchain.

Blockchain Infrastructure

Logo

CometBFT

Industry leading Byzantine Fault Tolerant state machine replication engine - a fork of Tendermint Core
Website
Website
Github
Github
Logo

Hermes

Cutting edge IBC relayer in Rust
Website
Website
Github
Github
Logo

Cosmos Hub

The largest decentralized blockchain in the Cosmos ecosystem.
Website
Website
Github
Github
Logo

tendermint-rs

Client library for tendermint/comet applications written in Rust.
Github
Github
Logo

ibc-rs

Secure, packet-based communication via IBC for blockchain applications written in Rust.
Github
Github
Logo

Multisig

Simplify multisig transactions for many keys across many cosmos-sdk chains.
Github
Github
Logo

Apalache

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

Quint

Executable specification language designed to delight engineers
Github
Github
Logo

Atomkraft

Auto-generate tests for real Cosmos-SDK applications from a TLA+ model.
Github
Github
logo-cosmos.svg
Our Infrastructure powers the Cosmos network.

Start your career with Informal Systems

Apply Now
Informal Systems Logo
Our R&D powers and secures the Interchain.
Visit us on Github
Visit us on Github
Visit us on Twitter
Visit us on Twitter
Visit us on LinkedIn
Visit us on LinkedIn