Informal Systems 由合作拥有与管理的分布式组织所组成的开源生态 Informal Systems 简介 Informal Systems 机器的可验证分布式系统,加上人类的自治组织。专注于 Cosmos 协议正式验证,并以 Rust 语言实现。
Humanity 激励经济参与者在去中心化的情况下,维持身份登记与验证 Humanity 简介 在以太坊上,目前没有唯一身份标准。你在网络上的身份只是一个从私钥生成的地址,可以通过控制多个私钥来拥有多个账户。