Informal Systems 简介
Informal Systems 机器的可验证分布式系统，加上人类的自治组织。专注于 Cosmos 协议正式验证，并以 Rust 语言实现。
Informal Systems 团队成员
Informal Systems 相关信息
FTW.DAO
社区主导的风险投资，力求多元化。
Straightedge
WASM 智能合约平台，在链上进行管理。
Asgeir Sognefest
dOrg 区块链开发工程师。
DGOV Foundation
支持分布式治理研究与实施。
UFiT
DeFi 领域的托管、清算、合成、质押的一体化设施
MetaCartel Ventures
以盈利为目的，专注以太坊应用生态投资的 DAO。
SAINT FAME
世界上首个互联网上时装屋。
Fair Data Society
去中心化的利他社区。
Supercolony
建立并投资于波卡生态项目。