币百科
探索区块链知识边界
行情
资讯
每日资讯
Mirror精选
百科
数字货币百科
区块链百科
钱包百科
快讯
特约
专题
数字货币专题
区块链专题
数据专题
项目专题
联系我们
长按上方二维码3秒识别二维码
Informal Systems
由合作拥有与管理的分布式组织所组成的开源生态。
DAO
Cosmos
informal.systems
关注
3
Informal Systems 简介
Informal Systems 机器的可验证分布式系统，加上人类的自治组织。专注于 Cosmos 协议正式验证，并以 Rust 语言实现。
Informal Systems 团队成员
Ismail Khoffi
LazyLedger 联合创始人兼首席技术官。
Informal Systems 相关信息
Trojan DAO
在区块链的帮助下从根本上改变文化经济。
BairesDAO
阿根廷的区块链影响力者自治组织。
ditCraft
权力下放，激励，民主化。
Agency DAO
帮助创建去中心化未来。
ARES Protocol
消除可能导致用户资金损失的任何游戏理论和机械攻击。
PolkaDAO
以有趣的方式与 Polkadot 生态系统互动并参与社区活动。
PragueDAO
布拉格的去中心化自治组织。
DAO MASTERS
探索用于启动、管理、发展 DAO 的工具。
Delta
开源、自主的对冲基金。
Aracred
Aragon 与 SourceCred 提供支持。
