Informal Systems 简介
Informal Systems 机器的可验证分布式系统，加上人类的自治组织。专注于 Cosmos 协议正式验证，并以 Rust 语言实现。
Informal Systems 团队成员
Informal Systems 相关信息
Agoric
透过 Javascript 向更广泛的开发人员开放智能合约。
Eui Joon Lee
C-Link 研究团队分析师。
COSMOS Network
区块链上互联网，旨在解决区块链可互操作性和可扩展性问题，提升交易速度。
AUDIT.one
今天的验证者，明天的审计师。
cdot.
解决区块链上的信任度最低化、经济可持续性和标准化等问题。
Big Dipper
北斗。
Microtick
基于 Cosmos / Tendermint 的去中心化价格预言机。
Lunagram
Lunamint 开发的 Telegram 内置 Cosmos 钱包。
Dokia Capital
聚焦区块链技术。