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

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

攻擊界面

動態 | 360利用區塊鏈等前沿技術 助力汽車信息安全:人民網發布《信息安全將成為汽車安全主戰場》一文，文中指出，汽車信息安全之于汽車企業，一如手機信息安全之于手機制造商。奔馳與360的合作可謂是汽車信息安全的典型案例，360汽車安全大腦的“新盔甲”是一個分布式智能系統，集合百萬億級安全大數據、知識庫以及360安全專家庫資源，綜合利用人工智能、大數據、云計算、區塊鏈等前沿技術，構建整套實時防護體系，從硬件到云端進行防護，形成安全閉環后從而減少風險產生。[2020/1/14]

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

動態 | 日本九州大學初創企業正應用區塊鏈技術 著手開發新的電力交易系統:據日經新聞7月10日消息，由日本九州大學孵化的的人工智能初創企業AIBOD正應用區塊鏈（分布式賬本）技術，著手開發可在個人間進行家庭電力交易的新系統。[2019/7/10]

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

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

聲音 | 李小加：北向通有望使用區塊鏈技術 不過現階段難言是否成功:據雅虎財經消息，港交所行政總裁李小加表示，為提升港交所科技技術，港交所早前已投資一家深圳初創技術公司，未來或會再作收購。 李小加續指，國際投資者使用北向通進行交易是使用“T+0交易機制”，而大部份國際市場則是“T+2交易機制”，讓投資者面對很大挑戰。他又透露，北向通有望使用區塊鏈技術，解決兩個機制時差上的分歧，不過現階段難言是否可成功。[2019/4/1]

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

現場 | 蜂巢區塊鏈創始人胡建雷：區塊鏈技術公司應埋頭做技術 為賦能實體經濟作貢獻:金色財經現場報道，9月8日，在蜂巢HIVECHAIN在鄭州召開2周年慶典暨蜂巢商學院發布會上，蜂巢區塊鏈創始人、原BTC100聯合創始人兼CTO、中國通信工業協會區塊鏈專業委員會常務委員胡建雷在現場作出演講，他指出區塊鏈技術公司應該秉承讓所有人參與進來，讓所有的人感受區塊鏈的魅力的初心埋頭做技術，為賦能實體經濟作出貢獻。并且現場蜂巢區塊鏈創始人胡建雷與澳洲七星交易所簽署了合作協約。[2018/9/8]

結果

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

緩解措施

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

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

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

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

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

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

。

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

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

Tags：區塊鏈ATTETHPOC開發區塊鏈數字貨幣att幣開啟火爆兌換手機直接玩togetherbnbpoco幣官網

DYDX