Informal Systems 简介
Informal Systems 机器的可验证分布式系统，加上人类的自治组织。专注于 Cosmos 协议正式验证，并以 Rust 语言实现。
Informal Systems 团队成员
Informal Systems 相关信息
Delega Networks
针对 Kusama、Polkadot、Sentinel、Kava 等的验证节点服务。
Big Dipper
北斗。
Commit Network
基于 Tendermint 构建的多层企业级区块链网络。
Tharsis
Evmos 核心开发工作室。
Confio
建立信任，达成中心化的未来。
Agoric
透过 Javascript 向更广泛的开发人员开放智能合约。
Mitera
质押未来。
Althea
分布式、加密货币驱动的网络。
Dongsam Byun
B-Harvest 首席技术官。