首页
行情
快讯
资讯
专题
百科
首页
>
项目
>
Informal Systems
Informal Systems
由合作拥有与管理的分布式组织所组成的开源生态。
DAO
Cosmos
informal.systems
关注
3
Informal Systems 简介
Informal Systems 机器的可验证分布式系统,加上人类的自治组织。专注于 Cosmos 协议正式验证,并以 Rust 语言实现。
Informal Systems 团队成员
Ismail Khoffi
LazyLedger 联合创始人兼首席技术官。
Informal Systems 相关信息
Smartlands Network
针对金融市场和通证化监管资产的区块链解决方案。
XAR Network
基于 Cosmos 与 Fantom 去中心化金融框架。
Ki Chain
Ki Chain 区块浏览器。
Lunamint
PoS 验证节点服务。
Daniela Pavin
Cosmos Guardian 联合创始人。
Dongsam Byun
B-Harvest 首席技术官。
Comdex
民主化金融。
Tess Rinearson
Tendermint Core 工程开发副总裁。
Vitwit
酝酿,建立,转变。
Lunagram
Lunamint 开发的 Telegram 内置 Cosmos 钱包。