Interchain基金研发团队已经成立了一个新组织，以继续Cosmos的工作

今天宣布，来自Interchain基金（ICF）的研发团队已正式拆分为一家新的加拿大公司，非正式系统（Informal），以独立的运营结构继续进行Cosmos网络软件和协议的研发工作这样可以进行更灵活的实验。请参阅ICF的相应公告。

Informal总部位于多伦多，在维也纳，洛桑和柏林设有办事处，其团队由在分布式系统和正式验证方面具有专业知识的世界级研究人员和工程师组成。非正式系统的任务是为分布式系统和组织带来可验证性。

分布式软件系统是我们社会中许多关键系统的基础，但是构建和维护它们非常困难，昂贵且容易出错。系统越复杂，在测试和监视过程中就越不可能发现关键错误。在开始实施之前正式验证系统的设计可以节省时间和金钱，同时使您对系统行为充满信心。非正式在形式验证中应用了最先进的技术，以使分布式系统的可验证性得到更大的正确性保证。

分布式组织对于全球业务而言也变得越来越重要，因为构建和维护它们也很困难，昂贵且容易出错。非正式正在应用开源，明文和版本控制理念来开发工具，以更好地管理人类组织的复杂性。这些工具将大大减少管理公司和解释公司状态的运营开销，从而减少创业障碍。非正式人士认为，一旦开发出用于版本控制的公司管理的新工具和标准，区块链应用程序与现实世界公司之间就会出现可行的交集。

非正式将是Cosmos生态系统的主要贡献者，它将继续并扩大Interchain基金在与Cosmos网络相关的系统和协议中的研发工作。尤其是，Informal致力于正式验证Cosmos的关键组件，如区块链间通信协议（IBC）和Tendermint共识协议，并在Rust中实现它们。通过增加基础协议的正确性保证，提供核心组件的替代实现以及将开发人员生态系统扩展为蓬勃发展的Rust编程语言，预计这项工作将极大地有益于Cosmos生态系统。非正式组织还将继续为ICF的资助计划提供重要的行政支持，因为它致力于将计划去中心化到更大的利益相关者群体中。

非正式的构想是在可靠的分布式系统上运行的，由合作拥有和管理，开源的分布式组织的可持续发展的未来。为了与这些价值观保持一致，非正式组织的结构类似于工人的合作社，重要的公司行动（如董事会成员的选举）受到成员雇员一人一票的民主控制。非正式组织还在尝试针对小型研发组织（包括雇员和投资者）建立长期经济一致的模型，而没有针对退出事件。目标是导出可以被其他人轻易采用的技术公司的新模式。是现代硅谷风格资本主义在经济和文化上可持续的替代品。

非正式团队由世界一流的研究人员和工程师组成，由Ethan Buchman和Arianne Flemming和Zarko Milosevic共同创立了Cosmos项目。 Ethan，Arianne和Zarko之前分别担任过ICF的技术总监，董事总经理和研究主管。

非正式的初始资金来自可转换票据，软件开发协议以及来自Interchain基金的研究拨款，用于与Tendermint和Cosmos系统相关的形式验证，Rust开发和协议研究工作。更广泛地说，非正式的服务包括技术和行政人员教育，咨询和设计以及研发，重点是区块链，分布式系统及其形式验证。

“我们对非正式系统的建立以及扩大我们在链间基金会之前的工作感到兴奋；为Cosmos做出重大贡献，并通过正式验证分布式系统的进步推动整个区块链领域向前发展。我们期待与其他领先组织不断扩大的星系合作，以推进Cosmos生态系统。我们致力于在追求可持续企业家精神方面坚持我们的价值观，并致力于使分布式系统和组织对所有人而言更加可验证。”
–非正式系统团队

更多信息：
非正式系统