跳到正文
Financial Context Wiki

模組化區塊鏈架構

從依賴關係出發，分析執行、排序、資料可用性、共識、結算、證明、橋接、治理與歸檔職責的拆分。

更新於

僅供教育參考，不構成協議、橋接或安全建議。模組化標籤不能定義系統保障；請針對特定版本與資產，核對每個已部署元件、資料路徑、證明、時鐘、管理員、橋與復原路徑。

直接答案

模組化區塊鏈架構是一種分析系統如何分配職責的方法，而不是標準化產品類別。執行、交易排序、狀態承諾、證明或爭議、資料發布與共識、結算、橋接、治理和長期歸檔，可以組合在一個協議中，也可以拆分至多個系統，或由多家供應商重複承擔。一個層可以負責多項職責，一項職責也可以依賴多個層。

真正有用的問題不是專案是否「模組化」，而是哪個元件驗證什麼物件、由誰控制、停止運作後會怎樣，以及使用者如何獨立復原狀態或資產。排序器收據不等於資料可用性或最終性；有效性證明不提供資料；結算鏈上的承諾不證明資料可永久檢索；共享結算也不會帶來跨 Rollup 的同步可組合性。

運作方式

  1. 鎖定已部署系統：執行鏈與結算鏈 ID、協議版本、虛擬機、合約、橋與資產地址、資料可用性模式、營運者、管理員，以及觀察區塊或時間。行銷分類不能取代實際部署設定。
  2. 建立責任矩陣。分別列出交易入口與排序、確定性執行、狀態承諾及證明或錯誤爭議、DA 發布及其共識、結算接受與最終性、橋與跨域訊息、升級與暫停、歷史儲存。記錄職責重疊，不要強行將一項職責塞入一個層。
  3. 端到端追蹤一筆交易及其批次：已簽署輸入、排序器或本機收據、有序執行、編碼壓縮後的批次、calldata、Blob 或外部 DA 發布、狀態主張及證明或爭議、結算最終性，最後是訊息或提款執行。在每個邊界保存雜湊、版本、收據與時鐘。
  4. 識別每個被驗證物件與信任假設。區分資料承諾與實際位元組、協議窗口內可用性與日後可檢索性、執行有效性與共識最終性、橋接帳務與資產流動性。註明誰能重播、證明、挑戰、審查、升級、暫停或扣留各物件。
  5. 重建容量與費用帳本。測量原始及壓縮位元組、批次占用率、DA 價格、證明與結算開銷、執行與營運費用、橋接 gas 與流動性費用。批次平均分攤不等於使用者實際收費，也不等於新增一筆交易的邊際成本。
  6. 演練故障，而不只查看正常路徑吞吐量。停止排序器、批次發布者、證明者、挑戰者、DA 服務、結算 RPC 與橋接中繼；在壅塞及升級邊界下測試強制納入、獨立派生、資料重建、證明或挑戰、重試、退出與歸檔復原。
  7. 依規範證據核對。將執行收據與狀態根和批次承諾、DA 納入、證明或爭議遊戲狀態、結算最終性、橋接訊息與最終資產餘額相配。發生重組、參數變更、合約升級或 DA 遷移後，重新審查依賴關係。

計算範例

  • 批次成本與壓縮。 某批次包含 5,000 筆交易，原始輸入為 2,400 KB，壓縮後為 300 KB。壓縮比為 2,400 / 300 = 8.0x，位元組數減少 87.5%。若 DA 成本為 0.020 ETH，共享證明與結算開銷為 0.005 ETH，則共享平均成本為 (0.020 + 0.005) / 5,000 = 0.000005 ETH/tx。再加上 0.000020 ETH/tx 的執行與營運成本，總平均為 0.000025 ETH/tx。這是成本分攤，並非保證帳單。
  • 取樣模型邊界。 在教學模型中，攻擊者扣留 25% 的份額，用戶端進行 20 次有放回、獨立、均勻取樣。每次都錯過被扣留份額的機率為 0.75^20 = 0.003171211939 = 0.3171211939%，偵測機率為 99.6828788061%。相關節點、自適應回應、抹除編碼及實際協議的取樣規則，都可能使此簡單模型失效。
  • 委員會安全性與活性。 一個 5-of-7 DA 委員會在最多 2 名成員無法運作時仍可形成新的門檻證明；若有 3 名無法運作，則只剩 4 < 5。在只考慮簽章的教學規則下，控制 5 名授權簽署者即可滿足門檻。但憑證仍不能證明存在五份持久副本、使用者目前能取回位元組，或執行與結算有效。
  • 多個時鐘與快速退出。 教學情境中，暫定確認在 2 seconds 後到達，批次在 8 minutes 後發布，結算在之後 13 minutes 達到最終性，精確經過時間為 21 minutes 2 seconds。若樂觀提款另加假設的 7 days，總時間為 10,101 minutes 2 seconds。快速橋以 0.15% 的費率處理 10,000 USDC，費用為 15 USDC，交付 9,985 USDC；速度引入了橋、流動性提供者與重組假設，而不是縮短協議時鐘。

風險

  • 誤判實際職責或層級邊界。
  • 排序器審查、重新排序或停止運作。
  • 強制納入無法使用、需要許可或過於緩慢。
  • 批次發布者或狀態提議者停止運作。
  • 集中式證明者故障或證明積壓。
  • 沒有活躍、合格且資金充足的錯誤挑戰者。
  • 爭議遊戲時鐘、保證金、預言機或驗證器故障。
  • 有效性電路、證明系統或驗證金鑰缺陷。
  • 在要求的可用窗口內發生資料扣留。
  • 相關取樣、節點隔離或網路視圖故障。
  • DA 委員會門檻共謀或金鑰外洩。
  • 協議資料當時可用，但缺乏持久的獨立歸檔。
  • 結算層重組或最終性誤判。
  • 橋、訊息傳遞器、重播或目標執行故障。
  • 快速橋資不抵債、庫存不足或定價不利。
  • 管理員、多重簽章或安全委員會遭入侵。
  • 即時升級、版本不相容或退出延遲不足。
  • DA 費用飆升、Blob 壅塞、批次縮小或補貼到期。
  • 狀態、資料、證明、合約或用戶端版本不相符。
  • 非同步跨域排序、部分完成或可組合性故障。

常見誤解

  • 模組化架構一定比單體設計更去中心化。
  • 有效性證明可以取代資料可用性與歷史檢索。
  • 在以太坊結算會將以太坊的每項安全屬性帶入所有元件。
  • 排序器顯示成功代表最終結算且提款可以執行。
  • 更高 TPS、共享 DA 或共享結算可以保證成本更低與同步可組合性。

相關主題

資料來源

導覽

搜尋知識庫...