表现
RD 热度指数
RD 增长指数
对比
关注更新
关注列表
人物
关于Informal Systems
Informal Systems 是 Cosmos 网络的核心软件开发者，专注于 Tendermint 共识引擎和 IBC 跨链通信协议的研发与形式化验证。其核心业务包括：为区块链网络提供高安全性的共识机制、开发跨链互操作标准，并运营验证节点（如 Informal Staking）以保障网络去中心化。
市场痛点在于：区块链间缺乏统一、安全的通信协议，共识算法易受攻击且难以形式化验证，导致跨链资产转移和生态协作存在信任风险。Informal Systems 通过形式化方法（如 TLA+ 规范）验证关键协议，并推动 IBC 成为行业标准，解决互操作性和安全性问题。
近半年（2026 年 3 月至 9 月），公司持续推进与 Starknet 等 Layer 2 网络的合作，将 IBC 集成至非 Cosmos 生态，扩大跨链覆盖范围。同时，其验证节点服务保持活跃，并参与多个区块链网络的共识安全审计。整体发展聚焦于扩展 IBC 应用场景和强化协议形式化保障。
Informal Systems 成立于2020年初，由 Ethan Buchman、Zarko Milosevic 和 Josef Widder 等创立，源于 Interchain Foundation，旨在为 Cosmos 网络提供严谨的协议工程。其首个重大项目是 IBC 协议的 Rust 实现和 TLA+ 形式化规范，模型检查结果促成协议改进，并开发了 Hermes 中继器，2021年 IBC 上线后投入生产。团队还对 Tendermint 轻客户端进行了形式化验证，并维护 Rust 实现。2022年夏，Informal 接管 Tendermint Core（Go）的维护，修复了 v0.35/v0.36 撤回后的信任危机，推进 ABCI 2.0 并发布 v0.37/v0.38。其开发的 Apalache 符号模型检查器被用于多个核心协议的安全审计和规范验证，如 Tendermint 共识、轻客户端和快速同步。2023年，Informal 协助 Cosmos Hub 发布 V8 和 V9，其中 V9 引入复制安全（Replicated Security），为跨链安全共享奠定基础。这些工作奠定了 Cosmos 生态的形式化方法和基础设施基石。
Informal Systems由Ethan Buchman、Arianne Flemming和Zarko Milosevic联合创立。
Ethan Buchman（CEO）是Cosmos和Tendermint联合创始人，曾任Interchain基金会技术总监，拥有圭尔夫大学硕士学位，现同时领导Cycles协议。
Arianne Flemming（COO）毕业于普林斯顿大学，曾创立多家公司，曾任创意破坏实验室机器学习副主任。
Zarko Milosevic（CTO）拥有EPFL分布式系统博士学位，专攻共识协议与形式化验证。