支持 Commos 研發的基金會 Interchain Foundation 宣佈拆分其研發團隊,組建新的 Informal Systems。瞭解 Interchain Foundation 研發的過往與現在,以及新團隊的研發計劃。

原文標題:《在 ICF 研發的過去 , 現在 , 和未來 : 介紹 Informal Systems》(Past, Present, and Future of R&D at the ICF: Introducing Informal Systems)
撰文: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 的首席財務官。

在 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 +規範
  • tendermint-rs 的維護,Rust 中的 Tendermint 代碼庫
  • 在 Rust 中初步實現 Tendermint 輕客戶端
  • 其他 Tendermint 組件的初始 TLA +規範
  • Apalache 的改進,對 TLA+ 的 symbolic 模型的檢查

通過參與密碼學,分佈式系統和形式驗證領域的軟件開發和研究活動,ICF 團隊變得越來越有興趣做由形式驗證驅動的軟件開發方法。因此,團隊付出了更大的努力,並專注於規範和 TLA+ 等正式語言。驗證驅動的開發方法是由形式驗證軟件和協議驅動的,可爲其提供更大的正確性保證。

此外,通過其資助計劃及其招聘渠道的運作,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 服務的更多信息,請發送 電子郵件 。您可以 瞭解他們,訂閱他們的博客並在 Twitter 上關注他們。

Informal 開放、分散的公司結構對於實現 ICF 支持開放式和去中心化網絡的使命至關重要。 ICF 希望看到更多這樣的組織出現,特別是在 Cosmos 生態系統中擔任領導角色的組織在其公司結構中體現 Cosmos 和 ICF 的價值:開放,去中心化,主權,安全和可持續。 ICF 期待這些實體的持續發展和合作以及他們對 Cosmos 的管理。最後,歡迎 Informal 加入其中。

來源鏈接:medium.com