Verifiable distributed systems & organizations.
Core Developer of Cosmos
Proof of Stake Validator
Learn More
Security Audits
Learn More
Products
Verification
Our mission is to bring verifiability to distributed systems and organizations.
Start your career with Informal Systems
Apply NowOur R&D powers and secures the Interchain.