Informal Systems

Informal Systems

由合作拥有与管理的分布式组织所组成的开源生态。

DAO
Cosmos

Informal Systems 简介

Informal Systems 机器的可验证分布式系统，加上人类的自治组织。专注于 Cosmos 协议正式验证，并以 Rust 语言实现。

Informal Systems 团队成员

Ismail Khoffi

Ismail Khoffi

LazyLedger 联合创始人兼首席技术官。

Informal Systems 相关信息

WhalerDAO

WhalerDAO

与 DeFi 巨鲸作战。
Homebrew.Finance

Homebrew.Finance

在以太坊上运行的去中心化自治投资组织。
Callum Gladstone

Callum Gladstone

Axia Labs 研究员。
Data Highway

Data Highway

下一代数据通证。
XeO4

XeO4

不稳定的加密基金。
Will Smithies

Will Smithies

Axia Labs 首席运营官。
Agency DAO

Agency DAO

帮助创建去中心化未来。
Mark Heus

Mark Heus

Ignite 联合创始人。
Livia Deschermeyer

Livia Deschermeyer

Commons Stack 文化建设者。
Squads

Squads

用于创建私有 DAO 的去中心化应用。