Informal Systems

Verifiable distributed systems & organizations. We are a cooperatively owned organization building technology that enable verifiable, trustworthy, and fair relationships between protocols and people.