Informal 还提供技能和行政人员培训，咨询和设计以及研发等处事，重点存眷区块链，漫衍式系统及其形式验证规模。要相识有关 Informal 处事的更多信息，请发送 电子邮件 。您可以 相识他们，订阅他们的博客并在 Twitter 上存眷他们。
支持 Commos 研发的基金会 Interchain Foundation 公布拆分其研发团队，组建新的 Informal Systems。相识 Interchain Foundation 研发的过往与此刻，以及新团队的研发打算。
漫衍式系统ICF 创立的目标是推进开放，去中心化网络的研发，去中心化网络的焦点是漫衍式系统。尽量 Tendermint 软件符号着实用漫衍式系统的一项重大进步，而 Cosmos 符号着民众经济网络的重大进步，但 ICF 一直在与世界一流的漫衍式系统研究人员相助，以进一步敦促该规模的成长。为此，Zarko 一直与 EPFL 的 Rachid Guerraoui 小组和 USI 的 Fernando Pedone 小组相助。这些相助的重点在于指导改造 Tendermint 相关的协议，譬喻分叉责任协议，gossip 机制以及 Merkleized 数据存储的高效同步。
在 2019 年期间，Interchain Foundation 大大扩展了其扶助打算，并将其研发机构扩展为一支由 10 多人构成的世界一流团队，致力于 Cosmos 软件和协议的开拓，包罗 Go 和 Rust 的实施事情以及 TLA +中的正式验证事情。这篇文章具体先容了 ICF 研发勾当的汗青，包罗与大学的外部相助，2019 年内部团队的生长以及关于 2020 年团队下一步成长的通告：创立一家新公司。
轻客户端研究和建模，包罗用于安详对等协议，具体的进攻分类法和初始 TLA +类型
外部相助自创立以来，ICF 一直致力于恒久的研究，并通过外部相助拓展本领。尽量 2017 年的研究主要会合在 Cosmos 网络的基本软件上，但 2018 年，ICF 开始与世界著名大学就暗码学，漫衍式系统和形式验证规模举办更遍及的研究相助。在 2019 年，一些专业常识被引入内部。
暗码学ICF 认识到加密技能成长的基础重要性，以及加密技能在开放式和去中心化网络的设计空间中解锁新名堂的潜力。为了支持暗码学研究的前沿规模，ICF 是斯坦福大学区块链研究中心的首创相助同伴，该中心在诸如累加器，防弹证明，可验证延迟函数等加密道理方面取得了开创性的希望，重点是它们在区块链技能中的应用。 ICF 还向加州大学伯克利分校的 Alessandro Chiessa 小组提供了资金，该小组正在零常识证明方面有许多创新。 Chiessa 与他人配合创建了 Starkware，接受西方首席科学家，辅佐这些开拓成就贸易化。
原文标题：《在 ICF 研发的已往 , 此刻 , 和将来 : 先容 Informal Systems》（Past, Present, and Future of R&D at the ICF: Introducing Informal Systems） Apalache 的改造，对 TLA+ 的 symbolic 模子的查抄 停止 2020 年 1 月，ICF 研发团队此刻是一家独立的加拿大公司， Informal Systems Inc ，其任务是为漫衍式系统和组织带来可验证性。这与 ICF 的去中心化，独立和可一连性代价观一致， Informal 组织的布局像一个相助社，每个成员在重要的公司事务上都有一票表决权。跟着团队继承他们在 Interchain Foundation 上的事情， Informal 依就是 Cosmos 生态系统的要害孝敬者，包罗完成 Tendermint 和 IBC 协议并在 Rust 中实施它们。请参阅 Informal 博客通告。 Tendermint 区块链 reactor 的完整重构（「快速同步」），使其更易于测试和验证其正确性，并作为重构其他 reactor 的示例。 对 Tendermint 的提案选择机制的主要修复，该机制在 「 Game of Stakes 」 中发明被粉碎 Interchain Foundation (ICF) 创立于 2017 年，其任务是促进开放式去中心化网络的研发，尤其偏重于 Cosmos Network。在整个 2017 年和 2018 年期间，ICF 主要为外部开拓团队（如 All in Bits (AIB)）提供资金，以构建启动 Cosmos Hub 所需的软件。在 2018 年底和 2019 年头网络推出之前，一些来自 AIB 的员工分开专注于在 ICF 上成立一个独立的团队来筹划资金打算，并成立形式验证和漫衍式系统的研发组织。在 Arianne Flemming 接受董事总司理之后，Ethan Buchman 接受技能总监，Zarko Milosevic 接受研究主管，，之后 Michael Niederer 插手，他自 2018 年头以来一直接受 ICF 的首席财政官。 Informal 的初始资金来自 ICF，形式为可转换债券，研究扶助和为期 2 年的软件开拓协议。软件交付品包罗所有 Tendermint 焦点和 IBC 协议的正式版类型，在 Rust 中实现 Tendermint 轻客户端和 IBC，以及在 Rust 中实现 Tendermint 全节点模仿器。研究成就包罗验证驱动的开拓框架及其在 Tendermint 和 IBC 中的应用。 通过增加底层协议的正确性担保，提供焦点组件的替代实现以及将开拓人员生态系统扩展到发达成长的 Rust 编程语言，这项事情将极大繁荣 Cosmos 生态系统。 Informal 还将继承辅佐打点 ICF 扶助打算和现有的研究相助，并与 ICF 相助将扶助打算成长成更去中心化的形式，以便可以更好地扩展并接收更多好处相关者群体的反馈。Ethan 将继承接受基金会理事会副主席，Ethan，Arianne 和 Andy （曾在 ICF 接受扶助打算的司理）将继承向 ICF 提供各类行政支持。 Informal 开放、分手的公司布局对付实现 ICF 支持开放式和去中心化网络的使命至关重要。 ICF 但愿看到更多这样的组织呈现，出格是在 Cosmos 生态系统中接受率领脚色的组织在其公司布局中浮现 Cosmos 和 ICF 的代价：开放，去中心化，主权，安详和可一连。 ICF 等候这些实体的一连成长和相助以及他们对 Cosmos 的打点。最后，接待 Informal 插手个中。 基于 Cosmos 的开拓和宣布进程中的履历，ICF 的团队开始认识到实际形式验证的重要性日益提高，并将其重点转向了形式验证 BFT 软件。出格是，ICF 研发团队开始与 TU Wien 和 INRIA 的 Josef Widder, Cezara Dragoi, 和 Igor Konnov 率领的小组相助，他们配合敦促了通过模子查抄和静态阐明形式验证 BFT 协议和软件的前沿规模。在 2019 年，Josef Widder 和 Igor Konnov 都插手了 ICF 团队，并一直致力于指导验证与 Tendermint 相关的协议。 上半年的重点是对 Go 中 Tendermint 的修复和改造，而下半年则转向了轻客端，形式验证和 Rust 的开拓。 ICF 研发团队在整个 2019 年的主要成绩包罗： tendermint-rs 的维护，Rust 中的 Tendermint 代码库 对 IBC 类型措施的孝敬 其他 Tendermint 组件的初始 TLA +类型 郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。
