互通性與跨鏈

去信任橋

去信任橋移除了外部委員會,改由目的鏈直接驗證來源鏈自身的安全性。沒有一個你必須假設其誠實的獨立群體;只要你本就信任來源鏈的共識與目的鏈的共識,這座橋就不增添任何新的受信任方。其口號是「最小化信任」:你恰好繼承兩條鏈的安全性,中間不夾帶任何更弱的環節。

達成此目標主要有兩種方式。輕用戶端橋在目的鏈上以合約形式執行來源鏈共識的驗證器——它核對來源鏈的驗證者簽章或工作量證明區塊標頭,再針對已驗證的區塊根去檢驗特定事件的默克爾證明。有效性證明橋則由來源鏈(或某個證明者)產生一份簡潔的零知識證明,證明某筆狀態轉換或事件確實發生,而目的鏈能廉價地加以驗證。兩種情況下,鏈下中繼者都只是遞送資料與證明;它無法偽造任何東西,因為目的鏈會親自重新核對密碼學。

代價在於成本與工程難度。在鏈上驗證另一條鏈的共識可能十分昂貴——在合約內核對以太坊的驗證者委員會或一條工作量證明標頭鏈非常耗 gas——而且每一種不同的共識演算法都需要一個新的驗證器,這正是這類橋上線較慢的原因。最終性差異也會造成麻煩:輕用戶端橋必須等待來源區塊達到最終化,否則就有可能轉送一個之後被重組掉的狀態。Cosmos 的 IBC 與新興的 zk 輕用戶端橋是最具代表性的實務範例。

去信任不代表零風險。你仍然依賴驗證器程式碼的正確性與密碼學的可靠性。Nomad 攻擊事件顯示,驗證邏輯中的一個臭蟲——而非被竊的金鑰——同樣可以釀成大禍。

又称
native-verification bridge原生驗證橋