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

Cosmoslinjm12272020-02-27 23:24:20  阅读 -评论 0  阅读原文

原文链接:

https://medium.com/@interchain_io/past-present-future-icf-r-and-d-introducing-informal-systems-e50d14383f05

原文作者:Interchain Foundation

本文转载自:真本聪

翻译:SHOU

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 的首席财务官。

Cosmos Network:https://cosmos.network

All in Bits (AIB):https://tendermint.com

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

外部合作

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

密码学


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

斯坦福大学区块链研究中心:

https://cbr.stanford.edu

Alessandro Chiessa 小组:

http://people.eecs.berkeley.edu/~alexch/

Starkware :https://starkware.co

分布式系统


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

Rachid Guerraoui :

http://lpdwww.epfl.ch/rachid/index.html

Fernando Pedone :

https://www.inf.usi.ch/faculty/pedone/

形式化验证


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

Josef Widder:https://forsyte.at/people/widder/

Cezara Dragoi:https://www.di.ens.fr/~cezarad/

Igor Konnov:https://konnov.github.io

研发团队, 2019

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

https://www.youtube.com/playlist?list=PLdQIb0qr3pnBbG5ZG-0gr3zM86_s8Rpqv

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

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

TLA+ :

https://medium.com/@interchain_io/icf-funding-program-2019-year-in-review-587724650938

此外,通过其资助计划(请参见 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 博客公告。

Informal Systems :

https://medium.com/@interchain_io/icf-funding-program-2019-year-in-review-587724650938

Informal 博客:

https://informal.systems/2020/02/24/introducing-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。您可以在 https://informal.systems 上了解他们,订阅他们的博客并在 Twitter 上关注他们。

Informal 服务:

https://informal.systems/services/

博客:

https://informal.systems/index.html#newsletter

Twitter:https://twitter.com/informalinc

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

来源:COSMOS

声明:链世界登载此文仅出于分享区块链知识,并不意味着赞同其观点或证实其描述。文章内容仅供参考,不构成投资建议。投资者据此操作,风险自担。此文如侵犯到您的合法权益,请联系我们kefu@lianshijie.com

参与讨论 (0 人参与讨论)

相关推荐

Cosmos 双周报 (2020.3.2-3.15)

Cosmos 双周报 (2020.3.2-3.15)

IBC 协议演示版本已发布!Cosmos 主网上线满一周年啦!Cosmos 发布了 2020 年 2月 社区以及治理更新;IRISnet 核心开发团队边界智能宣布开源联盟链 IRITA;还有更多关于 IRISnet、IOV、ChorusOne、Regen Network 等等 Cosmos 生态的最新进展!技术进展Cosmos 跨链通信 IBC 协议演示版本发布北京时间 3 月 17 日,Cosm

DeFi:不破不立 未来可期

原文标题:《Conflux 进阶课 | DeFi:不破不立 未来可期》原文来源:Conflux 中文社区引子:「活久见系列之 2020 年序幕」2020 年注定是载入史册的一年。

Cosmos 社区支出最佳实践

Cosmos 社区支出最佳实践

原文链接:https://blog.cosmos.network/cosmos-community-spend-best-practices-62aeac7daa28原文作者:Gavin撰写和提交社区支出治理提案是一个需要花费时间、精力和承担风险的过程。然而,提案也有可能为重要的 Cosmos Hub 工作提供基金。"社区支出最佳实践"文档的 1.0 版本旨在使社区支出提案更易于创建,并且更有可能

Cosmos 2020年2月社区新闻

Cosmos 2020年2月社区新闻

原文链接:https://cosmos.network/newsletters/2020-02/Cosmos 都有哪些新鲜事? ETHDenver 会议 - 你错过了什么? 新 Cosmos Burner 链- Peggy 版! 首个社区资助项目启动。 Tendermint 通过 Virgo UDV 项目加入了 INATBA。 Tendermint 核心团队宣布 2020 年路线图。

IRISnet双周报(2020.2.24-3.8)

IRISnet双周报(2020.2.24-3.8)

IRISnet(主网 IRIS Hub)是支持 DeFi 等各种复杂分布式应用的跨链服务枢纽。IRIS Hub 是采用 Cosmos SDK 开发的第一个可自进化的 BPoS 网络,其开发团队包括获得多个技术创新大奖的边界智能(Bianjie)以及 Cosmos 核心开发团队 Tendermint。IRISnet 提供支持 DeFi 应用开发的多种基础模块,并能支持公有链、联盟链以及传统商业系统之

与IC3联合主管、康奈尔计算机系教授Ari Juels畅谈预言机的未来

与IC3联合主管、康奈尔计算机系教授Ari Juels畅谈预言机的未来

2020年2月18日,Sergey Nazarov在加州旧金山与Ari Juels教授一起聊了聊预言机的整体格局和未来前景。MixiclesMixicles是运算型预言机的首个功能,该功能由Ari Juels、Lorenz Briedanback、Alex Coventry、Sergey Nazarov、Steve Ellis以及Brendan Magauran共同开发,并在2019年9月首次推出。

Cosmos 治理 2 月更新

Cosmos 治理 2 月更新

原文链接:https://blog.cosmos.network/cosmos-governance-february-update-8563c7784a43原文作者:GavinCosmos 治理 2 月更新 提案正在准备中!Sunny(All in Bits;Sikka)的提案建议改变罚没方式:https://figment.network/resources/cosmos-governanc

中国央行区块链贸易融资平台获批重点专项立项,将在未来三年获3235万元专项资金

2018 年 9 月,中国人民银行在广东省深圳市推出了区块链贸易融资平台。业内人士指出,这笔资金将有助于推动区块链贸易融资平台的发展,这是国家层面上支持力度最大、层级最高的区块链项目。

麦妖榜
更新日期 2019-09-03
排名用户贡献值
1牛市来了30910
2BitettFan24187
3等待的宿命23810
4区块大康20369
5六叶树20310
6linjm122719429
7天下无双16192
8lizhen00215280
9让时间淡忘14586
10yelanyi050511349
返回顶部 ↑