買比特幣 買比特幣
Ctrl+D 買比特幣
ads
首頁 > 區塊鏈 > Info

以太坊:以太坊使用Rollup技術的安全風險在哪里?_ETH

Author:

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

通過破壞Infrua,基本上可以破壞所有Rollup。文|Qingzhou以太坊已經確認了以Rollup為中心的2.0路線圖,這讓Rollup成為了炙手可熱的技術,也可以說已經成為了layer2擴容的主流技術。如果與零知識證明證明搭配起來,Rollup會是layer2技術里解決方案的集大成者。但正所謂“沒有絕對安全的系統”,Rollup同樣存在一定安全隱患,以太坊研究者論壇的開發者已經在討論此事。1月20日,以太坊開發者「jchancehud」發布了關于虛擬Rollup攻擊的討論。以下為關于虛擬Rollup攻擊的討論。經白計劃團隊整理,有所修改和批注。Rollup的安全風險原因

模擬Rollup攻擊的基本原理是:只要虛擬狀態有效,任何以太坊節點都可以向OptimisticRollup協調員撒謊。而協調員只有在嘗試發送交易或切換以太坊供應商時才會發現這一點。OptimisticRollup是通過在以太坊網絡上使用calldata存儲塊信息來進行。這各過程允許任何人操作以太坊節點并下載Rollup狀態。但實際上,有些人不會操作他們自己的以太坊節點,而是依靠托管解決方案。需要驗證有效性如果要快速低成本地構建有效的Rollup鏈,需要做的是進行交易、構建狀態并將其存儲在以太坊網絡以外的其他位置。當Rollup協調員從以太坊節點接收狀態歷史記錄時,協調員可以通過重播狀態交易來確定數據是否有效。然而,協調員不能確定鏈上是否存在該狀態,最好的辦法是詢問以太坊節點。如果出現人為攻擊如果想象一個名為Untrust的以太坊節點服務。Untrust為以太坊dapp提供了低成本的基礎架構。如果他們選擇不信任,則可以查看特定的Rollup并創建虛構的歷史記錄。他們甚至可以通過從某些真實交易中提取通信數據并將其與虛擬交易混合來創建半虛擬歷史。這樣,他們將創建一個完全不同的當前狀態哈希,但只有在使用Untrust的Rollup運算符去提交一個塊的情況下,這才會被發現。這種類型的攻擊并不是特別強大。攻擊者無法偽造簽名,不能直接竊取資金,但可以在Rollup中撒謊自己的活動。想象一下,Untrust變得更加復雜。他們決定攻擊名為MoneyMover的Rollup。當收到對MoneyMover地址的請求時,它們會從運行完全獨立的以太坊網絡的節點返回信息。在這個獨立的以太坊網絡中,Untrust鏡像了大多數交易,并在需要時注入自己的交易。現在說Untrust找到一個使用MoneyMoverRollup付款的網站。該網站運行自己的MoneyMover協調員,該協調員連接Untrust以訪問以太坊網絡。Untrust可能會在其鏡像網絡中創建虛構的交易,MoneyMover協調員將其解釋為有效。由于MoneyMover協調員未與任何對等方連接,因此確定鏈上存在的唯一方法是詢問以太坊節點。Untrust在其鏡像網絡上進行了一次虛構的交易,該網站運營的MoneyMover協調員將其檢測為有效付款。Untrust現在無需付費即可訪問該網站。網站只會在他們提交交易或切換到其他以太坊供應商時才發現這種虛構的付款。實際可能出現的風險

以太坊核心開發人員:自2020年以來只有0.04%的以太坊驗證者被移除:金色財經報道,以太坊核心開發人員Superphiz表示,自2020年12月1日啟動信標鏈以來,以太坊生態系統只削減了226個驗證者,僅占524,060個驗證者的0.04%。最大的削減事件之一發生在2021年2月4日,當時質押基礎設施提供商Staked的75個驗證器因生產競爭區塊而被削減。Staked說,違反認證是由于“技術問題”造成的。

削減是一個驗證者違反權益證明共識規則的過程,這通常會導致該驗證者從網絡中移除并削減一部分質押的以太坊。Superphiz表示,這種被大幅削減的可能性很小,這表明人們不應該因為這個特定原因而擔心抵押ETH。Superphiz指出許多移除是由于“系統遷移失敗”造成的。[2023/2/23 12:24:35]

以上的攻擊是僅當協調員未運行其自己的以太坊節點時,此攻擊才有意義。有一些情況是有問題的:1.協調員數據的下游使用者無法知道他們接收的數據是否存在,他們不能信任協調員正在使用的eth節點,因為使用者沒有自己運行該節點。2.欺詐證明者尤其容易受到這種攻擊,因為它們僅在檢測到欺詐行為時才會提交交易。惡意的eth節點可能會從區塊鏈數據中剝離無效交易,并僅返回不同的狀態哈希。欺詐證明者將無法得知狀態哈希是虛構的,并且永遠不會提交欺詐聲明。3.eth節點操作員向Rollup協調員說謊,以誘使他們要么提交無效的狀態交易,要么提交無效的欺詐聲明。一旦發生這種情況,惡意的eth節點運營商就可以充當有效的交易對手并收集抵押的資金。解決方案1在工作量證明鏈的背景下,協調員可以請求塊數據并檢查其是否足夠困難。檢查當前難度的至少一半應該可以使大多數攻擊因為財務問題無法實現。在權益證明鏈中,這個過程變得不可行,因為惡意的eth節點可能會從未投票的地址提供簽名。他們可以通過在查詢時質押抵押金額來做到這一點。解決方案2一個不太優雅的解決方案是:對信譽良好的節點不斷簽名,并發布已存在于鏈上的Rollup狀態哈希的列表。該列表可以在IPFS之類的服務上發布。協調員節點可以包括一個已知的信譽良好的公共密鑰的預設列表。如果出現以下情況,協調員會知道Rollup數據是真實的:1.所有狀態交易均有效。2.所有狀態散列均由信譽良好的來源進行簽名。這將確保Rollup數據有效且非虛構,并且將允許Rollup節點使用任何以太坊節點來同步數據。以上是「jchancehud」討論的Rollup安全攻擊的可能性。主要是因為Rollup是鏈下狀態,容易在很多狀態里出現信息同步不及時的情況,據「jchancehud」表示的,需要驗證鏈下狀態是否有效的一方需要同步其他以太坊全節點的數據才可以確認最終安全性,這意味著很多平臺需要運行一個以太坊節點。對于上文舉出的虛擬攻擊方式,以太坊的layer2解決方案團隊SKALELabs首席技術官「KonstantinKladko」表示,“這真的很有趣!我認為這表明,通過破壞Infrua,可以基本上破壞所有Rollup。”當然,這是代表著那些通過Infura來與以太坊通訊的產品,Infura承擔著很大的以太坊節點服務規模,此前也有關于Infura是否會是以太坊網絡最大單點漏洞的討論。而對于這個單點安全風險,主要是以多節點負載均衡的方式處理,盡力規避。而對于「jchancehud」的討論,最有趣的是開發者「adlerjohn」提出,這種虛擬的“攻擊”似乎不僅適用于optimisticRollup,而且還適用于zkRollup,實際上也適用于任何智能合約。這一推論很可能是基于“只要存在信息不對稱危險”的協作過程,就會面臨「jchancehud」所說的攻擊風險。所以「adlerjohn」提出,在比特幣的白皮書第8節,有如何驗證信息對錯的方式,即驗證者確定最長鏈,信任最長鏈,這個方式描述了一種眾所周知的方案,這個該方案可用于防止Sybil節點提供虛假信息,這樣可以不要求大多數計算是誠實的。

比特幣和以太坊巨鯨在三筆大規模轉移中共轉移7.43億美元加密貨幣:2月5日消息,比特幣排名第65錢包地址于本周五轉移13,369枚BTC,約合3.11億美元。另一以太坊巨鯨轉移186,009枚ETH,約合3.09億美元。幾個小時后,Whale Alert追蹤到另一比特幣巨鯨從加密貨幣交易所Gate.io向一個未知錢包轉移5,278枚BTC,價約合1.23億美元。[2023/2/5 11:48:24]

比特幣白皮書的第8節此外,「adlerjohn」提出,Rollup的狀態根可以作為事件發出,甚至可以存儲在以太坊狀態中,也可以進行偽造交易的查詢。

以太坊Gas費10分鐘飆漲936.67%,ETH鏈上活躍度上升:金色財經報道,Ultrasound.money顯示當前以太坊Gas費用漲至311Gwei,10分鐘飆漲936.67%,表明ETH鏈上活躍度有所上升,請留意行情變化。[2023/1/17 11:15:49]

比特幣白皮書的第7節另外,「adlerjohn」還提到了關于optimisticRollup方案中,還可以包含名為“最小可行合并共識”的設計,該設計可以通過發布有序數據來實現數據可用性,可以讓多個側鏈、分片使用。白計劃注:最小可行合并共識的解讀在如下鏈接https://ethresear.ch/t/minimal-viable-merged-consensus/5617但可以預見的是,使用「adlerjohn」提出的方式,是存在較大的設計難度的。在討論的最后,「jchancehud」回復「adlerjohn」表示,不能確定這種攻擊預測是否適用于ZKRollup。但因為ZK證明更難生成,至少會更加困難。如果Rollup被廣泛采用,那么這樣考慮Rollup尤其重要。Rollup協調員可以在使用節點之前驗證節點中的所有區塊頭,這是另一種潛在的解決方案,盡管時間和帶寬昂貴。但用戶最好運行自己知道可以信任的eth輕節點。如果已經解決驗證問題,運行輕節點還可以查詢事件。討論在最后,我們會發現為了實現安全性、可擴展性、效率,這些方案按工程化的思路是可以嘗試的,但實施過程一定是困難的,因為不同開發者的討論思路最后還要合成代碼,以及包含網絡結構、客戶端、語言、操作界面等多個挑戰。時間戳向前,區塊不停,我們繼續期待吧。

V神:OMG是領先的以太坊L2 批評我不如批評BCH社區:推特網友Monsoonie對V神提問稱,有時人們會在判斷上犯錯誤,就像你在omise go(代幣OMG的發行者)和其他eth項目上的建議一樣。那么我們應該怎么看待你呢?對此V神剛剛回復稱,自2019年低迷以來,OMG已經很好地挽回了聲譽。它現在是領先的以太坊L2(Layer 2第二層協議擴展解決方案)之一,甚至USDT也選擇在其區塊鏈上發行。我敢肯定,我在公司內部對他們為升職所做的某些事情表示反感。(這是2年前,具體我記不清了)。我不認為OMG在網絡上是隨意的,比如,他們在如何銷售上比大多數人都要克制。如果你想批評我,BCH在我看來是一個更好的目標,我真的認為在他們擺脫Craig之后會重新振作起來,但到目前為止,他們還沒有真正做到。[2020/9/7]

以太坊待確認交易總量為19989筆:目前以太坊價格721.9美元,24小時下跌5.74%,待確認交易總量為19989筆,目前以太坊的網絡狀態比較擁堵。[2018/5/9]

Tags:以太坊ROLROLLETHop幣價格跟隨以太坊價格走RollerSwapRoller InuMETH幣

區塊鏈
FIL:一文帶你了解什么是Filecoin全網基準線_COI

在參與Filecoin挖礦中,所有人最關心的自然是收益問題。那礦工收益到底與哪些因素相關?本文先從全網基準線角度進行分析↓↓↓一、Filecoin經濟模型1最初經濟模型FIL總量為20億枚,其中.

1900/1/1 0:00:00
ASH:除了閃電貸,你還應該知道新概念閃電兌和閃電鑄_全球穩定幣DAI

編者按:本文來自區塊律動BlockBeats,作者:0x26,Odaily星球日報經授權轉載。閃電貸的最大特征就是讓任何人都可以在一瞬間變得極其富有,但只有少數人能利用這一瞬間為自己創造可觀的財.

1900/1/1 0:00:00
PPL:Ripple前首席技術官損失的比特幣可能遠遠超過2.2億美元_ripple幣是什么意思

編者按:本文來自Cointelegraph中文,作者:TURNERWRIGHT,Odaily星球日報經授權轉載.

1900/1/1 0:00:00
ripple:星球前線 | 日本金融廳:XRP是加密貨幣而非證券_ripple幣fba

Odaily星球日報譯者|念銀思唐 摘要: -日本金融廳已向TheBlock證實,它將XRP視為加密貨幣,而不是一種證券。-這是FSA首次直接就XRP的法律地位發表評論.

1900/1/1 0:00:00
DEF:Messari:固收協議將是DeFi創新的下一波浪潮?_defibox幣價格

編者按:本文來自加密谷Live,作者:RahulRai,翻譯:Davida,Odaily星球日報經授權轉載。本文是Messari社區的客座文章.

1900/1/1 0:00:00
ETF:加密貨幣市場投資者為什么一直執著于比特幣ETF?| 烤仔星選_DOGETF

1月22日,數字資產管理公司ValkyrieDigitalAssetsLLC向美國證券交易委員提交比特幣交易所交易基金的注冊申請,該ETF計劃于紐交所高增長板市場上市.

1900/1/1 0:00:00
ads