Verifiable distributed systems and organizations.

We envision an open-source ecosystem of cooperatively owned and governed distributed organizations running on reliable distributed systems.

Learn More About Us

what we do

Systems (of Machines)

Informal designs, implements, and formally verifies distributed systems and protocols, including blockchain systems like Tendermint and Cosmos.

Organizations (of Humans)

Informal develops tools to simplify the operation of organizations by leveraging open-source development, plaintext data, and distributed version control systems.

what we offer


  • Blockchain Infrastructure
  • Formal Verification Tools

More About Our Products


  • Validation
  • Auditing
  • Research

More About Our Services

Our infrastructure powers the network.

Our Team

Informal is headquartered in Toronto, Canada with European offices in Vienna, Lausanne, and Berlin. Our team is comprised of world-class researchers and engineers.

Meet the Team

The Blog

Check out the Informal blog and sign up for our newsletter: