About Us
Products
Security Audits
Staking
Blog
Verifiable distributed
systems & organizations.
Get Started
Core Developer of Cosmos
Proof of Stake Validator
Learn More
Security Audits
Learn More
Products
Cosmos
tendermint-rs
ibc-rs
Hermes
Verification
Apalache
Model Based Testing
Our mission is to bring verifiability to distributed systems and organizations.
Start your career with Informal Systems
Apply Now
Our R&D powers and secures the Interchain.
Visit us on Twitter
Visit us on Twitter
Visit us on LinkedIn
Visit us on LinkedIn
Links
About Us
Products
Security Audits
Staking
Careers
Blog