以太坊價格 以太坊價格
Ctrl+D 以太坊價格
ads
首頁 > XRP > Info

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

Author:

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

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

攻擊界面

聲音 | 光明日報:充分運用區塊鏈等新技術 創新黨建工作載體和方式方法:《光明日報》今天發表題為“將黨的優勢轉化為城市精細化治理優勢”的評論文章。文中提到,要運用網絡信息技術手段,提升智慧黨建引領社會治理水平。充分運用大數據、區塊鏈、人工智能等新技術,創新黨建工作載體和方式方法,構建全天候、全覆蓋、立體化的智慧黨建工作體系。統籌推進智慧黨建和智慧城市建設,設立大數據中心歸集分散于各部門的基礎信息和數字資源,共建共享技術支撐平臺、大數據應用平臺。[2019/10/23]

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

動態 | 印度政府看好人工智能、區塊鏈等新興技術 科技巨頭為政府工作人員提供技能培訓:隨著印度政府看好人工智能、云計算、區塊鏈和數據分析等新興技術,其未來的艱巨任務是培訓數百萬政府官員,以便優化這些顛覆性技術造福超過10億人。除了在新興技術領域培養熟練的學生、年輕程序員和企業家,科技巨頭現在有責任培訓政府系統的人才,特別是在信息技術部門。零售業巨頭亞馬遜AWS全球公共部門(APAC和日本)區域董事總經理Peter Moore表示,已經成功地與政府高層領導人就此議題進行會談,因為AWS已經在培養學生技能和提升該國勞動力技能方面發揮了領導作用。

微軟印度公司上個月宣布了“數字治理技術之旅”項目,旨在讓政府信息技術官員掌握人工智能和智能云計算等技術。微軟將組織一系列物理和虛擬研討會,在12個月內培訓5000名政府IT人員。(Hindustan Times)[2019/9/29]

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

動態 | 螞蟻金服致力于區塊鏈技術 連接消費者和小微企業:據新華網報道,近日第五屆世界互聯網大會在浙江烏鎮舉辦,15項來自中、美、英等國的科技成果成功發布。其中螞蟻金服則是用區塊鏈技術連接消費者和小微企業,解決他們的實際問題。今年6月,螞蟻區塊鏈的跨境匯款從香港支付寶到菲律賓的GCash錢包正式打通上線,收款時間和手續費都大幅度降低,更加便捷、安全、透明,實現了供應鏈中應收賬款的高效可信流轉,幫助供應鏈上的小微企業以更低成本獲得融資。[2018/11/12]

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

聲音 | 中國工程院院士:區塊鏈產業化需克服技術 應用場景 標準的挑戰:深圳商報報道,中國工程院院士柴洪峰表示,區塊鏈作為一項新技術從最初的萌芽到熱炒,再到實現大規模的產業應用,一般需要五到十年的成熟發展周期。區塊鏈在金融行業應用尚處早期階段,并不成熟,需要努力克服一系列的技術、應用場景、標準的挑戰,方能實際發揮作用。[2018/8/23]

一旦目標驗證者簽名了一條以未來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:區塊鏈ATTPOCETH區塊鏈工程專業學什么及就業方向Attracepoc幣皮皮蝦幣創始人ethp幣怎么樣

XRP
SDT:Uniswap之后的下一個爆點?Aave啟用新的治理平臺,即將開啟代幣遷移

去中心化借貸協議Aave的新治理平臺AaveGovernance推出后的第二天,協議社區必須做出第一個決定:是否棄用該平臺的治理代幣LEND,并將其遷移到新的AAVE代幣.

1900/1/1 0:00:00
比特幣:閃電網絡大額通道wumbo存在漏洞,或導致通道癱瘓兩周

比特幣閃電網絡獨立開發者JoostJager概述了這個微支付網絡的一種漏洞,其可以致使攻擊者在幾乎不費力氣且零成本的情況下攻擊支付通道。不過,他說他正在努力尋找一個可能的解決方案.

1900/1/1 0:00:00
DOGE:從央視正面報道虛擬貨幣看國家相關監管規則

昨天CCTV2《天下財經》對加密貨幣的報道在朋友圈火了,這是讓很多虛擬貨幣投資者非常興奮的,因為央視作為國家權威的信息發布機構,它一定程度上代表了國家的態度,未來對加密貨幣行業可能會越來越支持.

1900/1/1 0:00:00
HASH:HashKey:讀懂 PoW 挖礦產業結構與礦池衍生品

作者:HashKeyCapitalResearch錢柏均本文研究PoW挖礦產業及其衍生品風控分析.

1900/1/1 0:00:00
DEFI:對話沙塔基金蔣濤:加密投資的兩個怪象與三種坐標

轉自:鏈捕手 作者:王大樹 從借貸產品到DEX,再到資產聚合協議,DeFi在今年的區塊鏈行業堪稱獨領風騷,引爆階段性牛市的盛況.

1900/1/1 0:00:00
USD:OKEx投研 | 比特幣反彈如預期受阻回落,下行空間還有多大?

免責聲明:本專欄內容概不構成任何投資意見,內容亦并非就任何個別投資者的特定投資目標、財務狀況及個別需要而編制。投資者不應只按本專欄內容進行投資.

1900/1/1 0:00:00
ads