币百科
探索区块链知识边界
行情
资讯
每日资讯
Mirror精选
百科
数字货币百科
区块链百科
钱包百科
快讯
专题
数字货币专题
区块链专题
数据专题
项目专题
联系我们
长按上方二维码3秒识别二维码
Informal Systems
由合作拥有与管理的分布式组织所组成的开源生态。
DAO
Cosmos
informal.systems
关注
3
Informal Systems 简介
Informal Systems 机器的可验证分布式系统，加上人类的自治组织。专注于 Cosmos 协议正式验证，并以 Rust 语言实现。
Informal Systems 团队成员
Ismail Khoffi
LazyLedger 联合创始人兼首席技术官。
Informal Systems 相关信息
IBC
用于整合区块链之间的通信协议。
StrongForce
基于 .Net 的智能合约框架。
Ethan Frey
CosmWasm 创始人。
曹恒
IRISnet 联合创始人。
OKExChain
去中心化的高性能交易公链。
ATOM Guide
Cosmos 质押服务与相关指南。
UniFi DAO
Cosmos 区块链链世界的 DAO。
Mitera
质押未来。
Sentinel
可互操作的多协议网络层，可便捷访问的全球分布式服务与资源市场。
Coris Explorer
Cypher Core 推出的 Cosmos 区块查询工具。
