詳細L2橋接風險架構_Axelar

我和來自Socket的VaibhavChellani想要提議一個用來評估不同橋接架構安全概況的風險架構。

與各種L2的風險框架一樣，我們的總目標在于，能夠快速將某一解決方案「分類」到具有相似特征的某特定解決方案類別中，同時可以足夠細致地向用戶呈現他們使用這些橋接時需要接受的安全假設有哪些。

我們主要關注在以太坊和其他鏈之間的橋接，因為我們即將在l2beat.com上介紹這些(譯者注：目前橋接一欄已上線)，但是，關于這些解決方案安全性的基本推理也適用于任何鏈與另一條鏈的橋接。此刻，我們正在尋找更廣泛社區對這個提議框架的反饋。

橋接類型

對于終端用戶來說，資產橋接是指從來源鏈接收某種資產的存款，并將這筆資產打給處于目標鏈上的用戶。

InsurAce Protocol針對在該平臺購買UST脫錨保險產品的用戶推出詳細理賠方案:5月13日消息，DeFi保險協議InsurAce Protocol針對在該平臺購買UST脫錨(Depeg)保險產品的用戶推出詳細理賠方案。

據悉，InsurAce平臺從2021年7月份開始，對Terra生態提供保險支持，包括針對Anchor, Mirror等DeFi協議的智能合約保險，以及UST的穩定幣脫錨保險。針對此次UST脫錨，保險理賠觸發點為UST的10日均價跌破0.88 USD。對用戶的核心理賠機制為，用戶將持有的UST與InsurAce的理賠資產進行互換，從而保護用戶資產損失。

根據今日UST的最新價格，該保險理賠已觸發。InsurAce按照保險合約設計，現已提出詳細理賠方案，發布在社交媒體和博客上，并在社區中廣泛討論。凡購買了該保險產品的用戶，若保單還在有效期內，均可通過平臺提出理賠申請，InsurAce將在受理完成后，提出社區投票議案，并統一處理后續理賠事宜。[2022/5/13 3:14:14]

比如，典型的橋接流程就是，Alice將資金轉至A鏈的橋接合約，而后Alice在B鏈上收到來自橋接的資金。

V神發布“Verkle樹和狀態到期”詳細計劃，狀態到期用狀態樹列表替換單個狀態樹:V神（Vitalik Buterin）表示，為Verkle樹和狀態到期寫了一些更詳細的計劃（包括原始EIPs）。Verkle樹：在現有的hexary Patricia樹旁引入一個新的Verkle狀態樹。在硬分叉之后，Verkle樹存儲對狀態的所有編輯以及所有訪問狀態的副本，并且hexary Patricia樹不能再修改。這是向以太坊完全依賴Verkle樹來存儲執行狀態多階段過渡的第一步。狀態到期：用狀態樹列表替換單個狀態樹，大約每一年一棵樹。狀態編輯存儲在與當前期間相對應的樹中，并且客戶端不再存儲超過最近兩個期間的樹。使用舊狀態的交易，在最近兩個期間沒有修改，需要提供見證人。[2021/6/18 23:46:59]

廣泛來說，這種流程有兩種發生方式：

·基于消息傳遞的Token橋接——這些橋接能讓流動性以消息傳遞的形式跨鏈流動。一般，它們允許一筆資產在來源鏈上鎖定或銷毀后，在目標鏈上鑄造出來。例子：Rollup橋接、Polygon原生橋接、Anyswap和Axelar網絡。

新西蘭國稅局（IRD）要求加密貨幣相關企業提供客戶詳細資料:新西蘭國稅局（IRD）再次將目光瞄準了加密貨幣領域，該機構已要求與加密資產相關企業提供客戶詳細資料。IRD的指南提出了一系列要求，其中包括客戶的個人詳細信息，以及客戶持有的加密資產類別信息。

新西蘭Easy Crypto首席執行官Janine Grainger就此表示，她對IRD的這一要求很失望，但并不驚訝。國稅局只是想擴大稅基，加密資產顯然越來越受歡迎，越來越多的新西蘭人正在參與其中。然而，Janine并不滿意提交客戶個人信息的要求，因其認為加密貨幣的原則是自由、自治和隱私。（AMBCrypto）[2020/9/28]

·流動性網絡——也有橋接會兌換一些已鑄造出來的資產。他們允許用戶將資產轉移至另一些鏈上，并假設這些資產已通過「消息傳遞」橋接提前將資產轉移過去。例子：基于Nomad橋接的Connecxt、基于HopOptimisticBridge的Hop、一些其他HTLC和條件式轉賬。

動態 | 澳大利亞金融監管機構或迫使Facebook披露Libra詳細信息:金色財經報道，澳大利亞金融監管機構可能將迫使Facebook披露其Libra加密貨幣計劃的細節，因該公司未能緩解監管機構的擔憂。據報道，在十月份與該公司進行了一次不令人滿意的會議之后，八家澳大利亞監管機構已同意使用其正式權力向Facebook的libra項目施壓。澳大利亞和國際監管機構對這種新貨幣可能會破壞金融體系、傷害Facebook應用程序用戶以及幫助洗錢表示擔憂。澳大利亞新聞專員辦公室（OAIC）副專員Elizabeth Hampton表示：“如果我們沒有從Facebook團隊得到這些問題的答案，那么我們將需要考慮是否在可能的情況下行使正式權力。”[2019/11/6]

消息傳遞型橋接的安全性

在這一部分，我們會試著闡釋這些被多個橋接協議使用的驗證跨鏈消息的不同方式。如上圖所示，Token橋接會利用消息傳遞型橋接的安全性。

動態 | Algorand集成PARSIQ監視系統，用戶可獲得最大區塊鏈的詳細分析:Algorand首席執行官Steve Kokinos透露，已將PARSIQ監視系統添加到其平臺，Algorand獲得了分析最大區塊鏈的能力。據悉，PARSIQ是針對合規官、市場分析師、區塊鏈開發人員和研究人員的監視工具。Kokinos表示，添加的內容使用戶更容易獲得區塊鏈的“廣域視圖”，從解釋大量數據到跟蹤和分析網絡上的活動。（coindesk）[2019/10/4]

·輕客戶端驗證狀態有效性

描述：在目標鏈上驗證來源鏈狀態轉換有效性的橋接。該驗證過程通過零知識證明實現(狀態轉換過程伴隨著一個zk證明的生成)或是欺詐證明系統完成(允許獨立的驗證者就新狀態根的有效性提出爭議）。

例子：所有Rollup都算是這里的例子，L1會通過FraudProof或ValidityProof驗證L2的狀態轉換。

·輕客戶端驗證共識

描述：在目標鏈上驗證來源鏈共識的橋接。這取決于來源鏈所使用的共識機制，通常包括對當前驗證者委員會的quorum簽名的檢查，如果其來源鏈使用的是PBFT式的提議和投票共識協議。或者，如果來源鏈使用PoW協議或「最長鏈」式的PoS協議，則使用相關的分叉規則檢查最長鏈。

例子：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/區塊鏈

Tags：PolygonAxelarProofPolygon幣是什么幣Axelar幣是什么幣Proof幣是什么幣

酷幣