原文作者：bartek.eth
原文作者：bartek.eth
一級標題
一級標題
一級標題
橋接類型
對於終端用戶來說，資產橋接是指從來源鏈（source chain）接收某種資產的存款，並將這筆資產打給處於目標鏈（destination chain）上的用戶。
比如，典型的橋接流程就是，Alice 將資金轉至A 鏈的橋接合約，而後Alice 在B 鏈上收到來自橋接的資金。
廣泛來說，這種流程有兩種發生方式：基於消息傳遞的代幣橋接
一級標題一級標題
一級標題
消息傳遞型橋接的安全性
輕客戶端驗證狀態有效性
輕客戶端驗證共識
外部驗證者集
樂觀式驗證
這類驗證方式中的誠實一方會在此期間內避免納入欺詐信息。然而，這裡有幾個關鍵參數需要考慮：
Watcher 集規模：無需許可> 需要許可
一級標題
描述：在目標鏈上驗證來源鏈狀態轉換有效性的橋接。該驗證過程通過零知識證明實現(狀態轉換過程伴隨著一個zk 證明的生成) 或是欺詐證明系統完成(允許獨立的驗證者就新狀態根的有效性提出爭議）。
例子：例子：
描述：在目標鏈上驗證來源鏈共識的橋接。這取決於來源鏈所使用的共識機制，通常包括對當前驗證者委員會的quorum 簽名的檢查，如果其來源鏈使用的是PBFT 式的提議和投票（propose-and-vote）共識協議（如Tendermint、 HotStuff、Casper FFG 協議）。或者，如果來源鏈使用PoW 協議或“最長鏈”式的PoS 協議（如Ouroboros、ETH 2.0 LMD Ghost 等），則使用相關的分叉規則檢查最長鏈。
例子：例子：
描述：使用外部驗證者作為事實來源的橋接，即形成一個獨立委員會的驗證者們，而不是來源鍊和目標鏈上的驗證者。這取決於這些驗證者所採用的實現，他們可能會使用MultiSig （多簽）、運行共識算法（通常是來自提議和投票的一類的算法）、使用Threshold Signature 機制（TSS，門限簽名機制）或SGX等……無論它們使用什麼技術，都屬於這種驗證方式。
例子：Wormmhole、Multichain、Axelar、DeBridge、Synapse、Stargate。
描述：描述：
具有挑戰期（challenge period，譯者註：指其他驗證者發現橋接消息無效時，可以對其有效性進行挑戰的時間段）的橋接。
例子：Hop Protocol、Connext Amarok、Across、Nomad Token Bridge。
描述：一級標題
一級標題
流動性網絡的安全性
除了真的跨鏈發送資產以外，還有另一種的方法：跨鏈兌換（swap），只通過易手而不用跨鏈移動資產，就能進行跨鏈兌換。 （譯者註：易手即一方資產成為另一方所有，即資產所有者發生更換。）
這部分僅描述了“兌換”協議的安全性，即LP 在接受了你在來源鏈上的存款後，有多大可能會攜款潛逃。這些兌換資產擁有鑄造出它們的消息傳遞型橋接的安全性。
也有一些也有一些
其他兌換資產的方式：
一級標題例子：Hop、Connext Amarok、MakerDAO Teleport。
一級標題
一級標題
抗審查性
我們將了解橋接發出的單條消息被審查可能性有關的安全假設。更實際地，我們也將探究單條消息(代幣轉賬) 是否會被橋接所審查或是忽視，如果會被審查，用戶的資金會有什麼後果（這些資金會被返還給用戶，還是卡在“轉賬中”的狀態裡）。
一級標題
一級標題
一級標題
總體活性故障
在總體的活性故障方面，我們將來看看“關閉”橋接的後果。例如，對於使用外部驗證者集的橋接，我們可以看看在這些驗證者長時間離線（可能是無限期離線）的事件中用戶資金的安全性。一般可能發生的情況包括：
一級標題
一級標題
一級標題
流動性
在這一部分，我們將試著分析橋接資產可用的流動性。橋接可以鑄造資產嗎，需要LP 嗎，用戶可以一直提款或轉移他們選擇的任意數量代幣嗎，或者他們依賴於外部的LP，並且橋接可能會“耗完資金”。
一級標題
一級標題
一級標題
其他思考和指標
可升級性
需許可的行動者
過去24 小時內轉賬量
原文鏈接
原文鏈接
