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

如何構建一個假去中心化的跨鏈協議_ZER:Protocol Zero

Author:

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

撰文:康水躍,FoxTech?與?WayNetwork?創始人,丹陽投資董事長

AdamBack有一句話令我印象深刻,“偉大的設計看起來都是非常簡單的,但是設計它的過程其實是極其復雜的”。但是,并不是所有看起來簡單的產品設計都可以稱得上偉大,比如?LayerZero。

跨鏈協議不出事之前大家都覺得很安全,沒啥問題,但一出事都是驚悚大事。從過去兩年各鏈上發生的安全事件造成的損失金額來看,跨鏈協議上的安全事件造成的損失位居榜首。解決跨鏈協議安全問題的重要性以及緊迫性甚至超過以太坊擴容方案。跨鏈協議之間的互操作性是Web3連成網的內在要求。這類協議經常融資金額巨大,TVL?和交易筆數也在剛需驅動之下日益增長。但由于大眾的辨識度不高,無法識別這些跨鏈協議的安全等級。

我們先看一個產品設計架構。ChainA?和?ChainB?之間的通訊過程由?Relayer?來執行,Oracle?對?Relayer?進行監督。首先這個架構有一個優點是免去了傳統的?ChainA、ChainB?之間的通訊由第三條鏈完成共識算法以及數十個節點驗證,因此能給終端用戶帶來“快速跨鏈”的用戶體驗。因為架構輕便,代碼量少,Oracle?有現成的?Chainlink,所以這種類型的項目很容易上線,但也很容易被模仿,技術門檻可以說是?Zero?了。

圖?1:假去中心化的跨鏈協議基礎版

以上架構至少存在?2?個問題:

掌柜調查署 | Matrixport如何實現0息借貸:4月23日18:00,金色財經將邀請Matrixport高級副總裁林榕做客「掌柜調查署」。本期調查署將針對Matrixport推出的“0息借貸”進行深入“拷問”,帶大家一起了解Matrixport如何做到0息借貸惠澤大眾。詳情見原文鏈接。[2020/4/23]

?1.LayerZero?將幾十個的節點驗證縮減成單一的?Oracle?驗證,安全系數自然是大幅降低。

2.在簡化成單一驗證之后就必須假設?Relayer?和?Oracle?是獨立的,而這種信任假設是不可能永恒成立的,不夠?CryptoNative?的,無法從根本上保證二者不能合謀做惡。

這就是?LayerZero?所采用的基本模式。作為獨立安全類型的“超輕”跨鏈方案,它只負責轉運消息,并不對應用的安全負責任,也沒有能力負責任。

那如果放開?Relayer,讓大家都可以來運行中繼器,是否能解決上述問題呢?圖?2?是將圖?1?的數量變多了。首先?Decentralized?并不是指運行者數量變多,誰都可以接入,那叫?Permissionless。需求端一向都是?Permissionless,讓供給端也?Permissionless?并不是劃時代的變革,這是市場端的變化,與產品本身的安全性沒有太強的關系。LayerZero?的?Relayer?只是一個負責轉發信息的中介,本質與?Oracle?一樣,都是?TrustedThirdParty。試圖通過將受信主體從?1?個增加到?30?個來提高跨鏈安全性不過是徒勞無功,不僅沒有改變產品特性,還會有新的問題伴隨而生。

動態 | 各國代表在FATF開會討論如何監管虛擬資產和虛擬資產服務提供商:金色財經報道,據FATF官網消息,1月9日,各國主管開會討論了如何監督和管理虛擬資產和虛擬資產服務提供商(VASP)。自金融行動特別工作組(FATF)在2019年6月敲定這些新措施以來,這次會議是主管們首次有機會討論如何實施這些新措施。 論壇討論了三個主要領域:1.迄今為止,從那些已經建立VASP監督制度并已經開始監督VASP的國家吸取的經驗教訓。2.起草VASP法律法規時的常見問題。3.管理者有效監管VASP所需的工具、技能、程序和技術。這次會議確定了需要采取進一步行動的若干領域。這些問題將在FATF全體會議和將于2020年5月舉行的監督機構論壇的會議上進一步討論。據此前報道,2019年6月22日,FATF官網發布《基于風險的角度:監管數字資產和數字資產服務商的章程指南》,該指南將幫助各國和虛擬資產服務提供商了解其反洗錢和反恐融資義務,并有效實施FATF適用于該行業的要求。[2020/1/11]

圖?2:假去中心化的跨鏈協議高級版

如果一個跨鏈代幣項目允許修改配置的?LayerZero?節點,那么就有可能會被攻擊者替換為其自己的“Layerzero”節點,進而偽造任意的消息。從結果而言,依然是使用?Layerzero?的項目出現了巨大的安全問題,且這種問題在更復雜的場景下會更嚴重。龐大的系統中只要有一個環節被替換就可能造成連鎖反應。LayerZero?本身并不具備可能來解決這個問題,如果真出現安全事故,LayerZero?自然而然會將責任推給外部應用。因為終端用戶需要自己謹慎判斷每個使用?LayerZero?的項目的安全性,所以那些“用戶導向”的項目會謹慎接入?LayerZero?以免被同屬這個生態的惡意應用污染,這樣一來生態建設難度就不小了。

聲音 | 江卓爾:擴容之爭核心是如何解決擁堵問題,應該大區塊擴容:萊比特礦池江卓爾今日發微博稱,擴容之爭核心是如何解決擁堵問題,擴容派堅持中本聰的大區塊擴容路線,Core黨提出隔離見證SW擴容(號稱有4M效果)和閃電網絡,3年過去了,結果呢?SW擴容只有1.2MB的微弱效果,區塊還是滿的,一到5月的小牛市立馬堵成狗,手續費飆升。閃電網絡更是徹底撲街,沒人去用這種反人性+反經濟規律的產品。Core無法解決擁堵問題,無可爭辯的事實說明中本聰是對的,應該大區塊擴容。[2019/11/16]

如果?Layer?0?不能像?Layer?1、Layer?2?一樣共享安全性,那這個?Layer?0?就不能叫做?Infrastructure,因為基礎設施之所以“基礎”是因為能共享安全性。如果某一項目方自稱是?Infrastructure,那就應該像其他基礎設施一樣為自己的所有生態項目提供一致安全性,即所有生態項目共享該基礎設施的安全性。所以,準確的講,LayerZero?并不是基礎設施?Infrastructure,而是中間價?Middleware。接入這個?MiddlewareSDK/API?的應用開發者確實可以自由定義他們的安全策略。L?2B?EAT?團隊曾在?2023?年?1?月?5?日發文?CircumventingLayerZero:WhyIsolatedSecurityisNoSecurity,指出他們假設應用所有者不會做惡的這種假設是不正確的。壞人?Bob?獲得了?LayerZero配置的訪問權限。壞人?Bob?可以將預言機和中繼器從默認的組件更改為由他控制的組件,說服以太坊上使用?LayerZero?機制的智能合約讓他將好人?Alice?在以太坊上的代幣全部提走。原文鏈接:https://medium.com/l?2b?eat/circumventing-layer-zero-5?e?9?f?652?a?5?d?3?eNomad?團隊在?2023?年?1?月?31?日發文指出,LayerZero中繼器存在兩個關鍵漏洞,目前處于兩方多重簽名狀態,所以這些漏洞只能由內部人員或已知身份的團隊成員利用。其中第一個漏洞允許從LayerZero多重簽名發送欺詐性消息,第二個漏洞允許在預言機和多重簽名簽署消息或事務后修改消息,都可導致所有用戶資金被盜。

分析 | 2018年美國用戶搜索“如何購買Ripple”的次數高于“如何購買比特幣”:據bitcoinexchangeguide消息,去年收集的一項數據顯示,美國用戶對于“如何購買Ripple”這一短語的搜索次數高于“如何購買比特幣”。不過全球范圍內,“比特幣”詞語本身仍然比“ XRP ”或“ Ripple ” 的搜索次數更多。但XRP社區粉絲依舊認為XRP距離成為領先的數字資產并不太遠。[2019/4/3]

原文鏈接:https://prestwich.substack.com/p/zero-validation

當被花哨表相迷惑的時候,那就試著回溯本源。2008年?10月?31日,比特幣白皮書問世。2009年?1月?3日,BTC創世區塊誕生。《比特幣:一種點對點電子貨幣系統》白皮書里的摘要如下:

Abstract.Apurelypeer-to-peerversionofelectroniccashwouldallowonlinepaymentstobesentdirectlyfromonepartytoanotherwithoutgoingthroughafinancialinstitution.Digitalsignaturesprovidepartofthesolution,butthemainbenefitsarelostifatrustedthirdpartyisstillrequiredtopreventdouble-spending.Weproposeasolutiontothedouble-spendingproblemusingapeer-to-peernetwork.Thenetworktimestampstransactionsbyhashingthemintoanongoingchainofhash-basedproof-of-work,formingarecordthatcannotbechangedwithoutredoingtheproof-of-work.Thelongestchainnotonlyservesasproofofthesequenceofeventswitnessed,butproofthatitcamefromthelargestpoolofCPUpower.AslongasamajorityofCPUpoweriscontrolledbynodesthatarenotcooperatingtoattackthenetwork,they'llgeneratethelongestchainandoutpaceattackers.Thenetworkitselfrequiresminimalstructure.Messagesarebroadcastonabesteffortbasis,andnodescanleaveandrejointhenetworkatwill,acceptingthelongestproof-of-workchainasproofofwhathappenedwhiletheyweregone.

聲音 | 趙長鵬:無論市場如何變化,幣安仍將在100年內存在:據CCN報道,幣安首席執行官趙長鵬今日表示,無論行業發生什么變化,幣安仍將在100年內存在。幣安團隊并沒有對每日比特幣的價格波動有所顧忌,基本上并沒有真正關注市場,而是長期關注并專注于團隊工作。趙長鵬表示,幣安只是低著頭,建立功能。[2019/2/8]

摘要中文翻譯如下:

一種完全的點對點電子貨幣應當允許在線支付從一方直接發送到另一方而不需要通過一個金融機構。數字簽名提供了部分解決方案,但如果仍需一個可信任第三方來防止雙重支付,那就失去了電子貨幣的主要優點。我們提出一種使用點對點網絡解決雙重支付問題的方案。該網絡通過將交易“哈希”進一條持續增長的基于哈希的工作量證明鏈來給交易打上時間戳,形成一條除非重做工作量證明否則不能更改的記錄。最長的鏈不僅是被見證事件序列的證據,而且也是它本身是由最大CPU算力池產生的證據。只要多數的CPU算力被不打算聯合攻擊網絡的節點控制,這些節點就將生成最長的鏈而超過攻擊者。這種網絡本身只需極簡的架構。信息將被盡力廣播,節點可以隨時離開和重新加入網絡,只需接受最長的工作量證明鏈作為它們離開時發生事件的證據。

人們從這篇對后世有著舉足輕重的論文里,尤其從這段摘要里提煉出后來廣為認知的“中本聰共識”,其核心特點是杜絕出現?ATrustedThirdParty,實現去信任化?Trustless,去中心化?Decentralized。這里的“中心”即為?ATrustedThirdParty。跨鏈通信協議本質上與比特幣一樣,都是一個PeertoPeer?的系統,一方從?ChainA?直接發送到?ChainB?的另一方,而不需要通過任何?trustedparty。具備?Decentralized?和?Trustless?特性“中本聰共識”已經成為后來所有做基礎設施的開發者共同追求的目標。可以說,不滿足“中本聰共識”的跨鏈協議,即為假去中心化跨鏈協議,不能使用?Decentralized、Trustless?這種高級字眼來形容自己的產品特性。而?LayerZero?介紹自己說是?Omnichaincommunication,interoperability,decentralizedinfrastructure.LayerZeroisanomnichaininteroperabilityprotocoldesignedforlightweightmessagepassingacrosschains.LayerZeroprovidesauthenticandguaranteedmessagedeliverywithconfigurabletrustlessness.?

事實上,LayerZero?既要求?Relayer、Oracle?這兩個角色不會合謀做惡,又要求用戶將使用?LayerZero?構建應用的開發者作為可信賴的第三方來信任,而且參與“多簽”的受信主體都是被事先安排好的特權角色;與此同時,在它整個跨鏈過程沒有產生任何欺詐證明或有效性證明,更別說將這些證明上鏈并做鏈上驗證。因此,LayerZero?根本就不滿足“中本聰共識”,壓根就不是Decentralized?和?Trustless。

在?L2B?EAT?團隊以及?Nomad?團隊以問題發現者的角度發表善意文章之后,LayerZero?的回應態度是“否認”再“否認”。比特幣之前就有了很多電子貨幣了,但是都失敗了。因為它們都沒有能達成去中心化,抗攻擊和自帶內在價值的目標,跨鏈協議也是如此,哪怕融資再多、流量再大、“血統再純正”,只要產品無法實現?RealDecentralizedSecurity,大概率是會因為抗攻擊韌性不足而宣告結束。曾經有一個立場本應該和?LayerZero?保持高度一致的朋友問我一個問題:“如果?LayerZero?想要像?WayNetwork?一樣使用零知識證明來升級他們的跨鏈協議,那難度高不高,會有什么障礙?”這是一個令人玩味的問題,而問題的關鍵是他們不認為自己有問題。

至于怎么構建真去中心化的跨鏈協議,可以參考我的往期文章《為什么要使用零知識證明來開發跨鏈協議?》

Tags:LAYEREROZEROZERLAYERX幣ERONProtocol ZeroAZERO

中幣交易所
加密貨幣分析師揭示頂級敘事將推動下一個加密貨幣牛市_BURN:MCA

gz呺Web3團子 在經歷了整個加密貨幣領域長達一年多的連續下跌之后,比特幣開始了新的牛市。自今年年初以來,最大的數字資產已上漲約40%,打破了加密貨幣交易所FTX在11月破產之前創下的紀錄,震.

1900/1/1 0:00:00
Express Your Love For Digital Assets This Valentines Day | $25,000 Prize Pool Up For Grab_YOU:TigSwapCandy

Nowthatthe#cryptomarkethastakenpositivegrowthafteraseriesofdownwardtrends.

1900/1/1 0:00:00
穩定幣回歸?市場份額接近50% Tether再次成為首選代幣_穩定幣:TUSD

隨著美國證券交易委員會似乎要打壓與美元掛鉤的代幣,最古老的穩定幣Tether看起來一如既往地占據主導地位.

1900/1/1 0:00:00
Arbitrum生態新項目介紹_RBI:bitkeep哪個國家的

Arbitrum生態新項目介紹:Nitrocartel以及其第一個子項目ArbitroveNitrocartel是一個通過社區建立政體從而影響生態發展的治理協議.

1900/1/1 0:00:00
詐騙者發布關于“SingularityNET開啟AGI空投”的虛假推文,請用戶防范風險_LAR:量子比特幣qbtc幣

2月11日消息,近日有詐騙分子在推特上宣布,去中心化人工智能網絡SingularityNET為其AGI資產組織了一次代幣空投。事實上,一年多前,AGI已更名為AGIX.

1900/1/1 0:00:00
Aave社區發起“將sfrxETH引入Aave V3以太坊市場”的提案投票_AAVE:ethm幣會歸零嗎

2月11日消息,Aave社區發起“將sfrxETH引入AaveV3以太坊市場”的提案投票,截止日期為2月14日19:00.

1900/1/1 0:00:00
ads