动态 Cosmos继续分拆:ICF基金会研发团队分拆为独立公司Informal支持跨链项目Cosmos开发和生态建设的基金会Interchain Foundation?(ICF) 宣布将研发团队分拆,组建一家注册在加拿大的独立公司InformalSystems,该公司将以独立架构继续进行Cosmos网络相关软件和协议的开发工作。Informal Systems总部位于多伦多,在维也纳、卢塞恩和柏林拥有办公室。Cosmos联合创始人Ethan Buchma兼ICF前技术总监将担任该公司CEO,ICF前董事总经理Arianne Flemming 和研究负责人Zarko Milosevic将加入该公司。该公司主要针对分布式系统和形式化验证方向进行研发。该公司起始资金将来自ICF,ICF基金会将以可转债、软件开发合同及研究资助的方式向Informal Systems注入资金,而Informal Systems则按合同及资助方向为Tendermint和Cosmos系统进行形式化验证、Rust开发及协议方面的研究。