Our mission is to foster trust in
software and money.
Premier Partner in Protocol Design & Cross-Chain Infrastructure.
Partner
Informal Security + Engineering
Find bugs faster. Build confidence in your system.
We offer security audits, protocol design, and formal methods for blockchain applications and infrastructure.
Partner with Informal Security to secure your software and enhance your protocol design.
Informal Staking
Secure the network. Align incentives.
Institutional grade staking for the ETH, BTC, and Cosmos ecosystems.
Partner with Informal Staking to keep your network running smoothly.
Invest
Incubate
Cycles
Reduce your debt. Optimize your liquidity.
Why should banks get to do all the clearing? With Cycles, anyone can clear their debts in a private, secure, and accessible way, using any type of currency or credit that works for them.
People First
We are cooperatively owned. We build open-source.
We nurture sustainable relationships between people and their protocols.
Learn more about how we work together.
Start your career with Informal Systems
Explore career opportunities at our cooperatively owned and governed organization, with world-class expertise in distributed systems, formal methods, and open-source ecosystem development.