Informal Systems

Informal Systems 简介

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

Informal Systems 团队成员

Ismail Khoffi

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