買以太坊 買以太坊
Ctrl+D 買以太坊
ads

區塊鏈:如何防范對智能合約的審查攻擊?_ARB

Author:

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

編者按:本文來自:以太坊愛好者,作者:EdFelten,翻譯&校對:IANLIU&阿劍,Odaily星球日報經授權轉載。在智能合約系統的設計中,一種常見的模式是要求客戶端在某個時間節點前采取某些行為;如果客戶端超過這個時間點沒有響應,則智能合約會采取一些替代行動,而且通常來說是對逾時的客戶端不利的行動。本文中,我的關注點是交互式rollup協議會用到的類似模式——由某一方提出“斷言”,其他人如果覺得斷言有問題,可以在“挑戰窗口期”內提出挑戰;如果挑戰期內沒有人提出任何挑戰,則這個斷言就會被視為有效的。這種設計模式在實踐中會遇到的問題是審查攻擊——攻擊者阻撓其他人在時間窗口內提出挑戰。在交互式rollup協議中,攻擊者可能會提出虛假的“斷言”,同時阻止其他人在窗口期發起挑戰,最終導致虛假的斷言反倒成為合法的。我們也假設,攻擊者必須先投入一筆資金,一旦攻擊失敗,它會失去這筆錢;這樣一來,我們不需要讓系統被成功攻擊概率為零,而只要確保攻擊成功概率足夠小,就不會有人愿意去嘗試攻擊整個系統。下文,我會總結有關審查攻擊的知識,以及如何對抗審查攻擊,最后給出我對這種風險的看法。審查攻擊的類型

Uniswap基金會就如何分配約440萬個ARB發起征集建議:5月24日消息,Uniswap 基金會管理者之一 Erin Koen 今日在 Uniswap 社區就“如何分配約 440 萬個 ARB發起征集建議。征集中提到,代幣將發送至 DAO 在 Arbitrum 上的別名地址; 如何部署分配需要經過正常的治理投票。提案期持續兩周(至 6 月 7 日星期三)。 屆時,已獲得社區反饋的提案應根據批準的治理流程將其納入新的溫度檢查帖子。[2023/5/24 15:22:31]

審查攻擊主要有四種:分叉:礦工串通棄置包含正常挑戰的區塊,并通過分叉,使另一條沒有包含任何挑戰的區塊鏈被接受。閃躲:礦工密謀在出塊時不打包正常的挑戰。干擾:攻擊者通過傳統的拒絕服務攻擊,使得其他人無法提出挑戰。速攻:攻擊者在很短的時間內提出大量的鏈上斷言,讓其他人來不及在時間窗口內對所有斷言進行檢查和挑戰。我們一個一個分別討論。分叉攻擊

墨西哥官員會見Samson Mow討論墨西哥如何采用Bitcoin:金色財經報道,Bitcoin Magazine在社交媒體上發文表示,墨西哥參議員兼財政部委員會主席會見Samson Mow討論墨西哥如何采用Bitcoin。[2023/4/30 14:35:25]

分叉攻擊是指在工作量證明區塊鏈上,攻擊者獲得大多數挖礦算力,并根據需求使用這些算力來孤立包含挑戰的區塊。因為這類攻擊要求攻擊者控制絕大部分算力,所以很難發起——如果攻擊者能夠輕易獲得大部分算力,表示這條區塊鏈本身就有很大的問題。或者換個角度想,一個能夠控制絕大部分挖礦算力的卡特爾,一方面會導致大家不信任他們所在的區塊鏈,另一方面,可能也會有比審查攻擊能更快從系統中榨出油水來的辦法。你可能會說,慢著!算力壟斷者可能并不會高調地聲張,只是偷偷摸摸地搞審查;如果攻擊者有能力這么做,他們可能會在避免整個區塊鏈信譽受損的前提下,通過分叉進行審查攻擊。這里引出第一個問題:審查攻擊對于旁觀者來說,是否易于察覺?為了證明分叉攻擊是顯而易見的,我模擬了分叉。假設攻擊者控制了60%的算力,在前三十個區塊中,出現三條分叉鏈,長度分別是1、6、5;這和一般的區塊鏈完全不同。我又做了一次模擬,這次攻擊者控制55%的算力,這時候一個較早期的分叉可長達48個塊。根據簡單的數學模型預測,當壟斷了60%的算力,則每2.5塊會發生一次分叉,分叉導致的孤鏈平均長度為5;當壟斷了55%的算力,則每2.2塊會發生一次分叉,分叉導致的孤鏈平均長度為10。可以看到,隨著壟斷的算力下降,分叉發生的頻率及孤鏈長度反而增加了;但無論分叉長短,它們的共同之處是:在孤立分支上的首個區塊一定包含有效挑戰,而最終成為主鏈的分支則絕對不會包含這個挑戰——提出該挑戰的人一定會發現這點!所以審查攻擊一旦發生,就一定會被人發現。我不知道你會怎么想,但如果我發現區塊鏈中存在算力壟斷現象,而且壟斷者會時不時使用算力干擾應用層協議,我會感到非常擔憂。如果其他人也有這種疑慮,整個區塊鏈將不再被用戶所信任——任何51%算力攻擊皆會導致這個結果。換言之,這種攻擊的問題并不是有人會審查你的應用層的交易,而是你所處的區塊鏈存在算力壟斷者,它可以為了利益不受約束地破壞規則。對于任何區塊鏈應用來說,不論TA是否采用窗口期設計模式,只要出現了這種算力壟斷,就是毀滅性的打擊。如果你所在的區塊鏈可能出現分叉攻擊,你應考慮轉移到其他區塊鏈。閃躲攻擊

Stargate DAO成員在社區會議上討論如何處理即將收到的160萬枚ARB:3月30日消息,Stargate DAO成員在周三社區電話會議上討論如何處理160萬枚Arbitrum(ARB)代幣的預期分配,這些代幣價值不到200萬美元。LayerZero Labs的員工MaxPower表示,這些代幣尚未收到,但當收到時將必須決定是否持有、出售、部署或委托這些代幣。

一些與會者建議,DAO應該將ARB代幣分發給用戶,或將其部署為流動性激勵。與此同時,其他治理代幣持有者建議委托ARB代幣,以便Stargate DAO可以參與Arbitrum治理。

據DeFiLlama的數據,Stargate的總鎖定價值(TVL)為3.64億美元,其中近22%來自Arbitrum平臺。(CoinDesk)[2023/3/30 13:34:35]

如果算力壟斷者不采用容易被發現的分叉攻擊,還有別的詭計嗎?有的,就是閃躲攻擊。惡意礦工只要在出塊時,拒絕打包包含挑戰的交易就行了;只要確保挑戰窗口期內所產的區塊,都由惡意礦工產出,攻擊就能成功。閃躲攻擊成功的可能性有多大?可以這么解釋:當壟斷者控制的算力比例為f,挑戰窗口期為n個區塊,則攻擊成功率為fn。舉例來說,壟斷者控制了90%的算力,挑戰窗口期為50個區塊,則攻擊成功率為0.5%。如果攻擊者要為攻擊失敗支付大量罰金——就像rolluo協議所設計的那樣——他們就不會肆無忌憚地攻擊;而且如果罰沒的錢能返給受害者,大家還會喜聞樂見這些未遂的攻擊。所以應對閃躲攻擊的辦法是確保挑戰窗口期足夠長,使得攻擊成功概率低至用戶能接受的范圍;假設你能接受的攻擊成功率為r,攻擊者至多能控制f的算力,則安全的挑戰窗口期為log(r)/log(f)個區塊。這個建議在現實中也是合理的;假設攻擊者能夠壟斷99%的算力,要保證攻擊成功率低至0.1%,則挑戰窗口期至少要等于log(0.001)/log(0.99)=687個區塊,對于以太坊來說只需要不到三小時。干擾攻擊

伏泰昊:JUST主動思考如何在波場上建立完善的DeFi體系:據最新消息顯示,波場大航海時代4.0全球線上發布會正在進行中,JUST項目負責人伏泰昊在發布會中表示:“JUST旨在打造基于波場TRON的穩定幣借貸平臺,一個好的金融產品離不開下面應用層的穩定輸入與輸出,會有多個協議與應用的交叉集合,長期來看,JST代幣作為整個治理體系的代幣,我們會提供多種底層借貸協議和報價協議等,為用戶提供全面的金融服務。作為DeFi明星項目,JUST不僅致力于開拓波場的穩定幣市場,也在主動思考如何在波場上建立完善的DeFi體系。”[2020/7/7]

在干擾攻擊情況下,攻擊者通過“傳統的拒絕服務攻擊”,來阻止其他人發出挑戰;也就是“以DoS進行審查攻擊”。干擾攻擊的問題是,攻擊者必須阻止“所有”可能提交挑戰的參與方,如果這些參與方足夠多,則干擾攻擊就很難成功。對于攻擊者來說還有個壞消息是,其他利益相關方可能會暗中雇用監視者——一個暗中觀察協議運行的中間方,在參與者來不及或難以發出挑戰時介入,對無效的斷言發起挑戰。攻擊者沒辦法辨別這些潛伏的監視者,也就沒辦法對他們發起DoS。綜上,對于攻擊者來說,干擾攻擊似乎不是個好選擇。速攻

動態 | 英國信息專員辦公室對Facebook發出如何保護個人數據的質詢函:據路透社報道,英國信息專員辦公室周一表示,其已經向Facebook和其他28家Libra項目背后的公司發送了一份聲明,要求他們提供有關如何根據與項目相關的數據保護法處理客戶個人數據的詳細信息。其同時呼吁,世界各地同行對Facebook提出的天秤幣采取更多開放態度。目Facebook沒有立即對其進行回復。[2019/8/6]

速攻指的是,攻擊者發布大量的斷言,使得其他人來不及在挑戰窗口期內檢查所有斷言。任何的rollup協議都需要有防御速攻的機制,其中一種方法是對提出斷言的頻率進行限制,保證協議在設定的挑戰窗口期內的任何時間點,全網都有足夠的能力去檢查待處理的斷言或挑戰。這類機制會在一條rollup區塊鏈上,針對智能合約的處理能力實施一種“速限手段”——即使存在某個能快速提出大量斷言的人,他最終也不得不慢下來,確保其他正常參與者能跟上。所以要衡量一個rollup系統的可擴展性,其中一個很重要的指標就是它在保證安全的前提下的最大速度限制;速限指的是一個系統能安全處理事務的速率,而不是某個參與者能夠產出斷言的極限速率。總結

綜上所述,有三種審查攻擊能夠通過合理的設計或實踐來避免。防范閃躲攻擊:評估攻擊者的資源和風險承受能力,制定合理的挑戰窗口期。防范干擾攻擊:自行雇用潛伏的監視者,當你出差池的時候這些監視者能夠代替你發起挑戰。防范速攻:更細致的設計rollup協議。關于分叉類型的審查攻擊則很難分析;因為某種程度上來說,成功的分叉攻擊會留下明顯的證據,證明該鏈上存在算力壟斷者,而這些算力壟斷者會更愿意采取其他更快獲得收益的攻擊——比如雙花。任何存在算力壟斷的區塊鏈都已經病入膏肓,那又何必為這種情況下的審查攻擊而操心呢?

Tags:區塊鏈ARBROLLROL以下哪個不是區塊鏈區塊的結構gearbox幣可以買嗎TROLL BNBROLC

幣贏交易所
CDP:從數據看MakerDAO的多質押品系統升級_saitama幣有前景嗎

編者按:本文來自:以太坊愛好者,作者:alethio,翻譯:阿劍,Odaily星球日報經授權轉載.

1900/1/1 0:00:00
okex:“迷霧”行情下比特幣減半價格大猜想,什么樣的投資策略最好?_加密貨幣

2020年行業內最受關注的問題,無非就是“比特幣減半”事件了。今年比特幣減產事件的影響下,價格能達到什么樣的峰值呢?每一個人都想知道答案.

1900/1/1 0:00:00
Maker:全面剖析MakerDAO治理體系:以2%治理事件為例_MKR

關于DeFi的應用研究已經不少,但是對于DeFi的治理研究卻討論甚少,或許因為目前DeFi仍處于快速發展的爆發階段,治理的重要性還沒有顯現,DeFi是新生事物,目前并沒有發生致命性治理挑戰.

1900/1/1 0:00:00
加密貨幣:報告:2019年暗網活動高于以往,2020年執法部門該如何應對?_GHT

本文來自Chainalysis,Odaily星球日報譯者Christina 民調顯示,2019年18%的美國人和35%的美國千禧一代購買了加密貨幣,人們對加密貨幣的接受率正在上升.

1900/1/1 0:00:00
區塊鏈:OKB領漲啟示錄_央行數字貨幣是加密貨幣嗎

出品|CoinVoice文|辛夷OKB開啟了一輪大漲,到2月15日晚間,突破了2018年的6.68美元,刷新了歷史新高,OKB也跨入全球數字貨幣市值前十之列.

1900/1/1 0:00:00
ALIA:?Amber Group市場分析:美元的短缺與數字資產的期貨升水_TRA

撰文:TiantianKullander,FoundingPartner@AmberGroup最近幾周,美元的短缺成為了業界熱議的話題.

1900/1/1 0:00:00
ads