L2 橋接風險架構：如何評估跨鏈橋安全性？_SWAP:LAYER

撰文：bartek.eth

我和來自 Socket 的 Vaibhav Chellani 想要提議一個用來評估不同橋接架構安全概況的風險架構。

與各種 L2 的風險框架一樣，我們的總目標在于，能夠快速將某一解決方案「分類」到具有相似特征的某特定解決方案類別中，同時可以足夠細致地向用戶呈現他們使用這些橋接時需要接受的安全假設有哪些。

我們主要關注在以太坊和其他鏈之間的橋接，因為我們即將在 l2beat.com 上介紹這些 ( 譯者注：目前橋接一欄已上線 )，但是，關于這些解決方案安全性的基本推理也適用于任何鏈與另一條鏈的橋接。此刻，我們正在尋找更廣泛社區對這個提議框架的反饋。

對于終端用戶來說，資產橋接是指從來源鏈（source chain）接收某種資產的存款，并將這筆資產打給處于目標鏈（destination chain）上的用戶。

Uniswap貢獻者提議在Coinbase L2 Base部署DEX:金色財經報道，Uniswap貢獻者已經開始討論在Coinbase的Layer 2 Base上部署的可能性。該提議是由三個Uniswap貢獻者團體提出的，即she256、密歇根區塊鏈和GFX實驗室。

該提案背后的團體構成了Uniswap的去中心化自治組織的一部分。三人中的GFX實驗室將負責在Base上進行合約的技術實施，但前提是該提議獲得批準。[2023/5/18 15:09:52]

比如，典型的橋接流程就是，Alice 將資金轉至 A 鏈的橋接合約，而后 Alice 在 B 鏈上收到來自橋接的資金。

廣泛來說，這種流程有兩種發生方式：

基于消息傳遞的代幣橋接 —— 這些橋接能讓流動性以消息傳遞的形式跨鏈流動。一般，它們允許一筆資產在來源鏈上鎖定或銷毀后，在目標鏈上鑄造出來。例子：Rollup 橋接、Polygon 原生橋接、Anyswap（anyCall）和 Axelar 網絡。

流動性網絡 —— 也有橋接會兌換一些已鑄造出來的資產。他們允許用戶將資產轉移至另一些鏈上，并假設這些資產已通過“消息傳遞”橋接（Message Bridge）提前將資產轉移過去。例子：基于 Nomad 橋接的 Connecxt、基于 Hop Optimistic Bridge 的 Hop、一些其他 HTLC（Hash Time-Lock Contract，哈希時間鎖合約）和條件式轉賬（如 nova 等）。

以太坊核心開發者會議：討論EIP-4844和L2 EIP，預計接下來會議確定坎昆升級范圍:5月12日消息，以太坊核心開發者 Tim Beiko 發推總結最新一次的執行層會議討論內容，本次會議討論大部分都集中在 EIP-4844 上，并對 L2 EIP 進行了一些簡要討論，以及 Cancun 整體計劃。

MarioVega.eth 提出了一個關于區塊有效性條件的問題，該條件由某些客戶端隱式實現，但不是全部。我們同意將此作為明確的有效性條件。此外，Geth 團隊正在增加對 c-kzg 和 go-kzg 的支持，以允許用戶在遇到錯誤時輕松切換。會議還討論了兩個 EIP，其中一個包括 EIP-6969（在以太坊 L2 上引入 / 標準化 CSR 的提議）。Tim Beiko表示，希望在接下來的一兩次會議中可以最終確定升級的范圍。[2023/5/12 14:58:42]

在這一部分，我們會試著闡釋這些被多個橋接協議使用的驗證跨鏈消息的不同方式。如上圖所示，代幣橋接會利用消息傳遞型橋接的安全性。

描述：在目標鏈上驗證來源鏈狀態轉換有效性的橋接。該驗證過程通過零知識證明實現 ( 狀態轉換過程伴隨著一個 zk 證明的生成 ) 或是欺詐證明系統完成 ( 允許獨立的驗證者就新狀態根的有效性提出爭議）。

Juno 已恢復除加密支付和 L2 存提款之外的大部分服務:2月7日消息，加密友好支票賬戶應用 Juno 現已恢復其核心加密服務產品，并推出幾項新功能，包括：新增支持 SOL、ADA、SHIB、DOGE 在內的超過 35 種加密貨幣，減少新的和現有代幣產品的利差，為每一美元的非穩定幣代幣交易提供零交易費激勵和獎勵計劃。

Juno 現已恢復大部分服務，但加密支付服務和 L2 存提款服務仍在努力恢復中。Juno 曾于 1 月初因其托管人 Wyre 的動蕩而暫停服務。（ CoinDesk）[2023/2/7 11:52:02]

例子：所有 Rollup 都算是這里的例子，L1 會通過 FraudProof（欺詐證明）或 ValidityProof（有效性證明）驗證 L2 的狀態轉換。

描述：在目標鏈上驗證來源鏈共識的橋接。這取決于來源鏈所使用的共識機制，通常包括對當前驗證者委員會的 quorum 簽名的檢查，如果其來源鏈使用的是 PBFT 式的提議和投票（propose-and-vote）共識協議（如 Tendermint、HotStuff、Casper FFG 協議）。或者，如果來源鏈使用 PoW 協議或“最長鏈”式的 PoS 協議（如 Ouroboros、ETH 2.0 LMD Ghost 等），則使用相關的分叉規則檢查最長鏈。

跨鏈路由協議Multichain集成到Nervos L2 Godwoken:9月13日，據官方推特宣布，跨鏈路由協議Multichain集成到Nervos Layer 2 Godwoken，現允許USDC、USDT、DAI、ETH和wBTC和其他11個主流鏈之間的無縫轉賬。

據悉，Godwoken是Nervos CKB上EVM兼容的Optimistic Rollup L2解決方案，Encentive和Nervos生態系統的深入整合，將降低用戶準入門檻，并加速Web2數十億用戶向Web3的遷移。[2022/9/13 13:26:08]

例子：NEAR Rainbow 橋接（忽略與 NEAR 簽名機制驗證過程的復雜性相關的 Optimistic 構成部分），Polygon 的 PoS 橋接（檢查 Heimdall 鏈的共識）以及 Cosmos IBC（驗證另一條 Cosmos 鏈的簽名）。

描述：使用外部驗證者作為事實來源的橋接，即形成一個獨立委員會的驗證者們，而不是來源鏈和目標鏈上的驗證者。這取決于這些驗證者所采用的實現，他們可能會使用 MultiSig （多簽）、運行共識算法（通常是來自提議和投票的一類的算法）、使用 Threshold Signature 機制（TSS，門限簽名機制）或 SGX 等……無論它們使用什么技術，都屬于這種驗證方式。

L2 Labs在以太坊測試網Ropsten上推出Layer2 平臺ZKSwap:L2 Labs昨日在以太坊測試網Ropsten上推出了Layer2去中心化交易平臺ZKSwap。據悉，ZKSwap通過ZK-Rollup技術把所有ERC-20 token轉移到Layer2上，再基于不斷生成的零知識證明來保證Layer1和Layer2狀態的一致性。ZKSwap有這樣幾個特點：零gas費用；TPS理論上達到每秒6000筆；所有交易都遷移到Layer2，所以可以實現實時交易。[2020/11/17 21:04:23]

例子：Wormmhole、Multichain、Axelar、DeBridge、Synapse、Stargate。

描述：具有挑戰期（challenge period，譯者注：指其他驗證者發現橋接消息無效時，可以對其有效性進行挑戰的時間段）的橋接。

這類驗證方式中的誠實一方會在此期間內避免納入欺詐信息。然而，這里有幾個關鍵參數需要考慮：

挑戰期時長：越長越好

Watcher 集規模：無需許可 > 需要許可

例子：Hop Protocol、Connext Amarok、Across、Nomad Token Bridge。

描述：有一種混合以上各種驗證方式的結構。

除了真的跨鏈發送資產以外，還有另一種的方法：跨鏈兌換（swap），只通過易手而不用跨鏈移動資產，就能進行跨鏈兌換。（譯者注：易手即一方資產成為另一方所有，即資產所有者發生更換。）

舉個簡單的例子：A 鏈上的 Alice 想要將資產轉至 B 鏈。Bob（流動性提供者，LP）在 B 鏈上已經有了一樣價值的資產，他用自己在 B 鏈上的這筆資產為 Alice 在 A 鏈上的余額提供兌換服務，并收取服務費。最終，Alice 會獲得 B 鏈上的那筆資產，Bob 則能獲得 A 鏈上的那筆資產 + 服務費。

這部分僅描述了「兌換」協議的安全性，即 LP 在接受了你在來源鏈上的存款后，有多大可能會攜款潛逃。這些兌換資產擁有鑄造出它們的消息傳遞型橋接的安全性。

也有一些其他兌換資產的方式：

HTLC: 又稱哈希時間鎖合約，可以用于跨鏈兩方之間進行原子兌換資產。通常只需要用戶做兩步操作，一是鎖定，二是解鎖。可能發生的失敗情況是，你的資金會在固定的“休眠”期限內被鎖定。例子：Connext NXTP、Liqualit。

條件式轉賬（Conditional Transfer）：允許 LP 通過捷徑消息橋接，以此讓 LP 可以在任何橋接資金時，立即為終端用戶提供資金，并從消息傳遞橋接中接收資金。在失敗情況下，如果沒有 LP 提供流動性，則會激活慢速路徑（slow path）。例子：Hop、Connext Amarok、MakerDAO Teleport。

外部驗證者：讓用戶可以將資金轉至受信任的橋接提供者處，提供者會承諾釋放資金至另一條鏈上。這里可能出現的失敗情況是，你的資金會丟失。例子：幣安

我們將了解橋接發出的單條消息被審查可能性有關的安全假設。更實際地，我們也將探究單條消息 ( 代幣轉賬 ) 是否會被橋接所審查或是忽視，如果會被審查，用戶的資金會有什么后果（這些資金會被返還給用戶，還是卡在「轉賬中」的狀態里）。

典型的解決方案：

利用基礎鏈的抗審查性（例如，一些 Rollup）

依賴于驗證者集的誠實

在總體的活性故障方面，我們將來看看「關閉」橋接的后果。例如，對于使用外部驗證者集的橋接，我們可以看看在這些驗證者長時間離線（可能是無限期離線）的事件中用戶資金的安全性。一般可能發生的情況包括：

激活慢速路徑：默認模式為慢速路徑，不會損失資金

自己進行質押：用戶可以質押參與網絡，成為驗證者并自己處理卡住的轉賬事物

凍結：暫停系統，直到橋接運行方上線之前無法運行

在這一部分，我們將試著分析橋接資產可用的流動性。橋接可以鑄造資產嗎，需要 LP 嗎，用戶可以一直提款或轉移他們選擇的任意數量代幣嗎，或者他們依賴于外部的 LP，并且橋接可能會「耗完資金」。

不受限制（橋接可以鑄造原生 / 權威代幣）

需許可（由橋接運營商提供流動性）

無需許可（任何 LP 可以提供流動性）

可升級性

需許可的行動者

過去 24 小時內轉賬量

過去 24 小時內的 unique transfer（獨立地址轉賬）

支持的代幣 / 區塊鏈

ETH中文網

媒體專欄

閱讀更多

比推 Bitpush News

蜂巢Tech

Block unicorn

Chainlink

DeFi之道

金色早8點

PANews

藍狐筆記

半月談

白話區塊鏈

金色財經

Tags：SWAPLAYERALIAINCircleSwapShine Layer 2alice幣會漲到多少Documentchain

Gate交易所