Informal Systems 简介
Informal Systems 机器的可验证分布式系统，加上人类的自治组织。专注于 Cosmos 协议正式验证，并以 Rust 语言实现。
Informal Systems 团队成员
Informal Systems 相关信息
Shelley Chang
Cosmos 与 Tendermint 运营主管。
Dokia Capital
聚焦区块链技术。
Joon Mossid
Cosmos 与 Tendermint 区块链开发人员。
Cephalopod Equipment
位于多伦多的小型独立网络验证节点服务商。
Cypher Core
向最终用户和员工提供区块链解决方案。
Jae Kwon
Tendermint 联合创始人，Interchain 基金会主席。
Katalysis
衡量和管理你的数字内容受众。
Strangelove
前身是 Pylon Validation。
Agreements Network
网络世界的法律层。