Informal Systems 简介
Informal Systems 机器的可验证分布式系统，加上人类的自治组织。专注于 Cosmos 协议正式验证，并以 Rust 语言实现。
Informal Systems 团队成员
Informal Systems 相关信息
DAOtalk
由 DAOstack 运营的论坛。
DAO Research
发现、讨论、设计 DAO 的地方。
Ingamar Ramirez
Web3API、dOrg、BadgerDAO、SovrynBTC 市场战略。
Open Web Sandbox
开放网络沙箱。
Stake DAO
由社区构建的多元化 DeFi 服务平台。
Blockchain ETL
分布式数据科学家、工程师的自治组织。
Bellevue Network
首个具有治理功能的价格反应型代币。
Swagger DAO
推动时尚与区块链技术的结合。
Coinocracy Finance
去中心化投资协议。