Informal Systems
To foster trust in software and money, two systems the world increasingly depends on, through formal verification and verifiable distributed systems.
At a Glance
- Blockchain Layer 1 & Layer 2 protocols
- DeFi platforms
- Financial institutions
- Web3 infrastructure providers
AI Tools by Informal Systems
(1)
Quint
Formal Spec Language for Devs
Discussions
No discussions yet
Be the first to start a discussion about Informal Systems
Latest News
Towards a Solution for Cognitive Debt
Solana Security Audit: Zenrock Hush Privacy Protocol
PeerDAS Security: How Validators Verify Data They Can't See
Model-Based Testing EVM networks with Quint and AI
Products & Services
Formerly Tendermint, a state-machine replication engine for securely and consistently replicating applications on many machines.
An end-to-end, connection-oriented, stateful protocol for reliable, ordered, and authenticated communication between heterogeneous blockchains.
A symbolic model checker for TLA+ that translates specs into logic and uses SMT solvers to find bugs.
An executable specification language based on TLA+ concepts but with a more developer-friendly syntax.
Market Position
A research-heavy core developer with deep expertise in formal verification and consensus, acting as a primary steward for the Cosmos ecosystem.
Leadership
Founders
Ethan Buchman
Co-founder of the Cosmos Network and Tendermint. Previously Technical Director at the Interchain Foundation (ICF). CEO of Informal Systems and Cycles.
Arianne Flemming
Previously Managing Director of R&D at the Interchain Foundation and VP of Finance at Tendermint. COO of Informal Systems.
Zarko Milosevic
Distributed systems researcher and PhD from EPFL. Previously Senior Research Scientist at the Interchain Foundation and Research Scientist at Tendermint. CTO of Informal Systems.
Igor Konnov
Principal Scientist at Informal Systems. Previously researcher at Inria and Assistant Professor at TU Wien. Expert in formal verification and distributed systems.
Executive Team
Ethan Buchman
CEO
Co-founder of Cosmos and Tendermint; CEO of Cycles.
Arianne Flemming
COO
Former Managing Director at Interchain Foundation; VP Finance at Tendermint.
Founding Story
Informal Systems was spun out from the Interchain Foundation (ICF) to become a cooperatively-owned core development company for the Cosmos Network, focusing on making distributed systems more verifiable and reliable.
Business Model
Revenue Model
A combination of security service fees (audits), staking rewards (validator commissions), and technology incubation/spin-outs (e.g., Circle acquisition of Malachite).
Target Markets
- Blockchain Layer 1 & Layer 2 protocols
- DeFi platforms
- Financial institutions
- Web3 infrastructure providers
- Blockchain protocol development
- Financial clearing and settlements
- Smart contract security audits
- High-assurance distributed systems
- Circle
- Cosmos Hub
- Starknet
- Babylon