Informal Systems Logo

Verifiable distributed systems & organizations.

Cosmos

bg-galaxy.svg
logo-cosmos.svg

Projects we steward:

Logo
CometBFT
Logo
Hermes
Logo
Cosmos Hub
Logo
tendermint-rs
Logo
ibc-rs
Logo
Multisig

Informal Staking

Learn More
art-cephalopod.svg

Informal Security

Learn More
logos-securityaudits.svg

Formal Methods

Logo
Apalache
Logo
Quint
Logo
Atomkraft

Cycles Protocol

Learn More
CoFi-Bright-Bubble-removebg-preview.png

People First

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

Links