Cosmos continues to split: ICF Foundation R&D team splits into independent company Informal

支持跨链项目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开发及协议方面的研究。