链闻消息，支持跨链项目 Cosmos 开发和生态建设的基金会 Interchain Foundation (ICF) 宣布将研发团队分拆，组建一家注册在加拿大的独立公司 Informal Systems，该公司将以独立架构继续进行 Cosmos 网络相关软件和协议的开发工作。Informal Systems 总部位于多伦多，在维也纳、洛桑和柏林拥有办公室。Cosmos 联合创始人 Ethan Buchma 兼 ICF 前技术总监将担任该公司 CEO，ICF 前董事总经理 Arianne Flemming 和研究负责人 Zarko Milosevic 将加入该公司。该公司主要针对分布式系统和形式化验证方向进行研发。该公司起始资金将来自 ICF，ICF 基金会将以可转债、软件开发合同及研究资助的方式向 Informal Systems 注入资金，而 Informal Systems 则按合同及资助方向为 Tendermint 和 Cosmos 系统进行形式化验证、Rust 开发及协议方面的研究。链闻此前曾报道，由于 Cosmos 管理曾出现分歧，Cosmos 开发公司 Tendermint Inc 已经决定进行重组，跨链通信协议 IBC （Inter Blockchain Communication）的开发团队和 Tendermint Core 团队将从 Tendermint Inc 分拆出去，设立一家总部在柏林的独立公司，分拆之后，Tendermint Inc 的重心将放在 Cosmos 社区建设、Cosmos SDK 和 Cosmos 生态项目 Virgo 的开发和运营上。
来源：链闻
