表现
RD 熱度指數
RD 增長指數
比較
跟隨更新
跟隨列表
人物
關於Informal Systems
Informal Systems 是 Cosmos 網路的核心軟體開發者，專注於 Tendermint 共識引擎與 IBC 跨鏈通訊協議，並強調形式化驗證。其主要業務包括：為區塊鏈網路提供高安全性的共識機制、開發跨鏈互通標準，以及營運驗證者節點（例如 Informal Staking）以支援網路去中心化。 市場痛點在於區塊鏈缺乏統一且安全的通訊協議；共識演算法易受攻擊且難以進行形式化驗證，導致跨鏈資產轉移與生態協作存在信任風險。Informal Systems 透過使用形式化方法（例如 TLA+ 規格）驗證關鍵協議，並推動 IBC 成為產業標準，從而解決互通性與安全性挑戰。 在過去六個月（2026 年 3 月至 9 月），該公司持續推進與 Starknet 等 Layer 2 網路的合作，將 IBC 整合至非 Cosmos 生態系統，以擴大跨鏈覆蓋範圍。同時，其驗證者節點服務仍保持活躍，並參與多個區塊鏈網路的共識安全審計。整體而言，近期發展重點在於拓展 IBC 應用場景並強化協議的形式化保證。
非正式系統成立於2020年初，由Ethan Buchman、Zarko Milosevic、Josef Widder等人共同創立，源自Interchain基金會，旨在為Cosmos網路提供嚴謹的協議工程。其首個重大專案是IBC協議的Rust實作與TLA+形式化規格；模型檢查的結果促成了協議改進，而Hermes中繼器也在2021年IBC啟動後開發並投入生產環境。該團隊亦正式驗證了Tendermint輕客戶端，並持續維護其Rust實作。2022年夏季，非正式系統接管Tendermint Core（Go）的維護工作，在v0.35/v0.36版本撤回後重建信任，推動ABCI 2.0進展，並釋出v0.37/v0.38版本。其開發的Apalache符號模型檢查器應用於多項核心協議的安全性稽核與規格驗證，包括Tendermint共識機制、輕客戶端及快速同步。2023年，非正式系統協助Cosmos Hub推出V8與V9版本，其中V9導入複製安全性，為跨鏈共享安全奠定基礎。這些成果奠定了Cosmos生態系統中形式化方法與基礎設施的基石。
Informal Systems 由 Ethan Buchman、Arianne Flemming 及 Zarko Milosevic 共同創立。 Ethan Buchman（執行長）是 Cosmos 與 Tendermint 的共同創辦人，曾任 Interchain 基金會技術總監，並擁有圭爾夫大學碩士學位。他亦領導 Cycles Protocol。 Arianne Flemming（營運長）畢業於普林斯頓大學，創立多家公司，並曾擔任 Creative Destruction Lab 機器學習副總監。 Zarko Milosevic（技術長）擁有 EPFL 分散式系統博士學位，專精於共識協議與形式化驗證。