Informal Systems
可验证的分布式系统和组织。
非正式系统，（机器）的可验证分布式系统和组织（人类）。专注于正式验证 Cosmos 协议并用 Rust 语言实现它们。 我们设想一个由合作所有和管理的分布式组织组成的开源生态系统，这些组织运行在可靠的分布式系统上。
CypherHunter Plus
Subscribe to distraction-free reading, and unprecedented access to our data.
非正式系统，（机器）的可验证分布式系统和组织（人类）。专注于正式验证 Cosmos 协议并用 Rust 语言实现它们。 我们设想一个由合作所有和管理的分布式组织组成的开源生态系统，这些组织运行在可靠的分布式系统上。
