兩個鍊式傳來消息,假想一個完全不真實的系統,不可能需要一個可信的。
推薦閱讀:《為什麼「橋」對世界很重要?》
撰文:Lakshman Sankar,就職於以太坊基金會,從事生態開發和研究
原文:Perry Wang
如果說我在過去幾年中明白了一個道理,那就是:一個同步的空間無法滿足鏈上所有應用的需求。
在2018 年時情況還不太明顯。而去年夏天DeFi 的爆發以及進年夏天的NFT 行情證明了一個事實,即存在很多應用的設計空間。而近期以太坊的 第一層(L1) 公鏈的興起,進一步證明了一小部分空間的需求非常高。
考慮到我們可能會生活在一個多鏈世界中,不同鏈上的應用希望彼此跨鏈通信,因此可以充分了解各條鏈如何跨鏈工作,是很可能之間的情報。探索這個問題,不針對具體項目展開。
在這篇文章中,我想研究這些系統中固有的特定權衡。認真反思的話,這種權衡取捨會很清楚。
我也是站在世界上偉大的理工上討論這個問題的;倫敦帝國學院的博士生Alexei Zamyatin等人在一篇 優秀的論文 我的目標是在該論文的核心論調中添加一些顏色。
用論文作者的話,權衡就是,少少兩點中的任何一點,就無法進行跨鏈通信:
- 可信(TTP)
- 或者超越異步的同步
兩者之間的關係非常基本且非常直觀,但需要深入研究一些詞彙。
可以的合理性
讓我們簡單地講一下同步——它們是用於思考應用系統中通信的通用框架,並且以智能理解而著稱。
將實際應用到這一種消息傳遞協議,儘管通信基礎設施中出現故障或惡意攻擊,它仍然需要工作,然後,我們可以定義在系統停止工作之前這些故障的嚴重程度。目標。
另一方面,在「虛擬」假下運行的系統,假想網絡/遊戲可能會延遲任何時間。
以後網絡更堅定。就是說,一個系統可以更好地處理環境帶入的確切性。還有一些“中部荒地”假想,通常稱為“部分同步”,但這裡沒有必要定義。
這與跨鏈通信有什麼關係?好,上述的論文對抗,如果你有一個異步跨鏈通信的系統,你可以用它來解決一個“自由”公平交換」的老問題。
我們從 更老的論文 中人,幾乎不可能進行一次激烈的交換。
因此,沒有可信度就不可能進行異步跨鏈通信。我們只能對系統進行更成功的通過,才能獲得可靠的需求。
理論-> 現實
到時候,這一切都只是在理論的紙上作罷。讓我們看到完整的系統。
從上一節中,我們知道要在兩個鏈之間傳遞消息,還有:
- 無法真實精確的系統
- 或需要一個閱讀
這到底需要怎樣的權衡取捨?將需要可靠的系統和需要抓住機會的系統進行比較,可能會有所幫助。
可信的可信度是安全的。可信只是存在於幾條鏈之間的“去中心化”中間人。人集,例子跨鏈系統就是一個。
散漫時間鎖定(HTLC) 是一個說明性的例子。幾年前,HTLC 被認為是跨鏈通信的原語。在HTLC 中,更強的同步過程中的重試邏輯或 自由選項問題。
在上一節中,只有我可能更擅長處理環境中的確切性。在HTLC之類的情況下,如果有經濟動機使通信失敗,則可能通信失敗。做市商阻止或延遲價值轉移,因為他們像在鏈上都持有部分資產。
環境中某某的經濟可能會出現故障。
在這種情況下,需要信任經濟有經濟支持來維護“橋”的員工。具體如何表達。
我相信這裡有一種自然的二元性。你可能需要信任安全性以下的“中間人”,需要信任的不會拒絕。
如果跨鏈通信引入了收益風險多的礦工可提取價值(MEV),無論上述情況的哪一種,通信都失敗了!商改變失敗。
實例
現代跨鏈通信系統在權衡取捨中會如何分佈? 更好的文章 對所有系統進行了分類,我在本文中只展示了幾個說明性的例子。
Connext的nxtp 是跨鏈系統的經典之作,它有一些細節的同步發生。增加用戶完成與路由器的協商,將有一個兩階段的準備/完成機制來完成「橋」端的適當交易。超時內發生,則它不會發生。
另一方面,Solana 和以太坊之間的 蟲洞橋(蟲洞)引入了具有吸引力。通過,鳳凰則不會發生。
需要時間的一件事是,兩種方法都不具備絕對的優勢。著這些系統存在可能失敗的方式。
我最喜歡的例子是用於快速提款的 樂觀戴橋。
將DAO 看到似乎有點了解,但如果我們認為任何安全弱性鏈通信的東西都是“可信的”,那麼DAO 可以滿足!信創作的角色,以促進跨鏈通信。
任重道遠
未來是多鏈的,促進鏈之間的,那些做好準備的人將能夠成功地與我們一起使用這些新系統的機會。 。
在這篇文章中的文章中,我研究了增強了增長和成功,我可以在其中的一個基本權衡。
如果您對這些內容感興趣,請隨時與我們聯繫!我更喜歡深入地探索未知。
謝謝與 亞歷克斯·奧巴迪亞 和 瓦巴夫·切拉尼 的譯文,對這篇文章發表了大量文章,並感謝他們對本文內容編輯的貢獻。
來源鏈接:ls.mirror.xyz