樂觀驗證

基於樂觀驗證的跨鏈橋是第二大類別，大體分為2類：

一種是L0 這種假設預言機和中繼器不會串謀作惡；另一種的底層邏輯類似於Optimistic Rollup 的欺詐證明，先假設這筆跨鏈交易是正確的，然後給出一個挑戰期。

理論上只要在挑戰期內有一位誠實挑戰者針對虛假交易發起挑戰，就能避免作惡行為的發生。

Nomad 是此類跨鏈橋的代表。 #crosschain

9/n🧵

zk 橋

簡單來講，zk 橋的實作機制是輕客戶端 + zk.

輕客戶端實現信任最小化的跨鏈，zk 極大優化了成本。 （鏈下生成zk 證明，鏈上驗證）

對於IBC 而言，目標鏈的輕客戶端需要驗證跨鏈資料包證明源鏈確實發生了狀態轉換；而對於zk 橋接器而言，輕客戶端只需要驗證zk 證明就可以了。 #crosschain

14/n🧵

需要信任的橋

這種類型的橋是外部驗證大類下最中心化的產物，依賴一組實體組織組成的「聯盟」進行跨鏈訊息的簽署。

聯盟成員無需提供任何抵押品，僅有聲譽風險的約束。如果你相信聯盟成員有極高的道德標準不會主動或被動作惡，用這個橋沒問題的。

像MultiChain, 蟲洞就是屬於這一類。 #crosschain

5/n🧵

外部驗證

顧名思義，外部驗證需要依賴外部的第三方來驗證跨鏈訊息的有效性。

根據對第三方採用不同的經濟獎懲機制，外部驗證可分為3大細分類別：

1）需要信任的橋

2）債務橋

3）保險橋

無論是基於聲譽聯盟還是validator set, 本質上都是外部第三方。 #crosschain

4/n🧵

保險橋

跟債務橋類似，保險橋也要求驗證者提供抵押品。

不同點在於，當驗證者作惡時，會將其罰沒的抵押資產用於受損失用戶的補償。

像Cosmos 專注於資產跨鏈的應用鏈Axelar, 就屬於保險橋的範疇。 #crosschain

7/n🧵

近期幣圈大瓜：有傳言Multichain 創辦人被逮捕，用戶大額跨鏈資金遲遲無法到達。

一個甚至未被證實的消息，「精妙絕倫」地影響了系統的運作，這到底是多中心化的產物？

zk 跨鏈橋在此背景下顯得彌足珍貴，跨鏈橋的去中心化之路到底還有多遠？ #crosschain #multichain

1/n🧵

原生驗證

終於聊到了跨鏈橋分類的粉紅色部分——原生驗證。

講到原生驗證，不得不提的是Cosmos 生態的IBC 跨鏈通訊協定。

IBC 本質上是透過輕客戶端實現信任最小化的跨鏈通信，理論上所有基於Tendermint 共識和Cosmos SDK搭建的應用鏈（Zone）都能透過IBC協定進行通信。 #crosschain #cosmos

11/n🧵

跨鏈橋是資金被駭的重災區，但在多鏈時代下跨鏈又是剛需。

對於跨鏈用戶而言，權衡橋的效能和安全性可謂是必備的技能了。

但跨鏈橋涉及的底層實現機制很複雜，此條thread 旨在用通俗易懂的語言來聊一聊不同的「橋」們。 #crosschain

2/n🧵

本地驗證

再來看第三類跨鏈橋：基於本地驗證的橋。

本地驗證主要基於原子交換和雜湊時間鎖實現，具體的實作邏輯這裡不展開講​​。透過這種方式進行資產跨鏈的好處是：無需第三方的參與，消除了信任風險；缺點也很明顯：只能基於支援相同雜湊函數的鏈實作、需要一定等待時間等。

這類橋的代表如Connext 和Celer cBridge. #crosschain

10/n🧵

實現原理解釋起來也簡單易懂：

透過 IBC 進行通訊的鏈 A 和鏈B 擁有交易對手帳本的輕客戶端，即鏈A 會跑一個鏈B 的輕客戶端，鏈B會跑一個鏈A 的輕客戶端。

鏈B 無需信任第三方，透過驗證區塊頭就可以就鏈 A 的狀態達成共識。鏈A 也是同理。 #crosschain

12/n🧵

關於跨鏈橋的分類方法五花八門，業界並未有一個統一的標準。

LIFI 對此做了深入的研究，基於信任假設的強弱，把跨鏈橋分成了4類：

1）外部驗證；

2）樂觀驗證；

3）本地驗證；

4）原生驗證。

深藍區間需要信任「人」不會作惡，粉紅色區間代表無需信任，即「code is law」. #crosschain

3/n🧵

那既然IBC 功能這麼強大，為什麼一開篇就安利zk 橋？

原因是：IBC 有其固有的局限性，即無法支援異構鏈，因為在其鏈上部署輕客戶端的成本高且技術實現難度高。

這也成為推動zk 橋發展的契機，透過延用IBC 理念實現信任最小化，基於此引入zk 技術，實現更低成本的跨鏈。 #crosschain

13/n🧵

總結：

雖然上述3種類型的跨鏈橋針對驗證者採用了不同的聲譽/ 經濟獎懲機制，但本質上都要依賴第三方，無一例外都是中心化的資產跨鏈方案。

當驗證者節點作惡時，

1）需要信任的橋：驗證者贏，使用者輸

2）債務橋：雙輸

3）保險橋：驗證者輸，使用者不受影響

#crosschain

8/n🧵

那麼，現在具體有什麼項目屬於zk 橋的範疇？

如Succinct Labs 孵化的Telepathy, 基於輕客戶端和zkSNARKs 實現的跨鏈互通協定。

再如近期宣布獲得Polychain 領投的零知識證明公司PolyHedra 的核心產品zk-Bridge 等等。

跨鏈橋 vs. 跨鏈互通

兩者傻傻分不清，我認為本質上都是一樣的東西，都是為了滿足資產、資訊在不同鏈間的轉移。

跨鏈橋聽起來簡單易懂，跨鏈互通聽起來更高大上。

寫在最後

zk 橋可能是我們一直苦於追尋的去中心化跨鏈賽道的最後一塊拼圖，但基於其技術實現難度，仍任重而道遠。

以上。 #crosschain

完/n🧵

債務橋

債務橋雖然也依賴第三方，但要求驗證者必須提供抵押品，一旦作惡抵押品將被罰沒。

即在經濟層面對驗證者的行為進行約束，但協議並未保證用戶跨鏈資產出現損失時能夠獲得賠償。

在安全性和去中心化程度上，要高於「需要信任的橋」。像Polygon PoS 橋，就屬於這個範疇。 #crosschain

6/n🧵