圖片來源:由 Maze AI 生成
你是否曾經徒步旅行并嘗試在不使用橋的情況下過河?我有,我可以告訴你這感覺很糟糕。
與現實世界中的橋一樣,加密貨幣橋 ( 以及它們更華麗的表親:「互操作性協議」和「通用消息層」) 提供了相同的價值。
它們把區塊鏈連接在一起。如果沒有橋,那么從一個鏈移動到另一個鏈會是一種非常痛苦的用戶體驗。
但加密橋不僅僅是連接,它們還允許在區塊鏈之間翻譯語言和規則。
橋使數據能夠在不同的環境之間進行傳輸和解釋。它們允許鏈之間的互操作性。
「但是,未來會是多鏈的嗎?」你可能會有這個疑問。
嗯,是的。
必須而且永遠會有多個區塊鏈——從 Cosmos 到 Avalanche 到 Aptos 到以太坊的多個活動區域。
這些區塊鏈需要一個通信層來協調結算。否則,他們將永遠彼此隔離。
使用 re:meme 在鏈上制作的 Meme
僅在過去的 30 天里,就有大約 50 億美元的價值通過橋傳輸。此外,橋公司正受到投資者的青睞。
資料來源:德爾福數字研究
但是,在過去的一年里,也發生了價值超過 20 億美元的漏洞利用攻擊——他們要么是利用核心機制設計,要么是利用智能合約漏洞。
該如何定義一個「理想的」橋呢?
在加密領域摸爬滾打了一年之后,我覺得安全可靠的機制設計才能恢復用戶的信心。
Archblock創始人Daniel起訴前同事,稱與Tron談判TUSD出售事宜時被迫離開團隊:7月22日消息,TUSD開發商Archblock創始人Daniel Jaiyong An起訴了其前同事,稱他們迫使他退出該業務,而當時An正在就TUSD向Tron出售事宜進行談判。An稱,Trust Labs大幅變更了商業模式,并未向投資者披露。[2023/7/22 15:52:19]
最安全的橋設計應該是信任最小化的,橋繼承了它連接的兩條鏈的安全屬性。
這是通過鏈上驗證來完成的:目標鏈 ( 即接收橋接交易的鏈 ) 驗證源鏈的共識,并看到指定的交易確實包含在它們的區塊鏈中。
這通常是由目標鏈的驗證者運行源鏈的鏈上輕客戶端來完成的。輕客戶端檢查提交的默克爾根并看到指定的交易確實已經由源鏈的活動驗證者集簽名。然后,目標鏈的驗證者可以確認交易的有效性,并將交易包含在他們的區塊鏈中。
運行一個鏈上輕客戶端是又復雜又昂貴(因為其計算量大)。它是不可擴展的——因為每個驗證者都需要為每個源鏈運行一個輕客戶端。這樣就很難擴展到新的鏈,而且對一些人來說幾乎是不可能的——因為不同的共識簽名方案在所有執行環境中都不受支持 ( 例如,以太坊驗證 Tendermint 共識 )。
迄今為止,只有 Cosmos 應用鏈上的 IBC 實現了大規模的鏈上輕客戶端 (Gravity Bridge、Rainbow Bridge、Composable Finance 和 Snowbridge 都難以擴展 )。
想要在這一點上成功,就只有通過極端的標準化才能實現——每個應用鏈都需要運行 Tendermint 共識,并遵守 IBC 標準。
在一個擁有不同共識機制、簽名方案和虛擬機的多鏈世界中,鏈上輕客戶端驗證是不可能的。
因此必須做出權衡:為了獲得可行性 / 可擴展性,需要做出多少信任假設?
Antler為其風投基金Antler Elevate籌集2.85億美元資金:6月8日消息,早期風險投資公司 Antler 為其新興增長基金 Antler Elevate 籌集 2.85 億美元,投資者包括 M&G Catalyst、Schroders、Vaekstfonden 和 Korea Venture Investment Corp。該基金支持 20 多個技術生態系統,為全球初創企業提供從 A 輪開始的資本擴張。Antler Elevate 已向 30 多家公司投資了超過 7000 萬美元,其中包括加密貨幣公司 XanPool。[2023/6/8 21:24:17]
這就是許多橋項目與「魔鬼」達成的協議——建立所謂的信任范圍,這取決于權衡的程度。
資料來源:LiFi 博文
如果無法進行鏈上輕客戶端驗證,那么唯一可能的設計空間就是在鏈下進行。
這就是協議在實現上有所不同的地方。
一方面,你有 Team Human——Multichain、Wormhole、Ronin Bridge。這些都要求多重簽名實現,需要實體驗證交易,并驗證 ( 即簽名 ) 其有效性。通過閾值后,交易就被認為是已驗證的。
這些實現需要實體運行完整的節點 ( 比輕客戶端更強大 ) 來進行驗證。當然,這些人仍然可以撒謊,但假設是大多數人進行統治,所以實體不會通過不誠實來維護他們的聲譽。
Team Human 的隔壁鄰居是 Team Economics——Celer, Axelar, deBridge, Hyperlane, Thorchain( 等等 )。這些類似于多重簽名,但增加了一層權益證明。現在不是信任實體 ( 這里稱為驗證者 ) 共同簽署交易的有效性,而是有了不撒謊的經濟動機,因為如果作惡,驗證者的質押將被大幅削減。
這些實現通常還要求驗證者運行源鏈的完整節點 ( 但不是強制的 )。理論上,Team Economics 比它們連接的底層區塊鏈更安全,但在實踐中,我還沒有看到它發生。
幣安明日將對BNB信標鏈(BEP2)進行錢包維護:12月29日消息,幣安將于2022年12月30日07:30(UTC)對BNB信標鏈(BEP2)進行錢包維護,大約需要兩個小時。BNB信標鏈(BEP2)代幣交易在錢包維護期間不受影響。2022年12月30日07:25 (UTC)起暫停BNB Beacon Chain (BEP2)充提。[2022/12/29 22:14:20]
接下來是 Team Game Theory——LayerZero 和像 Nomad 和 Synapse 這樣的 Optimistic 橋。這些實現將橋接分解為兩個獨立的工作,并抑制了兩個工作執行者之間的協調。
對于 LayerZero,他們創建了 Ultra Light Node,這本質上是一個按需交付的即時輕客戶端。預言機傳遞區塊頭,中繼者傳遞交易證明。兩者結合在一起執行鏈上輕客戶端的職責,但成本較低,因為它們不是連續運行的。
Optimistic 橋也有兩個鏈下代理:一個更新者和一個觀察者 ( 用 Nomad 的話說 )。更新程序傳遞了一個源鏈的默克爾根,并且有一個挑戰期 ( 例如 10 分鐘 ),在此期間任何觀察者都可以對所傳遞的默克爾根的有效性提出質疑。錯誤的更新者將被削減他們的質押。
在這兩種實現中,鏈下代理都需要運行一個完整的節點來驗證交易。在這兩種實現中,兩個代理之間的合謀也會導致錯誤的交易被通過。
然而,Optimistic 橋需要一個「誠實的少數人」假設來正確驗證交易——這意味著任何人 ( 理論上 ) 都可以是一個代理,因此系統只需要一個誠實的參與者就可以工作。
目前,LayerZero 已經允許鏈下代理,依靠機構的可信賴聲譽使系統正常工作。隨著時間的推移,LayerZero 希望應用程序指定<預言機—中繼者>對,以抑制共謀。
最后,還有 Team Security — Datachain/LCP Network。他們利用像 Intel SGX 這樣的安全飛地 (TEE) 來執行加密的鏈下輕客戶端驗證——他們稱之為輕客戶端代理。在這種情況下,信任完全依賴于 TEE 的安全性,就像之前看到的 Secret Network exploit 一樣,通過從 SGX 側通道獲得主解密密鑰,是可以破壞網絡歷史的所有隱私的。
MakerDAO社區通過取消RENBTC-A金庫的民意投票,12月7日后將啟動清算程序:11月25日消息,MakerDAO發推稱,MakerDAO治理部門通過取消RENBTC-A金庫類型的民意投票,所有抵押率低于5000%的renBTC-A頭寸將在12月7日投票確認后被清算。
Ren曾由Alameda與Ren前領導層合作收購,但由于Alameda的破產,Ren開發團隊將禁用Ren 1.0鑄造,并在30天后關閉Ren 1.0網絡。根據風險核心小組的建議,禁用鑄造意味著renBTC有可能脫鉤,而禁用銷毀意味著MakerDAO在有限時間內下架抵押品,以減少未來的潛在風險。MakerDAO治理部門批準一系列清算參數,在投票通過前,用戶仍有機會避免清算。
據此前報道,11月21日,資產跨鏈協議Ren Protocol發推稱,由于Ren 1.0網絡將在30天內關閉,強烈建議用戶盡快將其Ren資產(例如renBTC)橋接回原生鏈。Ren Protocol還表示,其目標是盡快推出完全由社區控制的網絡Ren 2.0。
此前Ren表示,Alameda與Ren前領導層合作收購Ren,但由于Alameda破產,提供給Ren開發團隊的資金僅持續到第四季度。目前Ren正在與投資者談判以繼續推動發展,并計劃比預期更早地推出Ren 2.0。網站也將托管在IPFS上,并將控制權轉移至RenDAO。[2022/11/25 12:34:37]
歸根結底,都是由某人或某物進行驗證的。
而目標鏈驗證者需要相信驗證是正確完成的——因為它們無法驗證自己。
如果真的有一種方法來執行鏈上輕客戶端驗證呢?
這就是 Team Math 的用武之地——Polymer、Succinct、Electron Labs 和 zkBridge。這些項目處于零知識 SNARK 研究的前沿,使用簡潔的證明來擴展橋的鏈上驗證。
從技術上講,對源鏈共識 ( 以及不同的簽名方案 ) 的驗證是在鏈下完成的。SNARK 證明由鏈下 prover 生成,表明已執行此驗證,然后在目標鏈上進行鏈上證明。
跨鏈橋Horizon黑客地址再轉出18,036枚ETH:6月28日消息,據歐科云鏈鏈上天眼監測,被標記為跨鏈橋Horizon黑客地址(0x0d04開頭)于今日11:58:50分轉出18,036枚ETH至新地址(0x809d開頭),隨后新地址(0x809d開頭)又向開頭為0x89f8的地址轉入6,012枚ETH,截止目前0x0d04開頭的Horizon黑客地址余額價值仍超5900萬美元。[2022/6/28 1:35:51]
SNARK 不會出錯,因為是…數學嘛。
這是橋的圣杯!
但沒那么快。
ZK 輕客戶端是一項新興技術,目前范圍有限。
也就是說,Succinct 正在為以太坊到 Gnosis 的橋 ( 雙向 ) 而活,Electron Labs 正在致力于 Cosmos 到以太坊的橋 ( 單向 ),而 Polymer 正在開發一個跨越 L1 和 L2 的輕客戶端網絡 ( 全方位 )。
為了擴展到其他共識機制,是需要新電路的,這項工作很困難。
此外,ZK 輕客戶端需要確定的終結性,他們不能使用工作量證明鏈,如比特幣。話雖如此,也有一些解決方案正在處于開發狀態,比如在輕客戶端本身的電路中編碼非確定性。
( 為了詳盡起見,我將在 Team Math 中添加 Rollup 橋,它證明了每個狀態轉換,甚至比證明共識的 ZK 輕客戶端更信任最小化 )。
通過對橋數百小時的研究,我得出的結論是,「最佳」橋的答案并不簡單——尤其是在近期和中期。
這個領域剛剛起步。人們總是固執地認為什么才是最成功的技術解決方案。
我最終傾向于一種務實的方法。最終勝出的將不是最好的技術,而是最好的產品——由一個團隊構建,這個團隊確切地知道他們的用戶想要什么 ( 在這種情況下,是開發人員 ),并構建一種體驗和 GTM,以交付價值。
作為一個開發加密應用程序的人,我知道應用程序開發人員想要什么。我認為一個好的橋產品應該是這樣的:
技術本身不是產品——它使產品成為可能。安全模型的混合搭配可以為用戶創造兩全其美的體驗。
我認為 Team Math 是正確的方向,但有效范圍是有限的,他們為了最小化信任而以可擴展性為代價 ( 即擴展到新鏈的能力 )。
Team Game Theory 和 Team Math 聯手的方法可能是我們需要的全明星陣容。
實現交易第一階段的 Optimistic 橋——具有挑戰期和誠實的少數信任假設。信任最小化的 ZK 橋,用于在返程中進行驗證。
另一種方法是構建模塊化堆棧,隨著時間的推移插入額外的安全模型 ( 如 LayerZero、Connext 和 Hyperlane),以進行相應的混合和匹配。
?
當談到橋時,最終性是關鍵。橋接協議需要在將交易傳遞到目標鏈之前絕對確定交易已經在源鏈中發生。
沒有辦法執行回滾跨鏈。
在即時終結鏈中(如構建在 Tendermint 上的 Cosmos 應用鏈),這會在幾秒鐘內發生 ( 即一個區塊 )。然而,其他鏈需要更長的時間才能達到最終確定,有些需要一個緩沖期,以考慮重組的概率 / 經濟可行性。
deBridge 的最終確定性定義
在從以太坊發送交易的情況下,用戶不會等待~12 分鐘得到最終確定并確認交易。對于 Optimistic rollup,因為有 7 天的挑戰起,所以這種情況會加劇。
最終確定性的延遲將需要從用戶中抽象出來,其他參與者將需要承擔重新組織的風險。
除了抽象出延遲之外,還需要從用戶中抽象出風險的變化。
應用程序應該控制其風險閾值,并根據用例、金額和目標鏈自定義閾值。例如,BSC 上的 NFT 轉移應該與 Cosmos 上的清算不同。
LayerZero、Synapse 和 Hyperlane 允許應用程序確定它們的風險偏好。
對于 LayerZero,應用程序可以選擇一個他們信任的<中繼者 -="">對,和一個計時器。
對于 Synapse,應用程序可以根據用例選擇它們的欺詐窗口。
對于 Hyperlane,應用程序甚至可以選擇他們想要的共識機制 (Team Human、Team Economics、Team Game Theory——稱為 Interchain Security Modules)
這就是像 Socket 和 LiFi 這樣的橋聚合器特別有用的地方,因為不同的橋實現最終也可以由應用程序配置。
從技術上講,這不是一個產品,而是一個團隊的優先事項。
每個項目都資本充足,進入熊市,吸收頂尖人才,并在密碼學的前沿進行創新。
然而,在它們之上并沒有應用程序。應用程序在哪里?
迄今為止,只有代幣傳輸協議 (Connext, Hop, Across, Stargate) 取得了成功。NFT 游戲資產市場和跨鏈治理中備受贊譽的用例還尚未被實現(DeFi Kingdoms 除外)。
這不是一個「建立它,他們就會來」的空間。橋是開發者平臺,需要在其之上建立充滿活力的應用生態系統。
沒有應用,就沒有用戶。這就是為什么業務開發和集成對于項目的成功至關重要。
應用程序將跟隨資金。決定獲勝者的可能不是技術,而是關系、集成和業務因素。
對于資產、鏈連接和用例,橋的使用可能遵循冪律。
橋的強度取決于它最弱的連接鏈 ( 即,可能容易受到 51% 的攻擊 )。這對未來的多跳橋是一個巨大的阻礙。
大多數智能合約實現都是可變的。升級是半定期進行的。總有某人 / 某物有管理權限。
一個允許應用程序配置其風險偏好的橋,也將引入攻擊向量,攻擊者可以滲透到應用程序的合約中,并禁用惡意交易的任何驗證過程。
協議爭議由治理或多重簽名解決。人為錯誤被引入方程式。
即使是 ZK 橋也沒有完全信任最小化。我們相信電路是正確編寫的。相信 prover 軟件沒有錯誤。相信目標智能合約可以正確地解釋電路。項目品牌的力量,以及緩慢而系統地發布安全代碼都應該理想地解決這些問題。
對開發人員保持坦率和理智的誠實將大有裨益。
我相信在未來 2-3 年內,我們將看到應用特定 rollup 的部署出現爆炸式增長。
有很多解決方案可以為這種爆炸式增長提供服務:OPStack、Arbitrum Nova+Nitro、Fuel、Polygon Supernet、Avalanche 及其子網、Scroll、Polygon Hermez、Consensys zkEVM、Starknet、zkSync、Celestia、Astria、Saga、Dymension 等。
然而,橋似乎是所有這些解決方案中缺失的部分。
我們如何確保 app-rollup 到 app-rollup 的橋接?Slush、Constellation Labs 和 Sovereign Labs( 以及 LaGrange 和 Herodotus) 等公司在創建應用程序 rollup SDK 時都在考慮這個問題。
我們如何為這些應用程序即服務 rollup 解決方案提供開箱即用的橋?Hyperlane 正在研究這個問題,但這是一個很難解決的問題。
我們如何在不犧牲用戶 / 開發體驗的情況下,優化多鏈資本效率,同時消除橋漏洞呢?
這些問題都有待觀察。
原文標題:《What I Talk About When I Talk About Bridges》
撰文:0xjim
編譯:ChinaDeFi
來源:DeFi之道
DeFi之道
個人專欄
閱讀更多
金色財經
金色早8點
Odaily星球日報
澎湃新聞
Arcane Labs
深潮TechFlow
歐科云鏈
鏈得得
MarsBit
BTCStudy
原文:Enabling AI-Generated Content (AIGC) Services in Wireless Edge Networks 編譯:DeFi 之道 人工智能生成內容(AI.
1900/1/1 0:00:00在揮別實現爆炸性增長的2021年之后,NFT市場迎來了非常不同的2022年——NFT在頭幾個月發展勢頭迅猛,之后與加密貨幣一起暴跌,連帶著投機狂潮也結束了。這一年,NFT領域有了很多新變化.
1900/1/1 0:00:00在加密行業中,礦工是一個特殊的群體,他們是區塊鏈底層安全保障,是加密行業中最富有的和最具話語權的一群人,代表著加密市場的晴雨表;同時,在反對者眼中,其所處的行業是吞噬能源的巨獸.
1900/1/1 0:00:002022 年已經過去,加密市場經歷了一年的動蕩起伏,比特幣也發生了深刻的變化。本文首先回顧了 2022 年加密市場的一些顯著變化,然后著重分析了比特幣在本輪牛熊周期中的質變,探究影響比特幣變化背.
1900/1/1 0:00:00萬眾期待的歐盟《加密資產市場監管法案》(Markets in Crypto-Assets Regulation,簡稱MiCA)終于在5月16日塵埃落定.
1900/1/1 0:00:00原文:《How the GBTC premium trade ruined Barry Silbert.
1900/1/1 0:00:00