側鏈并不具備廣大以太坊社區所期待的安全性,不能提供審查抗性、終局性和資金所有權保證。
原文標題:《理解「側鏈」》?作者?:barryWhiteHat?翻譯?:?阿劍
引言
Layer-2?對以太坊的重要性與日俱增,而且已成共識。
但是,「Layer-2」?是個不精確的標簽。有些人說起?「Layer-2」?時,僅僅指的是?「不在以太坊?Layer-1?」。但實際上,方案到底怎么跟以太坊?Layer-1?交互,是非常重要的。同屬「Layer-2」?名目下的不同方案,特性可以有天壤之別。可以爭議?「Layer-2」?應該專指具備特定屬性的某些東西。不過,這不是我這里要講的主題。
我在這里要討論的是側鏈的屬性。
側鏈的基本含義是:由一組驗證者,把一條鏈的最新狀態提交給一個智能合約,如此推進的一類系統。這些檢查點可被一個橋接合約使用,以支持用戶的存款和取款。一般來說,在該組驗證者之間也會有一個領袖選舉流程,來決定某時某刻由誰來創建側鏈區塊;例如?PoA?權威證明算法和?PoS?算法。
PeckShield:Conic Finance遭攻擊根本原因在于新的CurveLPOracle V2合約:7月21日消息,區塊鏈安全機構 PeckShield 針對 Conic Finance 遭到攻擊事件分析稱,初步分析顯示根本原因來自于新的 CurveLPOracle V2 合約,其審計也發現了類似的只讀重入問題。然而,新推出的 CurveLPOracleV2 合約中也出現了同樣的問題,該合約不屬于審計范圍。
今日早些時候報道,Conic Finance遭受攻擊,損失約320萬美元。[2023/7/21 15:51:07]
側鏈在以太坊生態中也扮演著重要的角色。在研究人員還未開發出更好的方案之前,它們是可擴展性和可用性的臨時解決方案。像?xDai?這樣的產品,也點出了大家對更好的用戶體驗的需求,并使之擴散了開來。
但是,側鏈并不具備廣大的以太坊社區所期待的安全性。這不是說永遠不該使用側鏈這種方案。如果人們完全知情,但是愿意用,那是他們自己的選擇,也可能是值得的。但如果人們是不知情的,那就危險了。本文是希望提供一些信息。如果每個人都已經完全知曉了這些特性,那我這再寫一篇也無傷大雅。但如果這文章能幫助大家意識到自己的誤解,那就算做了好事了。
歐洲央行大樓出現巨型比特幣LOGO的投影:金色財經報道,據Bitcoin News在社交媒體上表示,歐洲央行大樓出現巨型比特幣LOGO的投影。[2023/3/31 13:36:19]
那么側鏈到底缺少了哪些安全特性?幾乎所有的側鏈,都不能夠提供:
審查抗性
終局性
資金所有權保證
如果這些特性你全都要,那你可能得另找方案來代替側鏈了。當然,也有可能在維持側鏈核心架構的前提下改進具體方案在這些維度上的表現。
我覺得開放性的討論對大家都有好處。
審查抗性
顯然,側鏈的審查抗性比區塊鏈要弱。不然,那也根本不需要區塊鏈了。但這里我們挖得再深一些。
如果某條側鏈有?N?個驗證者,而只要有?M?個驗證者一致同意就可以審查任意一筆交易,那么只需要?(N-M)?個驗證者聯合起來,就可以審查一個區塊。這就導致了一個有趣的兩難:要讓審查交易變得更難,就會讓審查區塊變得更簡單。因為審查交易和審查區塊都是糟糕的事情,所以側鏈就在根本上不能獲得強健的審查抗性。
社交元宇宙平臺Habytat推出AI支持的元宇宙寵物:金色財經報道,由DatChat提供支持的社交元宇宙平臺Habytat宣布推出基于專有人工智能支持的元宇宙寵物,這些寵物可以從用戶行為中進行學習并與用戶建立情感聯系,目前其平臺有四種狗和兩種貓供選擇,但該公司已表示未來將增加更多狗和貓品種并且也會推出長頸鹿、老虎、獅子和猴子等元宇宙動物,目前尚不清楚這些數字寵物未來是否會以NFT形式呈現。(venturebeat)[2023/3/1 12:35:05]
這種擔憂在使用?PoS?時也依然存在,甚至按權益來計算出塊權重會讓它變得更糟糕,因為達成閾值的獨立實體數量可能會更低。
數據可得性保證
假設只要?(N-M)?個驗證者就可以創建一個區塊。再假設所有其他驗證者需要擁有整個狀態的數據才能夠驗證新狀態。那么,只要?(N-M)?個驗證者是惡意的,他們可以:
創建一個新區塊
拒絕與誠實驗證者共享區塊數據
本質上就是將?N-(N-M)?=?M?名誠實驗證者移出了共識過程,因此完全掌控了整個系統
西班牙證券監管機構對加密貨幣相關投資發出警告:金色財經報道,西班牙證券監管機構(CNMV)警告投資者不要將資金投入加密貨幣相關公司。該組織的副總裁Montserrat Martinez Parera表示,缺乏控制是加密貨幣交易所FTX崩潰的原因之一,任何將加密貨幣視為投資的人都必須非常小心,因為該領域缺乏監管。
Martinez Parera還警告投資者不要踏上這類投資之旅,并表示,鑒于這一生態系統仍然缺乏監管和控制,他們應該極其謹慎地對待任何與加密貨幣相關的機會。她還呼吁有興趣的各方等待歐洲正在討論的加密貨幣框架MiCA獲得批準,以便更清楚地了解如何監管加密資產投資。(news.bitcoin)[2022/11/30 21:12:54]
這種情況發生的可能性有多大呢?顯然需要更具體的細節才能下結論,但我們可以這樣開始思考:一個理性的驗證者,要跟其他人共享數據的激勵在哪里呢?在傳統的權威證明機制中,不這樣做可能對聲譽有損。但是,其實聲譽機制也很難起作用,因為實際上并沒有辦法證明數據被扣起來了,除非其他人把所有數據都放到了鏈上。覺得這個解決方案聽起來像是?optimistic?rollup?沒錯,就是如此。這也意味著,帶有更好安全性的側鏈,本質上就?“退化”?成了?optimistic?rollup。
距離以太坊合并僅剩1小時 剩余區塊高度259:金色財經報道,據OKLink數據顯示,當前距離以太坊合并僅剩1小時,預計剩余區塊高度259。[2022/9/15 6:58:08]
在大多數側鏈方案中,驗證者可以因為自己的工作而獲得某種形式的支付。對于誠實的驗證者,獎勵會在?N?個驗證者之間共享。對于不誠實的驗證者,同樣多的獎勵只會在?N-(N-M)=M?個驗證者之間共享,所以驗證者完全有激勵不跟其他人分享更新后的狀態。
在這里,有一個根本性的難題:很難辨別數據可得性攻擊。對于誠實驗證者來說,很難分辨出,到底是有人發動了攻擊,還是自己遇到的同步問題。
終局性
假設狀態轉換的流程如下:
state?1?=>?state2?=>?state3
而每一次的轉換都需要一些交易在已有的狀態上生效從而改變狀態。而終局性就是說,交易一旦生效,就不能撤銷。
側鏈的檢查點,經過側鏈驗證者的共識之后發送到以太坊區塊鏈上,并根據以太坊的共識機制被固化下來。有些人可能因此就認為,側鏈的終局性等同于以太坊的終局性;要回滾側鏈的區塊,你也需要回滾以太坊的區塊。但這完全搞錯了。
因為終局性是說不能回滾交易,不是說不能用新狀態來替代舊狀態。只要?(N-M)?個驗證者同意,他們可以執行如下的狀態轉換:
state?1?=>?state2?=>?state1
側鏈資金所有權保證
假設現在的?state1={Alice:1000,Bob:0}。即?Alice?有?1000?塊,而?Bob?啥也沒有。那如果?Bob?是惡意的,而且控制著?POA?驗證者中的絕大多數,他可以怎么做?
他可以執行一個狀態轉換,state?1?=>?state2,而?state2={Alice:0,Bob:1000}。也就是偷走?Alice?所有的錢并交給?Bob。
因此,側鏈的防御就減弱為,不會有?(N-M)?個驗證者同意去執行這樣的非法狀態轉換。
這已經是眾所周知的事,但我認為還是有必要提醒大家。你對一條側鏈的信心,只能是相信驗證者中的大多數不會干這樣的事情。對側鏈的大部分安全分析都應該關注這一點。
可能還是有某些人你可以在某種程度上信任他們。就像我們中的許多人都中心化的服務提供商。有時候這種犧牲是值得的。重要的是,你得清楚這是一種權衡。
使用治理程序作為防御手段的問題
有一種說法是:”我們可以使用治理程序來解決上面提到的所有問題“。這種方法是有缺陷的,因為整個系統會退化為一個治理流程。這種說法格外使我擔心的一個理由是,它意味著側鏈的其他屬性是劇院。舉個例子,如果治理流程才是防范上述問題的最終手段,那也就意味著,什么?PoS、PoA,統統都不重要。系統的治理流程才是真正的?PoA。而且,很明顯,對系統的治理流程,同樣可以發動一模一樣的攻擊。
側鏈的特性在哪里可能特別有用?
除了側鏈的一些附加屬性,比如更快的區塊時間,確實有一些場合,是側鏈的特點可以大放異彩的。比如:
你就是想要?N?-M?個驗證者就能執行任意狀態轉換。希望有一個高級控制權限的企業應用就是一個例子。
M=0,且?N?個驗證者可以執行任意狀態轉換的情況。例如,一個四方參與的游戲。不過問題是,1?個驗證者就可以關停這條鏈。
結語
曾經,側鏈是在保持一定水平的以太坊可組合型和互操作性的前提下,唯一可用的方案。現在,隨著別的一些?Layer-2?擴展方案的成熟,是時候考慮側鏈如何與其他方案更好地結合了。
有一些屬性,很適合讓側鏈加以整合:
實現不收費的大規模遷移,保證用戶不會因為費用而被卡住,無法退出。
將領袖選舉機制替換為其他具備更強審查抗性的方案
需要協調器來處理鏈上兩個狀態的差異。
加入錯誤性證明來防止非法的狀態轉換。
隨著?optimistic?rollup?和?optimistic?VM?技術的成熟,項目的權衡范圍也會改變,因此,現在是反思側鏈屬性及其相關取舍的好時機。
原文:https://ethresear.ch/t/understanding-sidechains/8045
來源鏈接:mp.weixin.qq.com
那些嘗試去做某事卻失敗的人,比那些什么也不嘗試做卻成功的人不知要好上多少。4.成功不是將來才有的,而是從決定去做的那一刻起,持續累積而成。別放棄你的夢想,遲早有一天它會在你手里發光.
1900/1/1 0:00:0010月份數字資產領域發生了多件影響較大的事件,對于國內來說,除了Filecoin主網上線,現貨交易正式開始以及PayPal允許用戶持有BTC等數個數字資產外.
1900/1/1 0:00:00信托同款定融全國GDP30強市財政局直屬平臺融資200億國有AA+債券平臺擔保3.7億市財政局應收質押 規模:1億元 期限:12/24月;自然季度付息12月?:20-100-300萬9.0-9.
1900/1/1 0:00:00???今天,比特幣出現了回調,昨晚一鼓作氣拉盤的瑞波幣,BCH以及BSV等幣都隨著比特幣的回調而高臺跳水,甚是嚇人.
1900/1/1 0:00:00行情分析: 以太早盤拉升持續上漲突破560一線,小時級別來看,幣價沖高突破上軌壓制,在561附近遇壓小幅回落,幣價沖高回落后,高位收線十字陰K,目前幣價徘徊在546附近,技術上布林軌道開始縮口.
1900/1/1 0:00:00最近,花旗銀行高管TomFitzpatrick預計,市值最高的加密貨幣比特幣的價格將在2021年底達到31.8萬美元.
1900/1/1 0:00:00