Minimmit, Multimmit and the New Consensus Frontier with Patrick O'Grady
三句話摘要
Commonware 創辦人 Patrick O'Grady 分享可組合區塊鏈原始語庫的設計哲學,以及容錯假設轉變如何激發新的共識研究(Minimet、Multimet)。 容錯假設的典範轉移(Alpine Glow 的 5F+1 模型)打破了 33% 的 BFT 天花板,Commonware 透過可組合原始語庫與前沿共識研究(Minimet/Multimet)將全球交易定終延遲壓低到 200-300 毫秒,同時賦予驗證者推翻領導者的審查抵抗力。 反向 Linux 架構:Commonware 刻意暴露棧各層級控制,讓開發者自訂執行環境、共識機制、密碼學實現,而非像 Cosmos SDK 只允許應用層以上定制。2-3 個月能組裝一條定製鏈,代價是額外深度但回報是長期維護成本降低及效能優化彈性。
重點整理
重點- 1
反向 Linux 架構:Commonware 刻意暴露棧各層級控制,讓開發者自訂執行環境、共識機制、密碼學實現,而非像 Cosmos SDK 只允許應用層以上定制。2-3 個月能組裝一條定製鏈,代價是額外深度但回報是長期維護成本降低及效能優化彈性。
- 2
容錯假設的典範轉移:Alpine Glow(Solana 2025)實現單輪投票定終的關鍵是將容錯預算分離為獨立的 Byzantine 和 Crash 容限。傳統系統把 33% 當一個整體預算;新模型允許 20% 惡意加 20% 崩潰,打破了 PBFT 理論界線,釋放單輪設計空間。
- 3
Minimet 與 Multimet 的遞進:Minimet 是 5F+1 設定下的乾淨構造,實現更短視圖延遲;Multimet(剛發布)進一步允許並行 mini-commits 且驗證者可推翻領導者審查,使用者交易在全球分布式網路達到 200-300 毫秒端到端定終。
- 4
持續安全框架:放棄點時審計迷思,改採 24/7 Fuzzing(與 Asymptric Research 合作)加 QED audit 自動 bug 檢測,再輔以 ZK Security 專家(Koby、David Wong)的定期審視,確保原始語庫隨時間演進的可靠性。
實用技巧與重點
乾貨- 組織與資源
- 11 名工程師 + LLM 工具
- 開源:MIT、Apache 2 雙證
- Commonware Library
- 原始語數量:40+ dialects
- 核心模組:P2P 網路、DKG、Simplex 共識、狀態管理、密碼學
- 決定性模擬測試 runtime(Rust)
- 共識演進
- Simplex:最初選擇,已被 Tempo、Tom、Solana Alpine Glow 採用
- Alpine Glow(Solana):20% Byzantine + 20% Crash 容錯,單輪投票定終
- Minimet:5F+1 設定,快速視圖生成,定終延遲 ~150 毫秒
- Multimet:並行 mini-commits,定延遲減至 ~200-300 毫秒
- 密碼學研究團隊
- Lucas(Panumbra 背景):ECDSA 閾值簽名、DKG 實現
- Golden DKG 實現(Chelsea、Benedict 協議)
- Valmsey(UC Berkeley 博士):見證加密、批量閾值加密、多標籤 IBE
- 私密支付原始語開發中
- 安全驗證
- Asymptric Research:24/7 Fuzzing
- QED audit:自動化 L bug finding bot
- ZK Security:點時審計專家(Koby、David Wong)
- 技術參數
- 全球平均網路延遲假設:100 毫秒
- Simplex 定終延遲:300 毫秒(3 × 100 ms delta)
- Multimet 目標:200-300 毫秒端到端定終
- 開發工具
- AI 生成互動圖表、原生 JavaScript 視覺化
- Commonware 網站:純文字設計,一級篩選工具
結論
結論“容錯假設的典範轉移(Alpine Glow 的 5F+1 模型)打破了 33% 的 BFT 天花板,Commonware 透過可組合原始語庫與前沿共識研究(Minimet/Multimet)將全球交易定終延遲壓低到 200-300 毫秒,同時賦予驗證者推翻領導者的審查抵抗力。”
完整解析
詳細Patrick O'Grady 初入加密圈起於 2014 年,當時因 Greece 債務危機導致銀行提款限制,他看到 Bloomberg 報導比特幣 ATM 無限制提款,「我完全理解」。18 歲時用 2000 美金買進比特幣,從 150 漲到 300 美元時全部賣掉,結束了他的第一次交易生涯。他自嘲是工程師而非交易員。
Stanford 畢業前夕,一場校園招聘時他被免費玉米捲吸引,與 A16Z 招聘官聊天後收到 Coinbase offer。時值 2018-2019 年熊市,比特幣從高點下跌 80-90%,很多人勸他別去。他的判斷是「將價值轉移到位元上是太好的想法,不可能行不通;如果行得通,Coinbase 會在其中」。他在 Coinbase 的 20 人加密團隊待了近兩年,維護所有觸及區塊鏈的系統——冷錢包管理、跨鏈協議整合等。期間他主導 Rosetta 項目,建立通用區塊鏈讀寫規範,目的是讓資產上市無需 Coinbase 團隊逐個適配。這個規範最終要求 Solana 新增時戳欄位、Cosmos 實現原子餘額查詢等協議級改動。
2020 年轉向 Avalanche 時,教授 Emin 和共同創辦人 Kevin 給了他一個緊迫感論證:異質擴展浪潮正至,Polkadot 即將上線、Layer 2 方案遍地開花,此時進入協議層工作「幾年後再無這等機會」。他在 Avalanche 3 年半見證了權益證明從 20-100 節點跳躍到數千驗證者,以及在「互相競爭陣營」(Ava 派 vs Polkadot 派)中的協議創新。離職時他已經認知到頂尖工程師在約束下會想破腦殼去繞過限制——你告訴他「不能改執行環境、不能改共識週期、不能改存儲」,他不會說「好的」,而是會想辦法 hack。既有框架(如 Cosmos SDK)像 Linux 一樣鎖定了底層,只暴露應用層自訂,理由是「改核心會引入 bug 且難維護」。但過去十年的研究顯示,新演算法和架構創新需要深層控制。
Commonware 基於 Linux 類比而生——不是每個應用都需要自己的 OS,但給予開發者足夠控制使其能應對問題演進。初期他一個人邊造邊測:P2P 模組 → 加密基礎 → Simplex 共識 → 發現測試無法驗證正確性,反過來建決定性模擬 runtime → 回過頭重構 P2P 整合 runtime → 加狀態、執行層。整個堆棧 40+ 原始語互不依賴,靠 runtime 編排與測試來保證穩定性。安全層面他拒絕點時審計迷思(代碼總在變),轉向持續驗證框架:Asymptric Research 團隊 24/7 Fuzzing(「Fuzzing 是你遇過最好的工程師」)、QED audit 的自動 bug 檢測、ZK Security 專家的定期深潛。Commonware 刻意保持原始語名稱透明(直接標「Simplex」而非「Commonware 特製共識」),目的是讓使用者知道他們在維護什麼、能預估升級風險。
轉折發生在 2025 年 Solana Accelerate 大會。Roger 發表 Alpine Glow,一個激進的容錯重新定義:不再是單一 33% 的 BFT 預算,而是獨立的 20% Byzantine 加 20% Crash 容限。這意味著你可以用單輪投票達到定終,而傳統 3F+1 系統需要兩輪(提案 100ms + 投票 100ms + 確認 100ms = 300ms)。Alpine Glow 砍掉一個確認輪 → 150ms。Patrick 當下意識到「我們的 Simplex 優化已經碰到 3F+1 的理論天花板,新的容錯模型開啟了全新設計空間」。
隨後他們發布 Minimet(5F+1 下的乾淨共識構造,重新思考法定數量形成,實現更快視圖)。再來是 Multimet(兩天前剛發布),核心創新是:允許驗證者並行廣播交易資料(decoupled broadcast)且無預步驟延遲。其技術要點是投票時同時涵蓋領導者的區塊尖端加上自己觀察到的其他驗證者尖端,形成「多次 mini-commits」。Minimet 的法定數量特性保證:只要有足夠驗證者確認某筆交易,領導者必被迫在下一輪擴展它—即使領導者沒看到。這样就跳過了傳統 Audubon 方案的七步程序。結果是使用者無論在地球哪處、無論誰是領導者,都能在 200-300 毫秒內見到交易定終(假設全球平均延遲 100ms)。另一妙處是驗證者多數能推翻領導者審查——領導者無法審查某筆交易,因為其他驗證者已在法定人數級別確認它。
Patrick 聘了 Lucas(Panumbra 背景)負責密碼學審核,發現需要深化研究。他又拉入剛從 UC Berkeley 博士畢業、專精見證加密的 Valmsey,發表了批量閾值加密和多標籤 IBE 工作,用於隱私 mempool(交易在定終前加密,驗證者無法看內容也無法排序,事後才解密)。團隊刻意保持 11 人規模,用 LLM 替代追加招聘——Patrick 驚嘆 AI 的圖表生成能力,「一年前不可能做到的互動視覺化現在瞬間完成」,大幅加快了文檔和溝通。
關鍵時刻
Pipeline v2帶時間戳的重點,會在逐字稿層級分析上線後產生。目前請先透過原始影片觀看。
事實查核
Pipeline v2說法查證是下一次管線升級的一部分。KeyFrame 只會顯示它真正能驗證的內容。


