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

技術 | Eth2中的時間服務器攻擊及其緩解措施_區塊鏈

Author:

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

摘要:Eth2中的時間服務器攻擊之前也有人討論過。但迄今為止,主流意見都認為這種攻擊只能導致驗證者暫時離線,等節點運營者重建正確的時間同步措施,節點就能重新回到線上。但是,如果節點可以被誘騙去簽署一條有關遙遠未來某個epoch的見證消息,危險性就遠不止暫時離線這么簡單:因為共識算法的環繞投票罰沒規則,這些節點在整個網絡實際到達該錯發的見證消息的目標epoch之前,將不能再簽名任何見證消息。在共識規則的運作下,這種時間服務器攻擊會導致受攻擊的驗證者幾乎永遠離線,而相關的權益人也會因為懶惰懲罰而付出慘痛代價。

攻擊界面

河北省加快發展新一代信息技術 布局區塊鏈:4月21日下午,河北省政府新聞辦舉行新聞發布會,對印發的《河北省數字經濟發展規劃(2020-2025年)》進行解讀。其中提到,河北將圍繞7大任務集中發力助推數字經濟高質量發展。包括加快發展新一代信息技術產業。培育發展人工智能及智能裝備產業,布局區塊鏈,發展網絡安全產業。(長城網)[2020/4/22]

Eth2中的見證消息就是驗證者簽過名的、包含所認可的來源檢查點和目標檢查點的信息;來源檢查點和目標檢查點都以時段號和區塊根來表示。CasperFFG的算法的安全性保證之一便是“無環繞投票”規則:驗證者簽名過的任意兩條消息中,不能出現有?attestation1.source<attestation2.source?且?attestation2.target<attestation1.source?的情況。

聲音 | 民航局:要綜合運用區塊鏈等新技術 實現機場智慧化運行:近日,民航局組織面向全行業制定并印發了《中國民航四型機場建設行動綱要(2020-2035年)》。《行動綱要》指出,要綜合運用大數據、云計算、人工智能、區塊鏈等新技術,收集、融合、統計和分析各類數據,實現輔助決策、資源調配、預測預警、優化控制等功能,支撐工作協同、精確分析、精準管控、精細管理和精心服務,最終實現機場智慧化運行。(中國民用航空局)[2020/1/7]

我們可以按如下手法炮制一次時間服務器攻擊:第一步是通過操縱時間服務器的時間,使之跳轉到未來的某個時間,使得被攻擊驗證者的時間也跳轉到未來,這個時間必須短于懶惰懲罰致使驗證者余額降低至零的時間,否則驗證者就不會再簽名見證消息了。

動態 | 新任南非總統兒子看好區塊鏈技術 并將發起南非首所區塊鏈大學:據Beincrypto消息,新當選的南非總統的兒子Tumelo Ramaphosa是非洲區塊鏈的倡導者,看好加密貨幣有可能為非洲大陸的無銀行賬戶提供銀行服務,在其父親的宣誓就職儀式上穿了比特幣主題的襪子。并且今年,Tumelo將領導發起南非第一所面向年輕企業家的區塊鏈大學。他希望通過教育,可以為南非、非洲大陸其他地區和美國等其他地區蓬勃發展的區塊鏈產業搭建橋梁。[2019/5/27]

然后我們需要誘騙相關的節點,使之認為它其實是跟鏈保持同步的,然后它才會簽署見證消息。如果攻擊者控制了多個對等節點,這一點總是有可能做到的,只需在點對點的網絡頻道中發送一些來自未來時間的見證消息和區塊即可。控制多個節點也是容易實現的,所以這并不是一個不現實的攻擊者假設。

動態 | 五糧液集團引入區塊鏈等技術 建立市場化供應鏈體系:據新華社消息,近日,“川港澳合作周”在香港拉開帷幕,五糧液集團全程參與活動。五糧液正以全球視野引入移動互聯網、物聯網、區塊鏈等技術,充分利用新業態下云計算、大數據和互聯網等優勢開展質量管理,建立五糧液品牌聯通消費者最短的市場化供應鏈體系。[2018/11/8]

一旦目標驗證者簽名了一條以未來epoch為目標epoch的見證消息,攻擊者就可以把這條消息保存下來,然后確定這名驗證者在整個網絡實際到達那個未來epoch之前,都不能再簽名任何見證消息了。當前所有Eth2實現的驗證者客戶端都有措施防止該驗證者簽署相互沖突的見證消息,因此該驗證者實質上就是離線了。

結果

一名攻擊者可以通過一個時間服務器來驅逐所有TA能影響到的驗證者。這種攻擊會比此前使用同樣界面所設想的攻擊更為惡劣,因為影響不是暫時的,而是持久得多。雖然我們有可能在幾分鐘之內就能發現這樣的攻擊,而且所有專業的節點都能在幾個小時內恢復正常時間,但這于事無補,因為損害已經發生了——而且可以導致驗證者的慘重損失,例如,可能有很多驗證者會因為指數升高的懶惰懲罰而被提出網絡。

緩解措施

加入驗證者客戶端不罰沒規則

我們可以在驗證者客戶端中加入一條不罰沒規則:要求他們在簽署所有消息前都評估當前的時間,而且不要提前簽署未來的消息。這個辦法其實只有在驗證者客戶端與信標鏈節點沒有部署在同一臺機器上且沒有被攻擊波及時才有用。不過,對于密鑰分割型驗證者來說是一個明確的改進,因為這個規則將不允許領導哦啊這節點提議一條未來的見證消息,可以阻擋驗證者的行動。

為時間同步措施加入更多的保護

本文所提出的問題表明,時間服務器的同步措施所包含的攻擊界面比我們從前設想的嚴重得多,必須引起我們的注意。

小幅度的時間偏移雖然惱人,但不會導致嚴重的問題,所以,僅在時間服務器推送的更新與本地的RTC時間相差幅度在一定范圍內才使用更新、否則就拒絕更新,似乎是更好的模式。

但這個模式仍會遺留一個攻擊界面在啟動進程中。因此時有發生的大規模電源中斷可能會演變成嚴重的問題、一次性影響眾多驗證者。我認為,可以讓驗證者客戶端在啟動前先檢查罰沒保護數據庫、如果在幾個小時乃至幾天內都沒有簽名過任何消息,就拒絕啟動。長時間不簽名消息意味著可能發生了時間服務器攻擊。可以添加一個強制啟動的標簽來應對例外情況。

?https://arxiv.org/abs/1710.09437?Timeattacksandsecuritymodels

原文鏈接:?https://ethresear.ch/t/eth2-attack-via-time-servers/8049作者:?dankrad翻譯:?阿劍

Tags:區塊鏈ATTETHPOC區塊鏈掙錢是真的假的AttraceDSETHpoco幣最新官方消息價格

歐易交易所app下載
Ripple CTO曾以1美元價格賣出4萬個ETH,少賺近1500萬_ripple

Ripple的首席技術官DavidSchwartz近日透露,他曾僅以每個代幣1美元的價格出售了40,000個以太坊,而今天的加密貨幣價值約為1,540萬美元.

1900/1/1 0:00:00
觀點 | 智能合約、保險科技與保險業的未來_INS

原文標題:SmartContracts,InsurtechsandtheFutureofInsurance地址:?https://lup.lub.lu.se/luur/download?func.

1900/1/1 0:00:00
灰度以太坊信托獲SEC批準,對加密市場有何影響?_以太坊

10月12日晚間,全球最大的加密資產管理公司灰度投資宣布,灰度以太坊信托產品的注冊聲明已正式生效,成為美國證券交易委員會的報告公司.

1900/1/1 0:00:00
比特幣以太坊均觸及上方強壓,日內思路回調做多_比特幣

早間快訊: 據21世紀經濟報道9月25日消息,中國人民大學重陽金融研究院副院長董希淼表示,數字人民幣就能比較好的解決數據安全問題,一方面它在應用層面是匿名的,獲取過程信息的意義不大;另一方面.

1900/1/1 0:00:00
比特幣已連續63天保持在1萬美元上方,為歷史最長_比特幣

據比推數據,市值最高的加密貨幣比特幣已經連續63天保持在1萬美元上方。 歷史數據顯示,在2017年12月至2018年1月間,比特幣曾連續62天保持在1萬美元上方,如今這一紀錄已經被打破.

1900/1/1 0:00:00
比原鏈CEO朗豫:DeFi讓用戶真正理解區塊鏈,意義重大_DEF

9月29日上午,比原鏈首席執行官朗豫在火星區塊鏈主辦的?POW''ER2020DEFI創新者大會?發表題為《MOV的DeFi之道》的演講.

1900/1/1 0:00:00
ads