KeyFrame內部研究專用

Minimmit, Multimmit and the New Consensus Frontier with Patrick O'Grady

Zero Knowledge·8月5日週三·72 min英文

三句話摘要

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 只會顯示它真正能驗證的內容。

更多「Web3 安全」的內容

IF YOU OWN XRP YOU NEED TO SEE THIS PRICE MANIPULATION! ⚠️
8 min
Web3 安全英文8月14日

IF YOU OWN XRP YOU NEED TO SEE THIS PRICE MANIPULATION! ⚠️

Zach Humphries

  • 機構支撐的積極意義:價格操縱常被視為負面,但Ripple掌握大量XRP供應與escrow,在熊市期間提高價格下限,實際上替零售投資者鎖定了低風險的積累區間,這不是剝削而是市場穩定機制。
  • 歷史模式驗證:2024年7月至11月XRP在50美分附近橫盤整理,低點觸及42美分(wick),高點65美分;隨後11月5日至12月5日單月上漲456%,年底到2025年初累計漲幅534%,這個歷史周期正在1美元價位重演。
  • 比特幣聯動邏輯:講者在4-5月就預測「如果比特幣跌至60k以下,XRP會跌至1美元或更低」,此預測精準應驗,反映出熊市中兩者的明確連動關係。
Private Information Retrieval (PIR) with Alex Hoover
64 min
Web3 安全英文PODCAST7月29日

Private Information Retrieval (PIR) with Alex Hoover

Zero Knowledge

  • PIR 保護的是訪問模式,不是資料本身
  • PIR 與加密不同,它關注的是隱藏「客戶端查詢了什麼」,而非「資料是否加密」。在公開資料庫(如區塊鏈)上,客戶端可以在不洩露查詢對象給伺服器的情況下檢索特定條目,解決了輕量級客戶端的隱私和防審查問題。
  • 客戶端預處理方案是突破瓶頸的關鍵
駭客新戰術!82%審計過的跨鏈橋竟成最大漏洞?
5 min
Web3 安全中文7月28日

駭客新戰術!82%審計過的跨鏈橋竟成最大漏洞?

加密密碼

  • 審計已淪為虛假保障:82%被攻擊的橋接協議都有第三方審計認證,這說明現行審計機制存在根本性漏洞,單純依賴審計認證無法確保安全,投資者不應盲目信任審計標籤。
  • 機構在做投票表決:BTC現貨ETF連續11天淨流入,Solana等生態幣卻跌破500億美元(創兩年新低),機構寧可付0.3%管理費給貝萊德也拒碰生態幣;BTC與生態幣匯率跌至0.049,等於市場願付21%溢價購買BTC的安全性而徹底放棄風險資產。
  • 黑客攻擊模式精準化進化:不再硬碰硬,而是專挑週五晚至週一凌晨防守真空期;被攻擊後平均17天才洗錢(等待82%的受害專案在30天內重新開放跨鏈功能),藉此發動第二輪掠奪;攻擊成本暴跌至3.2萬美元,黑客用買二手車的錢就能敲開百萬級資產。