Back to Organizations
Informal Systems
Informal Systems is a cooperatively owned organization that provides security audits, protocol design, and institutional-grade staking for blockchain applications and infrastructure, particularly in the Cosmos ecosystem. They also invest in early-stage startups through their ventures arm and incubate new projects.
Distributed
Description
Informal Systems is a cooperatively owned organization with a mission to foster trust in software and money. They operate as a premier partner in protocol design and cross-chain infrastructure. Their services include security audits, protocol design, and formal methods for blockchain applications through 'Informal Security + Engineering', as well as institutional-grade staking for the ETH, BTC, and Cosmos ecosystems via 'Informal Staking'. The company also has an investment division, Informal Ventures, which supports early-stage blockchain startups, and an incubation arm for projects like Cycles, a private debt clearing system. They are key contributors to public goods in the Interchain, such as IBC-rs, CometBFT, and Hermes, focusing on building open-source solutions and fostering sustainable relationships.Grant Funding
VC Funding
None
2023
$0
$5.3M