支持跨链项目Cosmos开发和生态建设的基金会InterchainFoundation(ICF)宣布将研发团队分拆，组建一家注册在加拿大的独立公司InformalSystems，该公司将以独立架构继续进行Cosmos网络相关软件和协议的开发工作。InformalSystems总部位于多伦多，在维也纳、卢塞恩和柏林拥有办公室。Cosmos联合创始人EthanBuchma兼ICF前技术总监将担任该公司CEO，ICF前董事总经理ArianneFlemming和研究负责人ZarkoMilosevic将加入该公司。该公司主要针对分布式系统和形式化验证方向进行研发。该公司起始资金将来自ICF，ICF基金会将以可转债、软件开发合同及研究资助的方式向InformalSystems注入资金，而InformalSystems则按合同及资助方向为Tendermint和Cosmos系统进行形式化验证、Rust开发及协议方面的研究。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。