以太坊已經確認了以Rollup為中心的2.0路線圖,這讓Rollup成為了炙手可熱的技術,也可以說已經成為了layer2擴容的主流技術。如果與零知識證明證明搭配起來,Rollup會是layer2技術里解決方案的集大成者。
但正所謂“沒有絕對安全的系統”,Rollup同樣存在一定安全隱患,以太坊研究者論壇的開發者已經在討論此事。1月20日,以太坊開發者「jchancehud」發布了關于虛擬Rollup攻擊的討論。
以下為關于虛擬Rollup攻擊的討論。經白計劃團隊整理,有所修改和批注。
Rollup的安全風險原因
模擬Rollup攻擊的基本原理是:只要虛擬狀態有效,任何以太坊節點都可以向Optimistic Rollup協調員撒謊。而協調員只有在嘗試發送交易或切換以太坊供應商時(意味著同步全節點狀態)才會發現這一點。
Optimistic Rollup是通過在以太坊網絡上使用calldata存儲塊信息來進行。這各過程允許任何人操作以太坊節點并下載Rollup狀態。但實際上,有些人不會操作他們自己的以太坊節點,而是依靠托管解決方案(例如Infura)。
以太坊L2網絡總鎖倉量為46.9億美元:金色財經報道,L2BEAT數據顯示,截至10月23日,以太坊Layer2上總鎖倉量為46.9億美元。其中鎖倉量最高的為擴容方案Arbitrum,約23.9億美元,占比50.95%;其次是Optimism,鎖倉量為14.3億美元,占比30.68%;第三為dYdX,鎖倉量為3.65億美元,占比7.80%[2022/10/23 16:36:03]
需要驗證有效性
如果要快速低成本地構建有效的Rollup鏈,需要做的是進行交易、構建狀態并將其存儲在以太坊網絡以外的其他位置。當Rollup協調員從以太坊節點接收狀態歷史記錄時,協調員可以通過重播狀態交易來確定數據是否有效。然而,協調員不能確定鏈上是否存在該狀態,最好的辦法是詢問以太坊節點。
如果出現人為攻擊
如果想象一個名為Untrust的以太坊節點服務。Untrust為以太坊dapp提供了低成本的基礎架構。如果他們選擇不信任,則可以查看特定的Rollup并創建虛構的歷史記錄。他們甚至可以通過從某些真實交易中提取通信數據并將其與虛擬交易混合來創建半虛擬歷史。
Ether Capital持有的以太坊總價值為1.661億加元:加拿大上市公司Ether Capital Corporation(NEO:ETHC)發布截至2021年6月30日的三個月和六個月財務業績報告。截至2021年6月30日,該公司持有的以太坊總價值為1.211億加元;該公司的總資產為1.329億加元;公司股東權益總額為1.326億加元;該公司第二季度收入為304312加元,凈虧損為149508加元。該季度公司記錄的其他綜合收益(OCI)收益為1930萬加元,這是該公司數字無形資產公允價值重估未實現收益凈變化的結果。截至2021年8月12日,該公司持有的以太坊總價值為1.661億加元。(Businesswire)[2021/8/13 1:53:53]
這樣,他們將創建一個完全不同的當前狀態哈希,但只有在使用Untrust的Rollup運算符去(向鏈上)提交一個塊的情況下,這才會被發現(這將是欺詐性的)。
這種類型的攻擊并不是特別強大。攻擊者無法偽造簽名,不能直接竊取資金,但可以在Rollup中撒謊自己的活動。
想象一下,Untrust變得更加復雜。他們決定攻擊名為MoneyMover的Rollup。
觀點:以太坊0階段順利完成,市場回升符合預期:11月30日消息,上海對外經貿大學人工智能與變革管理研究院區塊鏈技術與應用研究中心主任劉峰表示,比特幣近兩日下跌,一方面是之前一段時間持續的拉漲,沒有合理的震蕩來釋放短期風險;另一方面,比特幣價格在臨近歷史最高點時,不乏有機構拋售導致單日價格閃崩,同時也加劇了市場拋壓的擔憂。這也顯示出虛擬代幣交易市場投機屬性依然很強,波動很大。劉峰進一步稱,自11月26日閃崩以來,市場再次回升,此表現也符合預期。一方面預期落地,利空出盡;另一方面以太坊在0階段順利完成,其他階段并行啟動,一定程度刺激了市場,繼續帶來穩步回升的動力。(北京商報)[2020/11/30 22:31:24]
當收到對MoneyMover地址的請求時,它們會從運行完全獨立的以太坊網絡的節點返回信息。在這個獨立的以太坊網絡中,Untrust鏡像了大多數交易(使賬戶余額看起來相似),并在需要時注入自己的(假)交易。
現在說Untrust找到一個使用MoneyMoverRollup付款的網站。該網站運行自己的MoneyMover協調員,該協調員連接Untrust以訪問以太坊網絡。
動態 | 以太坊未確認交易35216筆:據Etherscan.io數據顯示,以太坊未確認交易35216筆。當前挖礦難度2588.05 TH,交易處理能力5.7 TPS。截至目前以太坊全球均價為144.83美元,最近24小時跌幅為0.25%。[2019/12/14]
Untrust可能會在其鏡像網絡中創建虛構的交易,MoneyMover協調員將其解釋為有效(只要狀態交易有效)。由于MoneyMover協調員未與任何對等方連接,因此確定鏈上存在的唯一方法是詢問以太坊節點(在本例中為Untrust)。
Untrust在其鏡像網絡上進行了一次虛構的交易,該網站運營的MoneyMover協調員將其檢測為有效付款。Untrust現在無需付費即可訪問該網站。網站只會在他們提交交易或切換到其他以太坊供應商(即要與其他節點同步數據)時才發現這種虛構的付款。
實際可能出現的風險
以上的攻擊是僅當協調員未運行其自己的以太坊節點時,此攻擊才有意義。有一些情況是有問題的:
1.協調員數據的下游使用者無法知道他們接收的數據是否(在鏈上)存在,他們不能信任協調員正在使用的eth節點,因為使用者沒有自己運行該節點。
動態 | 以太坊主網硬分叉或推遲至11月:Parity Tech核心開發者Wei Tang稱,以太坊的PoW升級計劃已被推遲。Tang表示:“我們需要到9月6日才能完成實施。不僅因為我們接受EIP的時間較晚,并且現在恰好在進行大型的代碼庫重構,我們可能希望在合并伊斯坦布爾的EIP之前先合并它們。”開發人員原本打算在8月23日的電話會議上選擇一個測試網絡號碼,但現在必須先等待Parity完成,然后再選擇一個測試網號碼,Tang表示大概需要兩周時間。據報道,主網硬分叉原本預計在10月4日進行,但現在可能將推遲至11月,這取決于Parity的進展以及測試網的進展情況。與此同時,由以太坊基金會管理的客戶端Geth已經合并了所有EIP。目前約76%的網絡運行Geth,而只有21%運行Parity。(trustnodes)[2019/8/28]
2.欺詐證明者(去證明惡意交易的一方)尤其容易受到這種攻擊,因為它們僅在檢測到欺詐行為時才會提交交易。惡意的eth節點可能會從區塊鏈數據中剝離無效交易,并僅返回不同的狀態哈希。欺詐證明者將無法得知狀態哈希是虛構的,并且永遠不會提交欺詐聲明。
3.eth節點操作員向Rollup協調員說謊,以誘使他們要么提交無效的狀態交易,要么提交無效的欺詐聲明。一旦發生這種情況,惡意的eth節點運營商就可以充當有效的交易對手并收集抵押的資金。
解決方案1
在工作量證明鏈的背景下,協調員可以請求塊數據并檢查其是否足夠困難。檢查當前難度的至少一半應該可以使大多數攻擊因為財務問題無法實現。
在權益證明鏈中,這個過程變得不可行,因為惡意的eth節點可能會從未投票的地址提供簽名。他們可以通過在查詢時質押抵押金額來做到這一點。
解決方案2
一個不太優雅的解決方案是:對信譽良好的節點不斷簽名,并發布已存在于鏈上的Rollup狀態哈希的列表。該列表可以在IPFS之類的服務上發布。協調員節點可以包括一個已知的信譽良好的公共密鑰的預設列表(Rollup創建者,EF等)。
如果出現以下情況,協調員會知道Rollup數據是真實的:
1.所有狀態交易均有效。
2.所有狀態散列均由信譽良好的來源(節點)進行簽名。
這將確保Rollup數據有效且非虛構,并且將允許Rollup節點使用任何以太坊節點來同步數據。
以上是「jchancehud」討論的Rollup安全攻擊的可能性。
主要是因為Rollup是鏈下狀態,容易在很多狀態里出現信息同步不及時的情況,據「jchancehud」表示的,需要驗證鏈下狀態是否有效的一方需要同步其他以太坊全節點的數據才可以確認最終安全性,這意味著很多平臺需要運行一個以太坊節點。
對于上文舉出的虛擬攻擊方式,以太坊的layer2解決方案團隊SKALE Labs首席技術官「Konstantin Kladko」表示,“這真的很有趣!我認為這表明,通過破壞Infrua,可以基本上破壞所有Rollup。”
當然,這是代表著那些通過Infura來與以太坊通訊的產品,Infura承擔著很大的以太坊節點服務規模,此前也有關于Infura是否會是以太坊網絡最大單點漏洞的討論。而對于這個單點安全風險,主要是以多節點負載均衡的方式處理,盡力規避。
而對于「jchancehud」的討論,最有趣的是開發者「adlerjohn」提出,這種虛擬的“攻擊”似乎不僅適用于optimistic Rollup,而且還適用于zkRollup,實際上也適用于任何智能合約。
這一推論很可能是基于“只要存在信息不對稱危險”的協作過程,就會面臨「jchancehud」所說的攻擊風險。
所以「adlerjohn」提出,在比特幣的白皮書第8節,有如何驗證信息對錯的方式,即驗證者確定最長鏈,信任最長鏈,這個方式描述了一種眾所周知的方案,這個該方案可用于防止Sybil節點提供虛假信息,這樣可以不要求大多數計算是誠實的。
比特幣白皮書的第8節
此外,「adlerjohn」提出,Rollup的狀態根可以作為事件發出,甚至可以存儲在以太坊狀態中,也可以進行偽造交易的查詢(例如比特幣白皮書中第7節表示可通過驗證區塊頭進行確認)。
另外,「adlerjohn」還提到了關于optimistic Rollup 方案中,還可以包含名為“最小可行合并共識”的設計,該設計可以通過發布有序數據來實現數據可用性,可以讓多個側鏈、分片使用。
白計劃注:最小可行合并共識的解讀在如下鏈接
https://ethresear.ch/t/minimal-viable-merged-consensus/5617
但可以預見的是,使用「adlerjohn」提出的方式,是存在較大的設計難度的。
在討論的最后,「jchancehud」回復「adlerjohn」表示,不能確定這種攻擊預測是否適用于ZKRollup。但因為ZK證明更難生成,至少會更加困難。如果Rollup被廣泛采用,那么這樣考慮Rollup尤其重要。
Rollup協調員可以在使用節點之前驗證節點中的所有區塊頭,這是另一種潛在的解決方案,盡管時間和帶寬昂貴。但用戶最好運行自己知道可以信任的eth 輕節點。如果已經解決驗證問題,運行輕節點還可以查詢事件。
討論在最后,我們會發現為了實現安全性、可擴展性、效率,這些方案按工程化的思路是可以嘗試的,但實施過程一定是困難的,因為不同開發者的討論思路最后還要合成代碼,以及包含網絡結構、客戶端、語言、操作界面等多個挑戰。
時間戳向前,區塊不停,我們繼續期待吧。
Tags:以太坊ROLROLLETH以太坊交易所排名RollerSwaproll幣可以roll坐騎嗎toncoin幣和eth誰有潛力
頭條 ▌SWIFT與中國人民銀行數字貨幣研究所等成立金融網關公司金色財經報道,公開記錄顯示,SWIFT與中國人民銀行清算總中心和中國人民銀行數字貨幣研究所等一起共同在中國成立了金融網關信息服務有.
1900/1/1 0:00:00金色周刊是金色財經推出的一檔每周區塊鏈行業總結欄目,內容涵蓋一周重點新聞、行情與合約數據、礦業信息、項目動態、技術進展等行業動態。本文是其中的項目周刊,帶您一覽本周主流項目以及明星項目的進展.
1900/1/1 0:00:00加密資產「巨鯨」灰度的一舉一動都引人關注,在它即將上新LINK、XTZ、MANA、FIL、LPT以及BAT信托產品的消息傳出后,這6種資產迎來一波上漲.
1900/1/1 0:00:00自2020年10月以來,數字人民幣(DCEP)最先在深圳、蘇州等地進行了試點,隨后在上海、北京、廣東等地陸續拓展開來.
1900/1/1 0:00:00現金的消亡不可避免,央行數字貨幣和以比特幣代表著未來貨幣的兩種截然不同的形式。隨著央行數字貨幣與加密貨幣走向主流社會,現金的使用價值受到較大程度削弱.
1900/1/1 0:00:00為了更好地讓大家快速便捷的獲取CyberVein相關信息,現在整理了CyberVein信息平臺的全面匯總,涉及官網、國際化自媒體&社交平臺、交易所、錢包四大類平臺.
1900/1/1 0:00:00