我和來自Socket的VaibhavChellani想要提議一個用來評估不同橋接架構安全概況的風險架構。
與各種L2的風險框架一樣,我們的總目標在于,能夠快速將某一解決方案「分類」到具有相似特征的某特定解決方案類別中,同時可以足夠細致地向用戶呈現他們使用這些橋接時需要接受的安全假設有哪些。
我們主要關注在以太坊和其他鏈之間的橋接,因為我們即將在l2beat.com上介紹這些(譯者注:目前橋接一欄已上線),但是,關于這些解決方案安全性的基本推理也適用于任何鏈與另一條鏈的橋接。此刻,我們正在尋找更廣泛社區對這個提議框架的反饋。
橋接類型
對于終端用戶來說,資產橋接是指從來源鏈接收某種資產的存款,并將這筆資產打給處于目標鏈上的用戶。
倫敦法院命令6家加密交易所共享客戶詳細信息以協助調查1070萬美元的欺詐案:11月30日消息,倫敦高等法院已下令包括 Binance、Coinbase、Luno 和 Kraken 在內的六家加密貨幣交易所披露客戶信息,以幫助追查 2020 年從一家英國交易所被盜的 1070 萬美元。該交易所在繼續追蹤被盜資金時保持匿名,在 2020 年底遭到黑客攻擊后成功追查到 170 萬美元的不義之財。170 萬美元分散在 6 個離岸加密貨幣交易所的 26 個賬戶中,根據適用于外國公司的英國新規定,所有這些賬戶現在都需要提交文件以協助調查。[2022/11/30 21:12:42]
比如,典型的橋接流程就是,Alice將資金轉至A鏈的橋接合約,而后Alice在B鏈上收到來自橋接的資金。
廣泛來說,這種流程有兩種發生方式:
·基于消息傳遞的Token橋接——這些橋接能讓流動性以消息傳遞的形式跨鏈流動。一般,它們允許一筆資產在來源鏈上鎖定或銷毀后,在目標鏈上鑄造出來。例子:Rollup橋接、Polygon原生橋接、Anyswap和Axelar網絡。
Injective 上線資源管理器 V2 版本,新增跨鏈資產詳細信息等:10月28日消息,基于 Cosmos 的去中心化智能合約平臺 Injective 上線 Explorer V2 版本,主要升級包括增加新的資產部分、新的市場部分、跨鏈生態系統的資產詳細信息、智能合約代碼等。[2022/10/29 11:54:12]
·流動性網絡——也有橋接會兌換一些已鑄造出來的資產。他們允許用戶將資產轉移至另一些鏈上,并假設這些資產已通過「消息傳遞」橋接提前將資產轉移過去。例子:基于Nomad橋接的Connecxt、基于HopOptimisticBridge的Hop、一些其他HTLC和條件式轉賬。
消息傳遞型橋接的安全性
在這一部分,我們會試著闡釋這些被多個橋接協議使用的驗證跨鏈消息的不同方式。如上圖所示,Token橋接會利用消息傳遞型橋接的安全性。
Origin Protocol公布“OUSD閃電貸攻擊”詳細補償計劃:12月12日,Origin Protocol公布詳細補償計劃,提供相當于存入OUSD價值100%的補償。根據OUSD持有量以及黑客入侵前后的活動,將獲得各種補償。大約三分之二的受影響用戶將以新鑄造的OUSD形式獲得全額補償(由穩定幣全力支持,經過審計,并采用新的安全措施重新推出)。其余受影響的用戶(主要是較大的儲戶)將獲得25%的OUSD補償,75%的補償來自鎖定一年的Origin代幣OGN,鎖定部分將獲得25%的利息。Origin Protocol計劃在1月中下旬部署補償合約,并且需要在接下來的90天內提出索賠要求。
此前,Origin Protocol遭遇閃電貸攻擊,造成約700萬美元損失。[2020/12/12 15:00:10]
·輕客戶端驗證狀態有效性
描述:在目標鏈上驗證來源鏈狀態轉換有效性的橋接。該驗證過程通過零知識證明實現(狀態轉換過程伴隨著一個zk證明的生成)或是欺詐證明系統完成(允許獨立的驗證者就新狀態根的有效性提出爭議)。
動態 | 美國國會研究服務處發布報告 詳細說明區塊鏈在國家能源部門的潛在用途:美國國會研究服務處于8月9日發布題為“比特幣、區塊鏈和能源部門”的報告,詳細說明了國家能源部門區塊鏈的潛在用途。該報告詳細介紹了與加密貨幣采礦有關的國內和國際能源消費現狀,并探討了規范能源密集型采礦過程的可能方法,并將區塊鏈技術整合到當前的能源系統中。區塊鏈的一些潛在用例包括將公用事業賬單交易放置在智能電網上,支持電動車輛充電基礎設施以及分配能源資源。[2019/8/13]
例子:所有Rollup都算是這里的例子,L1會通過FraudProof或ValidityProof驗證L2的狀態轉換。
·輕客戶端驗證共識
描述:在目標鏈上驗證來源鏈共識的橋接。這取決于來源鏈所使用的共識機制,通常包括對當前驗證者委員會的quorum簽名的檢查,如果其來源鏈使用的是PBFT式的提議和投票共識協議。或者,如果來源鏈使用PoW協議或「最長鏈」式的PoS協議,則使用相關的分叉規則檢查最長鏈。
聲音 | 網絡犯罪協調專員:超1000美元加密貨幣交易的雙方均需向監管機構提交詳細信息:據AMBCrypto 6月14日消息,網絡犯罪協調員Gary Alford近期在一個加密犯罪小組討論中表示,美國國稅局計劃對那些為加密收入避稅的加密貨幣投資者進行監管。隨著加密貨幣新準則發布,美國國稅局將會更加嚴格。根據規定,任何發送和接收價值超過1000美元的加密貨幣的人都必須向監管機構提供發送方和接收方的詳細信息。國稅局一名代理補充說,我們已經意識到有一些案件需要起訴,只是不知道是否已經到了可以提起刑事訴訟的地步。但我們相信現在正處于那個階段。如果告訴12名陪審員,有人所有的錢都是用比特幣賺的,我們相信他們會理解的。據此前5月21日消息,美國國稅局(IRS)專員Charles Rettig致信美國國會議員Tom Emmer稱,美國國稅局正在制定加密貨幣稅務指南。[2019/6/14]
例子:NEARRainbow橋接,Polygon的PoS橋接以及CosmosIBC。
·外部驗證者集
描述:使用外部驗證者作為事實來源的橋接,即形成一個獨立委員會的驗證者們,而不是來源鏈和目標鏈上的驗證者。這取決于這些驗證者所采用的實現,他們可能會使用MultiSig、運行共識算法、使用ThresholdSignature機制或SGX等……無論它們使用什么技術,都屬于這種驗證方式。
例子:Wormmhole、Multichain、Axelar、DeBridge、Synapse、Stargate。
·樂觀式驗證
描述:具有挑戰期的橋接。
這類驗證方式中的誠實一方會在此期間內避免納入欺詐信息。然而,這里有幾個關鍵參數需要考慮:
1.挑戰期時長:越長越好
2.Watcher集規模:無需許可>需要許可
例子:HopProtocol、ConnextAmarok、Across、NomadTokenBridge。
·混合驗證方式
描述:有一種混合以上各種驗證方式的結構。
流動性網絡的安全性
除了真的跨鏈發送資產以外,還有另一種的方法:跨鏈兌換,只通過易手而不用跨鏈移動資產,就能進行跨鏈兌換。
舉個簡單的例子:A鏈上的Alice想要將資產轉至B鏈。Bob在B鏈上已經有了一樣價值的資產,他用自己在B鏈上的這筆資產為Alice在A鏈上的余額提供兌換服務,并收取服務費。最終,Alice會獲得B鏈上的那筆資產,Bob則能獲得A鏈上的那筆資產+服務費。
這部分僅描述了「兌換」協議的安全性,即LP在接受了你在來源鏈上的存款后,有多大可能會攜款潛逃。這些兌換資產擁有鑄造出它們的消息傳遞型橋接的安全性。
也有一些其他兌換資產的方式:
·HTLC:又稱哈希時間鎖合約,可以用于跨鏈兩方之間進行原子兌換資產。通常只需要用戶做兩步操作,一是鎖定,二是解鎖。可能發生的失敗情況是,你的資金會在固定的「休眠」期限內被鎖定。例子:ConnextNXTP、Liqualit。
·條件式轉賬:允許LP通過捷徑消息橋接,以此讓LP可以在任何橋接資金時,立即為終端用戶提供資金,并從消息傳遞橋接中接收資金。在失敗情況下,如果沒有LP提供流動性,則會激活慢速路徑。例子:Hop、ConnextAmarok、MakerDAOTeleport。
·外部驗證者:讓用戶可以將資金轉至受信任的橋接提供者處,提供者會承諾釋放資金至另一條鏈上。這里可能出現的失敗情況是,你的資金會丟失。例子:Binance
抗審查性
我們將了解橋接發出的單條消息被審查可能性有關的安全假設。更實際地,我們也將探究單條消息(Token轉賬)是否會被橋接所審查或是忽視,如果會被審查,用戶的資金會有什么后果。
典型的解決方案:
·利用基礎鏈的抗審查性
·依賴于驗證者集的誠實
總體活性故障
在總體的活性故障方面,我們將來看看「關閉」橋接的后果。例如,對于使用外部驗證者集的橋接,我們可以看看在這些驗證者長時間離線的事件中用戶資金的安全性。一般可能發生的情況包括:
·激活慢速路徑:默認模式為慢速路徑,不會損失資金
·自己進行質押:用戶可以質押參與網絡,成為驗證者并自己處理卡住的轉賬事物
·凍結:暫停系統,直到橋接運行方上線之前無法運行
流動性
在這一部分,我們將試著分析橋接資產可用的流動性。橋接可以鑄造資產嗎,需要LP嗎,用戶可以一直提款或轉移他們選擇的任意數量Token嗎,或者他們依賴于外部的LP,并且橋接可能會「耗完資金」。
·不受限制
·需許可
·無需許可
其他思考和指標
·可升級性
·需許可的行動者
·過去24小時內轉賬量
·過去24小時內的uniquetransfer
·可用的流動性
·支持的Token/區塊鏈
了解Web3.0 Web3.0的縱向拆解:從Web1.0到Web3.0Web1.0是互聯網初級階段,是傳統信息化到互聯網信息化的過渡階段,信息化的主要形式將傳統媒介中的信息通過互聯網來實現.
1900/1/1 0:00:00“Notyourkey,notyourcoin”,無論智能合約錢包還是個人賬戶錢包,私鑰都擁有對錢包的絕對控制權,一旦私鑰丟失我們的錢包就完全暴露在風險之下私鑰是錢包的基礎.
1900/1/1 0:00:00在市場流動性大不如前和監管不確定性的背景下,這一次Tether能跨越危機嗎?撰文:Karen,ForesightNews今日Curve3pool資產占比發生嚴重傾斜,截止撰文時.
1900/1/1 0:00:00PEPE上幣安了。幣安宣布將在創新區上線Pepe,并將在北京時間2023年5月5日24:00開放PEPE/USDT、PEPE/TUSD交易對。消息宣布后,PEPE在過去1小時上漲超25%.
1900/1/1 0:00:00在《以太坊生態系統需要三個技術轉型》一文中,我概述了為什么明確考慮L1+跨L2支持、錢包安全性和隱私作為以太坊生態系統堆棧的必要基本功能,而不是作為可以由單獨的錢包單獨設計的附加組件的關鍵原因.
1900/1/1 0:00:00如果我們想在去中心化互聯網更進一步,最終將需要這三大支柱:共識、存儲以及計算。如果人類成功將這三個領域去中心化,我們將踏向互聯網的下一階段征程:Web3.
1900/1/1 0:00:00