Products

We build infrastructure and tools for the Interchain.

Blockchain Infrastructure

CometBFT

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

Website

Github

Hermes

Cutting edge IBC relayer in Rust

Website

Github

Cosmos Hub

The largest decentralized blockchain in the Cosmos ecosystem.

Website

Github

tendermint-rs

Client library for tendermint/comet applications written in Rust.

Github

ibc-rs

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

Github

Multisig

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

Github

Formal Methods

Jump to Security Audits

Apalache

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

Github

Website

Quint

Executable specification language designed to delight engineers

Github

Atomkraft

Auto-generate tests for real Cosmos-SDK applications from a TLA+ model.

Github

Our Infrastructure powers the Cosmos network.

Start your career with Informal Systems

Apply Now

Our R&D powers and secures the Interchain.

Visit us on Github

Visit us on Twitter

Visit us on LinkedIn

We build infrastructure and tools for the Interchain.

Blockchain Infrastructure

CometBFT

Hermes

Cosmos Hub

tendermint-rs

ibc-rs

Multisig

Formal Methods

Apalache

Quint

Atomkraft

Start your career with Informal Systems

Links