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

CypherHunter Plus

Access hyper-relevant news and analysis for the crypto markets.

Distraction-free reading. No ads.
Unprecedented access to our data.
Organize your knowledge with lists and highlights.
Exclusive news and analysis across crypto fundraising.

Already a subscriber? Log in

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

The Leading Company in OCaml Development.

Professional Blockchain Hackathon Organizer.

Crypto studio, incubator and investor.

Join the fight to gain clarity around the regulation of cryptocurrency!

Discover Ecosystems