Informal Systems

Informal Systems was founded with a mission to advance the development of verifiable distributed systems and organizations. The company focuses on research and development at the intersection of formal verification and distributed systems. Their core offerings include projects like Informal Staking, Informal Security, Formal Methods, and the Cycles Protocol, all aimed at enhancing the reliability and security of decentralized networks. Informal Systems primarily targets the blockchain and distributed ledger technology markets, with a vision to create more trustworthy and transparent digital ecosystems.

Notable affiliated individuals include experts in formal verification and distributed systems, contributing to the company's strong reputation in these fields. Key investors and partnerships are often aligned with the broader blockchain and technology sectors, supporting their innovative projects. Among their significant achievements is their stewardship of Cosmos, a leading blockchain interoperability project. Through their pioneering efforts, Informal Systems has made a substantial impact on improving the security and efficiency of decentralized systems, fostering greater trust in digital transactions and interactions.