Informal Systems

由合作拥有与管理的分布式组织所组成的开源生态 Informal Systems 简介 Informal Systems 机器的可验证分布式系统，加上人类的自治组织。专注于 Cosmos 协议正式验证，并以 Rust 语言实现。

data statistics

Relevant Navigation

DAOLens

DAOLens 由 Vikram Aditya 和 Apoorv Nandan 于 2022 年 1 月创立，旨在帮助企业进行入职、贡献管理等工作来简化 DAO 的运营流程。

RealtyDAO

以太坊资产 RealtyDAO 简介 RealtyDAO 使 Handshake 域名可用作标记化的以太坊资产。

UniFi DAO

Cosmos 区块链链世界的 DAO UniFi DAO 简介 UniFi DAO 旨在 Cosmos 世界里构建通用经济，参与并重新定义 Cosmos 世界和更大的区块链生态的 DeFi 去中心化金融，使社区能够轻松、快速地协调 Cosmos 宇宙独有的可互操作解决方案。

Arbitrage DAO

支持 DeFi 生态的 DAO Arbitrage DAO 简介 Arbitrage DAO 是支持 DeFi 生态的 DAO，联盟套利基金，寻找链上流动性的套利机会。赚取所有套利机会的份额，包括但不限于 DDEX、Compound、dYdX、MakerDAO、Frontrunning、交易重新排序、去中心化交易平台的共识不确定性等。