Informal Systems

Informal Systems is a company born from the realization that the very systems designed to secure billions of dollars in value were themselves complex and prone to error. For customers and developers in the blockchain and distributed systems space, this created a significant trust gap. That's why Informal Systems was founded: to build a future where people can fully trust the software and monetary systems they depend on. The company serves clients who require the highest levels of security and verifiability in their protocols. These clients face the challenge of ensuring their distributed networks are not only functional but also mathematically proven to be correct and secure against sophisticated threats. Informal Systems addresses this by providing a suite of services including in-depth security audits, advanced protocol design, and the application of formal verification methods. This rigorous, scientific approach helps customers build confidence in their systems from the ground up.

The core of Informal Systems' philosophy is that trust between people and protocols can only flourish when supported by the right tools and organizational structures. For their customers, this translates into more robust, reliable, and secure products. By specializing in the security of interoperable, fault-tolerant networks, particularly within the Cosmos ecosystem, they help their clients navigate the complexities of building and maintaining decentralized applications. As a worker-owned cooperative, every member of the Informal Systems team has an equal say in the company's direction. This unique structure ensures that the values of sustainability, security, and correctness are not just applied to their clients' projects, but are woven into the very fabric of their own organization. This commitment to a collaborative and principled approach provides their customers with a partner who is as invested in the long-term health and integrity of the ecosystem as they are. By fostering a culture of open-source contribution and deep expertise in Rust and formal methods, they empower their clients to build the next generation of trustworthy distributed systems.