Informal Systems 简介
Informal Systems 机器的可验证分布式系统，加上人类的自治组织。专注于 Cosmos 协议正式验证，并以 Rust 语言实现。
Informal Systems 团队成员
Informal Systems 相关信息
Sunshine
基于 Substrate 去中心化自治组织。
ditCraft
权力下放，激励，民主化。
Proof of Humanity
引入人性论证的去中心化自治组织。
Nexis
Nervos 上更智能更高效更透明的稳定币协议。
LostSouls DAO
DeFi 失散灵魂的自治组织。
ShieldDAO
区块链上用户组成的去中心化社区。
The Commons Stack
为社区驱动型经济的可持续资金与管理建立基础设施。
Cap9
Ewasm / EVM 智能合约安全协议。
mDAO
在数字时代探索未知领域。