在 ICF 研发的过去, 现在, 和未来 : 介绍 Informal Systems


#1

Interchain Foundation (ICF) 成立于 2017 年,其任务是促进开放式去中心化网络的研发,尤其侧重于 [Cosmos Network]。在整个 2017 年和 2018 年期间,ICF 主要为外部开发团队提供资金,以构建启动 Cosmos Hub 所需的软件。在 2018 年底和 2019 年初网络推出之前,一些来自 AIB 的员工离开专注于在 ICF 上建立一个独立的团队来规划[资金计划],并建立形式验证和分布式系统的研发组织。在 Arianne Flemming 担任董事总经理之后,Ethan Buchman 担任技术总监,Zarko Milosevic 担任研究主管,之后 Michael Niederer 加入,他自 2018 年初以来一直担任 ICF 的首席财务官。

在 2019 年期间,Interchain Foundation 大大扩展了其资助计划,并将其研发机构扩展为一支由 10 多人组成的世界一流团队,致力于 Cosmos 软件和协议的开发,包括 Go 和 Rust 的实施工作以及 TLA +中的正式验证工作。这篇文章详细介绍了 ICF 研发活动的历史,包括与大学的外部合作,2019 年内部团队的成长以及关于 2020 年团队下一步发展的公告:成立一家新公司。

外部合作

自成立以来,ICF 一直致力于长期的研究,并通过外部合作拓展能力。尽管 2017 年的研究主要集中在 Cosmos 网络的基础软件上,但 2018 年,ICF 开始与世界著名大学就密码学,分布式系统和形式验证领域进行更广泛的研究合作。在 2019 年,一些专业知识被引入内部。

密码学

ICF 认识到加密技术发展的根本重要性,以及加密技术在开放式和去中心化网络的设计空间中解锁新格局的潜力。为了支持密码学研究的前沿领域,ICF 是[斯坦福大学区块链研究中心]的创始合作伙伴,该中心在诸如累加器,防弹证明,可验证延迟函数等加密原理方面取得了开创性的进展,重点是它们在区块链技术中的应用。 ICF 还向加州大学伯克利分校的 [Alessandro Chiessa 小组,该小组正在零知识证明方面有很多创新。 Chiessa 与他人共同创立了 [Starkware],担任西方首席科学家,帮助这些开发成果商业化。

分布式系统

ICF 成立的目的是推进开放,去中心化网络的研发,去中心化网络的核心是分布式系统。尽管 Tendermint 软件标志着实用分布式系统的一项重大进步,而 Cosmos 标志着公共经济网络的重大进步,但 ICF 一直在与世界一流的分布式系统研究人员合作,以进一步推动该领域的发展。为此,Zarko 一直与 EPFL 的 [Rachid Guerraoui 小组]和 USI 的 [Fernando Pedone 小组]合作。这些合作的重点在于指导改进 Tendermint 相关的协议,例如分叉责任协议,gossip 机制以及 Merkleized 数据存储的高效同步。

形式化验证
基于 Cosmos 的开发和发布过程中的经验,ICF 的团队开始认识到实际形式验证的重要性日益提高,并将其重点转向了形式验证 BFT 软件。特别是,ICF 研发团队开始与 TU Wien 和 INRIA 的 [Josef Widder], [Cezara Dragoi, 和 [Igor Konnov] 领导的小组合作,他们共同推动了通过模型检查和静态分析形式验证 BFT 协议和软件的前沿领域。在 2019 年,Josef Widder 和 Igor Konnov 都加入了 ICF 团队,并一直致力于指导验证与 Tendermint 相关的协议。

研发团队, 2019

在与外部研究人员成功合作的鼓舞下,ICF 在 2019 年将其内部研发团队扩大到了 10 人以上,重点是使 Tendermint 和 Cosmos 协议完全版上线,改进 Go 中的实施,并在 Rust 中构建新的实施。该团队是 Tendermint 项目的主要贡献者,贡献了主要的修复程序,改进,评审,规范和工具。他们还领导了许多 [Tendermint 开发人员会议],这些会议是公开的,并规划了有关 Tendermint 提案选择,子协议体系结构,轻客户端等内容的研究课程。

上半年的重点是对 Go 中 Tendermint 的修复和改进,而下半年则转向了轻客端,形式验证和 Rust 的开发。 ICF 研发团队在整个 2019 年的主要成就包括:

  • [对 Tendermint 的提案选择机制的主要修复,该机制在 “ Game of Stakes ” 中发现被破坏
  • [Tendermint 区块链 reactor 的完整重构](“快速同步”),使其更易于测试和验证其正确性,并作为重构其他 reactor 的示例。
  • 对 [IBC 规范程序]的贡献
  • 用于[确定性科学实验部署测试网的工具
  • [轻客户端研究和建模],包括用于[安全对等协议],详细的[攻击分类法]和[初始 TLA +规范] 的维护,Rust 中的 Tendermint 代码库
  • 在 Rust 中初步实现 [Tendermint 轻客户端]
  • 其他 Tendermint 组件的初始 [TLA +规范的改进,对 TLA+ 的 symbolic 模型的检查

通过参与密码学,分布式系统和形式验证领域的软件开发和研究活动,ICF 团队变得越来越有兴趣做由形式验证驱动的软件开发方法。因此,团队付出了更大的努力,并专注于规范和 [TLA+] 等正式语言。验证驱动的开发方法是由形式验证软件和协议驱动的,可为其提供更大的正确性保证。

此外,通过其资助计划(请参见 [2019 年回顾])及其招聘渠道的运作,ICF 需要更好的工具来支持其内部管理的需求,并提出了使开发人员能够以管理软件的方式来管理组织的愿景。在 2019 年,该团队使用 Gitlab 为融资计划和招聘渠道开发了简单的纯文本解决方案。开发工具供 Cosmos 生态系统及其以外的其他实体使用,以简化其自身运营。最终,这些工具将与 Cosmos 技术堆栈集成在一起,从而使法律实体可以利用 Cosmos 区块链的功能来促进协作。

研发团队, 2020: 介绍 Informal Systems

在整个 2019 年,随着团队的成长,他们变得越来越有动力去发展一个独立的,在财务和文化上可持续发展的研发组织,以便在这些令人振奋的工作中进行更灵活的实验,为 Cosmos 生态系统及其他领域带来可验证性。尽管 ICF 为这些工作提供了绝佳的孵化器,但在 2019 年夏季,ICF 决定有序将研发团队拆分为一个独立的,共同拥有管理的实体,方便进一步开展工作。

截至 2020 年 1 月,ICF 研发团队现在是一家独立的加拿大公司, [ Informal Systems Inc ],其任务是为分布式系统和组织带来可验证性。这与 ICF 的去中心化,独立和可持续性价值观一致, Informal 组织的结构像一个合作社,每个成员在重要的公司事务上都有一票表决权。随着团队继续他们在 Interchain Foundation 上的工作, Informal 依就是 Cosmos 生态系统的关键贡献者,包括完成 Tendermint 和 IBC 协议并在 Rust 中实施它们。请参阅 Informal [博客]公告。

通过增加底层协议的正确性保证,提供核心组件的替代实现以及将开发人员生态系统扩展到蓬勃发展的 Rust 编程语言,这项工作将极大繁荣 Cosmos 生态系统。 Informal 还将继续帮助管理 ICF 资助计划和现有的研究合作,并与 ICF 合作将资助计划发展成更去中心化的形式,以便可以更好地扩展并吸收更多利益相关者群体的反馈。Ethan 将继续担任基金会理事会副主席,Ethan,Arianne 和 [Andy](曾在 ICF 担任资助计划的经理)将继续向 ICF 提供各种行政支持。

Informal 的初始资金来自 ICF,形式为可转换债券,研究资助和为期 2 年的软件开发协议。软件交付品包括所有 Tendermint 核心和 IBC 协议的正式版规范,在 Rust 中实现 Tendermint 轻客户端和 IBC,以及在 Rust 中实现 Tendermint 全节点模拟器。研究成果包括验证驱动的开发框架及其在 Tendermint 和 IBC 中的应用。

Informal 还提供技术和行政人员培训,咨询和设计以及研发等服务,重点关注区块链,分布式系统及其形式验证领域。要了解有关 Informal [服务]的更多信息,请发送电子邮件至 hello@informal.systems。您可以在 上了解他们,订阅他们的[博客]上关注他们。

Informal 开放、分散的公司结构对于实现 ICF 支持开放式和去中心化网络的使命至关重要。 ICF 希望看到更多这样的组织出现,特别是在 Cosmos 生态系统中担任领导角色的组织在其公司结构中体现 Cosmos 和 ICF 的价值:开放,去中心化,主权,安全和可持续。 ICF 期待这些实体的持续发展和合作以及他们对 Cosmos 的管理。最后,欢迎 Informal 加入其中。
来源于:https://realsatoshi.net/17956/