以太坊交易所 以太坊交易所
Ctrl+D 以太坊交易所
ads

理解跨鏈橋安全性的關鍵:跨鏈通信的權衡取舍_加密貨幣:加密貨幣走勢市場

Author:

Time:1900/1/1 0:00:00

如果說我在過去幾年中明白了一個道理,那就是:一個同步的區塊空間無法滿足鏈上所有應用的需求。

在 2018 年時這一情況還不那么明顯。而去年夏季 DeFi 的爆發以及進年夏天的 NFT 行情證明了一個事實,即存在很多應用的設計空間。而今年非以太坊的?第 1 層(L1)?公鏈的興起,進一步證明了區塊空間的需求非常高。

考慮到我們可能生活在一個多鏈世界中,不同鏈上的應用希望彼此跨鏈通信,因此充分了解各條鏈之間如何跨鏈工作,是很有價值的信息。我想從一個抽象的角度探索這一問題, 不針對具體項目展開。

在這篇文章中,我想研究這些系統中固有的特定權衡。認真反思的話,這種權衡取舍會很明顯。

我也是站在巨人的肩膀上討論這一問題;倫敦帝國理工學院的博士生 Alexei Zamyatin 等人在一篇?優秀的論文?中詳細闡述了這一點。我的目標是在該論文的核心論調后面添加一些顏色。

V神:NFT需要經歷多個寒冬才能理解它的長期價值:金色現場報道,10月26日消息,由萬向區塊鏈實驗室主辦的第七屆區塊鏈全球峰會在上海舉行,以太坊創始人、萬向區塊鏈實驗室首席科學家Vitalik Buterin分享稱,DeFi和NFT發展的都非常不錯,但他認為當前存在一個現象,人們很努力以至于使得DeFi很復雜,比如收益耕作使得智能合約出現合約風險,風險可能會大于收益。他認為最有用協議還是最簡單的那種。他還認為,NFT非常具有價值,他給了創作者一個全新的商業模式,但他提醒公眾,人們不應該假設說NFT按當前的形式在經濟上是具有可持續性的,NFT需要經歷多個寒冬。“我們看到這個領域的項目在6個月到1年里表現很不錯,但1-2年時間里卻會變得無名,我覺的必須要耐心等待,必須理解長期可持續的NFT會是怎么樣的。[2021/10/26 20:58:19]

用論文作者的話來說,權衡就是,缺少以下兩點中的任何一點,就無法進行跨鏈通信:

Tether CTO:USDT競爭者太差,他們不理解這個市場未來的潛力:近日,在某線下活動中,針對主持人提出的“在2019年的紐約檢察長辦公室事件之后,Tether為什么依舊茁壯成長,依舊這么熱門?”這一問題,Tether CTO Paolo Ardoino回應稱:Tether被社區信任,每天有很多公司找我們,將大量的美金換成USDT。我們知道怎么服務好客戶,我們知道怎么運作這個產業,是我們發明了這個概念,我們發明了它并且還在一直保持創新。我們也保持在其他區塊鏈上發展,我們一直理解,區塊鏈不能只取其一,而要共生共存。你只需要提供工具,如果你足夠好的話。我們曾就Tether話題打過趣,不是因為USDT是一個完美的穩定幣,而是競爭者太差了,他們不理解這個市場未來的潛力。(深鏈財經)[2020/4/30]

可信第三方 (TTP)

聲音 | 朱嘉明:必須重新理解貨幣體系、金融秩序、資本規則和商業模式的關系:在數字資產研究院與OK聯合主辦的《Libra:一場牽動全球的智慧、技術、經濟、、權力的全方位博弈》線下研討會上,朱嘉明教授發表《Facebook數字貨幣在全息貨幣經濟體系中的位置》的主題演講。

朱嘉明認為,Facebook數字貨幣迫使我們必須重新思考和理解貨幣體系、金融秩序、資本規則和商業模式的關系。[2019/6/20]

或者超越異步的同步假設

它們之間的關系很基本且非常直觀的,但需要深入研究一些術語。我希望在這里可以清楚地對直覺予以闡明。

讓我們簡單講一下同步假設——它們是用于思考分布式系統中通信的通用框架,且以難以理解而著稱。

將分布式系統視為一種消息傳遞協議,盡管通信基礎設施中出現故障或惡意對手,它仍需要工作,然后,我們可以定義在系統停止工作之前這些故障的嚴重程度。這正是同步假設的目標。

吳忌寒:不同意BCH才是真正的比特幣 但非常同情和理解:比特大陸聯合創始人吳忌寒做客王峰十問時表示:“對于‘BCH才是真正的比特幣’,我個人不同意這種說法,但是我非常同情和理解。因為大區快主義者,包括很多早期就為了推廣比特幣而付出了巨大熱情的人,對“比特幣”這三個字有一種執著。”[2018/6/16]

另一方面,在「異步」假設下運行的系統,默認假設網絡 / 對手可能將消息延遲任何時間。

后者網絡更強大。就是說,一個系統可以更好地處理環境帶入的不確定性。還有一些「中間地帶」假設,通常稱為「部分同步」,但在這里沒有必要定義。

這與跨鏈通信有什么關系?好吧,上述論文表明,如果你有一個實現異步跨鏈通信的系統,你可以用它來解決一個叫做「公平交換」的老問題。

對加密貨幣監管語言的理解存在分歧:在最近的一篇文章中,Bitwage首席執行官喬納森?切斯特(Jonathan Chester)發表了一篇評論文章,討論了試圖將加密貨幣與現有的監管語言相互適應和將投資加密貨幣法的個人分類過程中遇到的挑戰。fintech和regtech的首席執行官Juan Llanos表示,他們對加密貨幣社群和負責監管加密貨幣市場的監管機構之間的關鍵術語的理解存在分歧。[2018/4/13]

我們從一篇?更老的論文?中了解到,沒有可信第三方就不可能進行異步公平交換。

因此,沒有可信第三方就不可能進行異步跨鏈通信。我們只能通過對系統進行更嚴格的同步假設,來放棄對可信第三方 的需求。

到目前為止,這一切都只是停留在理論的紙面上。讓我們談談真正的系統。從上一節中,我們知道要在兩個鏈之間傳遞消息,要么:

無法假設一個完全異步的系統

或需要一個可信第三方

這里到底需要怎樣的權衡取舍?將需要可信第三方的系統與需要更強同步假設的系統進行比較,可能會有所幫助。

可信第三方似乎很好理解。可信第三方只是存在于兩條鏈之間的「低安全性 / 去中心化」中間人。而它們橋接的兩條鏈依賴于與兩條鏈無關的一個驗證人集,這類跨鏈系統就是一個例子。

更強的同步假設表現為重試邏輯或超時之類。哈希時間鎖定合約 (HTLC) 是一個說明性示例。幾年前,HTLC 被認為是跨鏈通信的重要原語。在 HTLC 中,更強的同步假設表現為必要的重試邏輯或?自由選項問題。

在上一節中,我指出具有最小同步假設的系統更擅長處理環境中的不確定性。在 HTLC 之類的情況下,如果有強大的經濟動機使通信失敗,則通信可能就會失敗。 就像做市商想要阻止或延遲價值轉移,因為他們在兩條鏈上都持有部分資產。

環境中足夠強大的經濟激勵可能會使通信出現故障。

最后一點對于需要可信第三方的系統來說是正確的!在這種情況下,需要信任可信第三方有足夠經濟激勵來維護「橋」的完整性。不同之處在于阻止通信的經濟動機具體如何表達。

我相信這里有一種自然的二元性。您要么必須信任安全性較低的「中間人」,要么需要信任通信不會中斷。

如果跨鏈通信引入了利潤足夠多的礦工可提取價值(MEV),無論上述兩種情況的哪一種,通信都可能失敗!要么是因為可信第三方腐敗,要么是有足夠大的做市商讓它失敗。

現代跨鏈通信系統在這種權衡取舍中會如何分布?有?更好的文章?對所有系統進行了分類,我在本文中只展示幾個說明性的例子。

Connext 的 nxtp?是跨鏈系統的經典例子,它增加了更強的同步假設。一旦用戶完成與路由器的協商,就會有一個兩階段的準備 / 完成機制來完成「橋」兩端的適當交易。如果通信未在超時內發生,則它不會發生。

另一方面,Solana?和以太坊之間的?蟲洞橋(Wormhole)引入了可信第三方。兩條鏈之間存在的「監護人」驗證器集需要對轉移進行 2/3 多數證明,才能對交易放行。如果驗證器集合已損壞或集體表決不希望傳輸通過,轉移則不會發生。

需要強調的一件事是,這兩種方法都不具備絕對的優勢。權衡任一方的系統都會在營銷材料宣稱他們正在做出「正確」的權衡,但如前所述,兩種權衡都意味著這些系統存在可能失敗的方式。

還有一些系統使其中一種權衡顯得不那么明顯。我最喜歡的例子是用于快速提款的?Optimism DAI 橋。這里的可信第三方是?Maker?DAO 本身!用戶要求 DAO 提供 DAI 流動性,從而為提議的 fDAI 資產提供完整性保障。

將 DAO 視為可信第三方有點奇怪,但如果我們認為任何安全性弱于鏈通信的東西都是「可信的」,那么 DAO 可以滿足這個目的! 我個人很高興看到更多 DAO 扮演可信第三方的角色,以促進跨鏈通信。

未來看起來是屬于多鏈的世界,促進鏈之間的交流,那些做好準備的人將迎來真正的機會。對于我們使用這些新系統的人來說,了解他們正在做出的權衡很重要。

在這篇文章中,我研究了增強同步假設和可信第三方之間的一個基本權衡。鏈之間的界限對我來說非常有趣,所以我將在未來深入研究其中的其他因素。

如果您對這些內容感興趣,請隨時與我們聯系!我喜歡更深入地探索未知。

撰文:Lakshman Sankar,就職于以太坊基金會,從事生態開發和研究編譯:Perry Wang

感謝與?Alex Obadia?和?Vaibhav Chellani?的對話,對本文有很大啟發,并感謝他們兩人對本文內容編輯的貢獻。

Tags:NFTHER加密貨幣區塊鏈snft幣西班牙togetherbnb游戲解說加密貨幣走勢市場ruff幣區塊鏈最新消息

酷幣交易所
金色薦讀|USDT和USDC使用模式分析_ETH:THE

本文原8月4日,近日,穩定幣監管問題吵的沸沸揚揚,為了讓讀者更好的了解穩定幣,特此推薦此文。目前穩定幣的總供應量接近1100億美元,幾乎是2021年初供應量的4 倍.

1900/1/1 0:00:00
一文讀懂閃電網絡應用開發速成指南_ICE:Metabolic

如果你想要入門閃電網絡編程,又不在乎所謂正確、最佳的做法,這篇文很適合你。換言之,這篇指南具有很強的?主觀性。如果你偏好 O''Reilly 式的權威文本,這篇文章可能不對你的胃口.

1900/1/1 0:00:00
高價空投設盜幣陷阱 授權操作需謹慎_IOTA:ETHA幣

自從Uniswap、1inch、dydx等DeFi協議給交互用戶發放空投獎勵以來,鏈上用戶們已經習慣了空投的存在,但一些來歷不明的空投,可能會掏空用戶的錢包.

1900/1/1 0:00:00
企業能合規買賣虛擬幣嗎?_區塊鏈:NFT

誠然,我國居民持有虛擬財產,法律是容認的。有讀者詢問,出于隔離風險的考慮,可否用企業的名義買賣持有虛擬財產尤其是虛擬幣呢?今天我們就和大家一起探討.

1900/1/1 0:00:00
上海將籌建數據交易所 推動數據綜合立法_300:人工智能

9月9日,上海市政府舉辦新聞發布會,上海市委常委、副市長吳清介紹《上海市先進制造業發展“十四五”規劃》有關情況。相關規劃的主要內容已在今年7月印發并向社會公布.

1900/1/1 0:00:00
美聯儲主席鮑威爾表示“無意”禁止加密貨幣 比特幣短時沖破4.4萬美元_穩定幣:加密貨幣

美聯儲主席鮑威爾在眾議院金融服務委員會周四舉行的聽證會上明確表示,沒有計劃禁止加密貨幣。 長達兩個小時的會議主要內容為議員代表向耶倫和鮑威爾詢問財政部和美聯儲的大流行應對措施,會中提出了幾個有關.

1900/1/1 0:00:00
ads