Skip to main content
網路要碰到自己沒有創造的資產,就得經過跨鏈橋。這套架構的其餘部分都是封閉系統,正確與否,任何人重放區塊就能核驗。跨鏈橋做不到這一點,因為它有一半在另一條鏈上,而那條鏈有自己的驗證者、自己的最終性、自己的失效模式。 這種不對稱決定了整個設計。存入和提領不是對稱的操作,而提領刻意做得比技術上所需更慢。

角色

外部鏈
Intention
跨鏈橋合約託管資產 · 釋放任何東西之前先驗證簽章使用者資金真正依賴的那個部件
驗證者觀測外部鏈,並對看到的內容簽章
Finalizer中繼,不是權威 — 造不出驗證者沒簽過章的提領
Governor驗證者集合與參數 — 沒辦法安全自動化的那些權限
一筆提領要聚合到足夠多的驗證者簽章才可執行 — 和共識同一套信任假設,只是跨過了鏈的邊界。
存入事件
聚合簽章
提領交易
驗證者觀測外部鏈,並對看到的內容簽章。一筆提領要聚合到足夠多的驗證者簽章才可執行:這和共識是同一套信任假設,只是跨過了鏈的邊界。 Finalizer(定案方)在外部鏈一側提交交易。它是中繼,不是權威:可以自己決定什麼時候提交,也可能提交不成,但造不出一筆驗證者沒簽過章的提領。 Governor(治理方)執行管理類操作:驗證者集合變更、參數更新。它掌握的,正是那些沒辦法安全自動化的權限。 跨鏈橋合約在外部鏈一側持有託管資產,並在釋放任何東西之前驗證簽章。它是使用者資金真正依賴的那個部件。

存入

存入是容易的那個方向。資金鎖進外部合約,合約發出一個存入事件;驗證者觀測到這個事件,入帳就在 Intention 上成為一筆協議原生的交易。 既然這筆入帳就是一筆普通交易,核心保證的一切它全部繼承:按規範順序執行,對帳戶造成的影響歸到自己名下,並且和其他任何狀態變更一樣出現在同一份輸出裡。某個部位快被強平,這時一筆存入補上保證金,清算所在同一個執行步驟裡就看得見,不必等之後的對帳。 你等的是外部鏈的最終性,不是 Intention 的。來源鏈的確認數要求一滿足,存入就入帳。

提領

提領是危險的那個方向,分兩個階段走,中間隔著一段爭議期。
在 Intention 上發起請求
由驗證者簽章,登記到合約上登記不等於放款
爭議期必須經過一段設定好的時間
定案資金釋放
已作廢在任何資金移動之前取消
為什麼要等每一次災難性的跨鏈橋事故都是同一個結構:攻擊者取得了授權提領的能力,資金在同一個區塊裡就沒了。爭議期把一次瞬間發生、無法回頭的損失,換成一段時間;在這段時間裡,人和監控還來得及動作。代價是正常的提領也要等。
期滿
有爭議
請求由驗證者簽章,登記到外部合約上。登記不等於放款:必須先經過一段設定好的時間,這段期間裡這筆提領可以被作廢,在任何資金移動之前取消掉。 這不是效能上的疏忽。每一次災難性的跨鏈橋事故都是同一個結構:攻擊者取得了授權提領的能力,資金在同一個區塊裡就沒了。爭議期把一次瞬間發生、無法回頭的損失,換成一段時間;在這段時間裡,人和監控還來得及動作。代價是正常的提領也要等。 提領是批次處理的——按組發起、按組定案,不是一筆一個交易——所以外部鏈手續費不會隨提領筆數線性增長。 失敗是顯式的。提領定案不了,會帶著錯誤碼發出一個失敗,不會悄悄什麼都不做;這樣卡住和被拒絕的差別就看得見,不必從「什麼都沒發生」裡去猜。

叫停跨鏈橋

出問題時有兩套機制。 作廢在爭議期內取消某一筆特定的提領。這是有針對性的處置。 鎖定是粗暴的那一個:指定角色可以把跨鏈橋鎖住,而需要多少這樣的角色共同行動,本身也是一個參數。這個機制是用來因應「出事了,但還不知道出的是什麼事」:它切斷整條流,不逐筆去裁定交易。
這些控制手段既讓爭議期真正有用,也真的就是信任假設。能鎖定跨鏈橋的一方,同樣能擋住正常的提領。這是刻意的取捨:跨鏈橋一旦失效就是災難性且不可逆的,而「能夠叫停」的價值高於「保證它永不暫停」。參見風險揭露。

驗證者集合變更

外部合約必須知道驗證者是誰,所以驗證者集合一有變更,就得跨過邊界傳過去。變更先提出,再用單獨一步定案,不是一提交就生效:和提領同樣的兩階段形態,理由也相同。

風險到底在哪裡

值得直說,因為跨鏈橋正是使用者虧錢的地方:
  • 在 Intention 一側,跨鏈橋是普通的。 一筆已入帳的存入就是一筆普通交易,帶著普通的保證。
  • 在外部鏈一側,你依賴的是合約和簽章門檻。 這是和共識不同的安全模型,也單獨接受稽核:跨鏈橋正是接受第三方審查的那個元件。
  • 在兩者之間,你依賴驗證者正確觀測,以及 Finalizer 完成提交。兩者都偽造不出一筆提領;兩者都可以拖延一筆提領。
支援的鏈、資產、確認數要求,以及爭議期的長度,都是隨每次發布而變化的營運參數。權威數值以你轉帳當下、交易所存入和提領對話框裡顯示的為準;參見存入與提領。

後續閱讀

存入

面向使用者的存入路徑,含當前支援的鏈與時長。

非交易類費用

一筆提領要花多少錢,以及存入為什麼免費。

清算所

一筆存入落地的那一刻,對保證金做了什麼。

風險揭露

以風險形式陳述的跨鏈橋信任假設。