Informal Systems

Informal Systems - Cosmos Ecosystem Core Contributor

Company Overview

Informal Systems is a blockchain infrastructure company spun out from the Interchain Foundation (ICF) in early 2020, co-founded by Cosmos co-creator and former Tendermint CTO Ethan Buchman. Organized as a cooperatively owned and governed organization, Informal Systems focuses on verifiable distributed systems and building tools that facilitate trustworthy relationships between protocols and people. The company is a core contributor to the Cosmos Network, "the Internet of Blockchains."

Core Work

Cosmos Ecosystem Development

Informal Systems has been a leading contributor to the Cosmos ecosystem since its genesis, working on core protocol development, formal verification, and high-value distributed infrastructure.

Informal Staking

Operation of a proof-of-stake validator and IBC relayer providing critical infrastructure in the Cosmos ecosystem, helping secure over 20 Cosmos chains.

Formal Verification

Application of formal methods to verify correctness of distributed systems and blockchain protocols.

Leadership

• Ethan Buchman - CEO, Cosmos co-creator, former CTO of Tendermint
• Arianne Flemming - COO
• Zarko Milosevic - CTO

Technical Expertise

Cosmos SDK & Tendermint

Deep expertise in Cosmos SDK, Tendermint consensus, and Inter-Blockchain Communication (IBC) protocol from co-creating the technology.

Formal Methods

Rigorous formal verification approaches ensuring protocol correctness and security.

Distributed Systems

Advanced distributed systems research and engineering.

Organizational Structure

Worker Cooperative

Informal Systems operates as a member-driven worker's cooperative, reflecting the decentralized values of the blockchain industry.

Why Choose Informal Systems

Cosmos Co-Creator

Ethan Buchman co-created Cosmos and Tendermint—no one knows the ecosystem better.

Core Contributor

Leading contributor to Cosmos since genesis with deep protocol expertise.

Formal Verification

Rigorous approach to system correctness provides highest assurance level.

Validator Operations

Securing 20+ Cosmos chains demonstrates operational excellence.