Informal Systems

Verifiable distributed systems and organizations.

DAO Development

Informal Systems

DAO Development

Overview

Informal Systems, Verifiable distributed systems (of machines) and organizations (of humans). Focused on formally verifying Cosmos protocols and implementing them in Rust Language. We envision an open-source ecosystem of cooperatively owned and governed distributed organizations running on reliable distributed systems.

Team Members

Research Engineer at Informal Systems.

Adi Seredinschi

Product Lead at Informal Systems.

Sean Braithwaite

Co-Founder, CEO at Mekatek.

Co-founder of Cosmos.

Co-Founder and CTO at Celestia Labs.

Portfolio

Backers

Leading investor in the blockchain ecosystem.

Blockchain Investment Fund.

Global, multi-strategy investment firm focused on crypto & open finance.

CypherHunter Plus

Subscribe to distraction-free reading, and unprecedented access to our data.

People also viewed

Decentralized tokenized economy.

Private banking meets crypto.

We build infrastructure for the decentralized web.

Blockchain at Berkeley

Building people and building a blockchain community.

Expanding Ecosystems

With over 70+ ecosystems actively growing, they are equally deserving of your attention.