QUO:詳解以太坊合并后的重組攻擊

最近，人們討論了礦工采用假定被修改的以太坊客戶端的可能性，該客戶端允許他們接受賄賂，并在選定的區塊中對交易進行排列。（進行這種賄賂的主要用例是攻擊 DeFi 協議）。

在這篇文章中，我們將解釋為什么這種攻擊模式在以太坊 2.0 合并后將更難執行。

分叉選擇規則是一個由客戶端評估的函數，它把已經看到的區塊和其他消息的集合作為輸入，并向客戶端輸出 "典型鏈 "是什么。分叉選擇規則是必要的，因為可能有多個有效的鏈可以選擇（例如，如果兩個具有相同母本的競爭區塊同時被發布）。

重組是一個特殊事件，在這個事件中，曾經是經典鏈的一部分的區塊不再是經典鏈的一部分，因為一個競爭區塊擊敗了它。最終性是指分叉選擇規則對某一區塊非常有利，以至于該區塊在數學上不可能被重合（或至少在經濟上不可行）的情況。

在一些分叉選擇規則中（例如 Tendermint ），重組是不可能發生的；分叉選擇規則只是通過添加任何已經通過 BFT（Byzantine Fault Tolerance ：拜占庭容錯） 共識并最終確定的區塊來擴展現有的鏈。在其他分叉選擇規則中，重組是非常頻繁的。

在以太坊這樣的工作量證明(PoW)區塊鏈中，我們通常會看到 "最長鏈規則"（或者更準確地說，"最高總難度鏈規則"）。這意味著，當客戶端發現 2 條區塊鏈時，它會選擇總難度最高的一條（即該鏈中所有區塊的難度之和）。

舉個例子，假設區塊的難度可以是 100 或 110 ，想象一下下面的場景。

何一：監管合規是大勢所趨，Binance并未出于自身目的動用用戶資金:6月28日消息，Binance 聯合創始人何一近期在迪拜接受了彭博社的專訪，對于 SEC，甚至世界各國市場監管機構近期對 Binance 的一系列監管動作，何一表示，Binance 尊重監管機構的態度，無論是支持還是反對加密貨幣的發展，我理解監管的總體意圖是好的，是為了保護投資者。全球監管趨勢是不可避免的，這不是喊幾聲斗爭口號就能解決的事情。

在何一看來，Binance 提供的透明度比批評者聲稱的要高，并且一直在與美國監管機構合作。與針對 FTX 的指控不同，Binance 并未出于自身目的動用用戶資金，也沒有使用其原生 BNB 代幣作為貸款抵押品。

在被問及和 CZ 是否考慮過沒有他們的 Binance 時，何一表示，我和 CZ 都有正在接受培訓的后備高管，目前暫時拒絕透露他們的姓名，我想我們會沒事的。[2023/6/28 22:06:28]

1.我們從難度為 100 的區塊 1 開始進行同步。

2.區塊 2a 和 3a 分別以 100 的難度到達，我們將它們插入我們的鏈中，形成一個總難度為 300 的分叉。

3.難度為 110 的區塊 3b 到達，宣布 2a 為其父方，形成總難度為 310 的分叉。分叉選擇規則將注意到 "最重 "的鏈現在是第二個分叉，并將切換到它。這是1個塊的重組，因為只有塊 3a 被改變了。請注意，這些區塊并沒有被完全丟棄，因為可能會有一個新的區塊到達，導致分叉選擇切換回第一個分叉上。

4.2b 和 3c 區塊到達，每個區塊的難度都是 110 ，創造了一個總難度為 320 的新分叉！這意味著分叉選擇的難度是 320 。按照分叉選擇規則現在將使用 2b 而不是 2a ， 3c 而不是 3b ，這些都是上一個經典鏈中的區塊。這是一個2個區塊的重新組合。

CZ回應“Paxos事件”：BUSD不由幣安發行或贖回:金色財經報道，針對美國證券交易委員會將BUSD標記為“未注冊證券”并起訴其發行方Paxos，幣安首席執行官CZ在社交媒體回應稱：“BUSD，雖然叫Binance USD，但并非由幣安發行或贖回。”[2023/2/13 12:04:01]

你可以看到這將會發生什么。如果一個新的區塊 4a 到達，宣布 3a 為其父鏈，分叉選擇規則將切換回第一個分叉，以此類推。

由于延遲的原因，短暫的重組一直在發生。礦工 A 和礦工 B 可能同時找到一個有效的區塊，但由于區塊在 p2p 網絡中的傳播方式，網絡的一部分區塊會首先看到 A 的區塊，另一部分會先看到 B 的區塊。如果這兩個區塊的難度相同，就會出現平局，客戶要么隨機選擇，要么選擇較早看到的區塊。通常情況下，當第三個礦工 C 在 A 的區塊或 B 的區塊上建造一個區塊時，平局最終被打破，而另一個區塊則被遺忘。偶爾，運氣不好也會導致 2-5 個區塊的重組。超過這個時間的重組幾乎都是由于極端的網絡故障，客戶端錯誤，或惡意攻擊造成的。

短暫的重組不是致命的，但它們仍然對網絡產生以下這些嚴重后果。

節點成本：當重組發生時，由于必須切換到新的分叉，可能會回滾交易或修改區塊鏈狀態，因此會有一些存儲問題。

用戶體驗下降：重新分叉的可能性意味著用戶需要等待更長時間才能安全地將涉及他們的交易視為 "確認"。這方面的一個重要子案例是交易所等企業在接受存款之前需要等待更長時間。

SBF：沒有資金被盜，Alameda因市場崩盤而虧損等三件事情導致FTX破產:金色財經報道，SBF發文表示，11 月中旬，FTX International實際資不抵債。三件事結合在一起導致了內爆：

1. 在2021年期間，Alameda的資產負債表增長到大約1000億美元的資產凈值、80億美元的凈借款（杠桿）和 70億美元的手頭流動性。

2. Alameda未能充分對沖其市場風險。在2022年期間，股票和加密貨幣領域發生了一系列大規模的廣泛市場崩盤，導致其資產市值下跌約80%。

3. 2022年11月，幣安CEO促成的一場極端、迅速、有針對性的崩盤使Alameda資不抵債。

然后Alameda的傳染蔓延到FTX和其他地方，類似于3AC等最終影響Voyager、Genesis、Celsius、BlockFi、Gemini等的方式。

FTX US仍然完全有償付能力，應該能夠退還所有客戶的資金。

此外，SBF在詳情中表示，沒有竊取資金，也沒有藏匿數十億美元。FTX International和Alameda 在2021年都是合法且獨立盈利的企業，每家都賺了數十億美元。[2023/1/12 11:08:41]

交易背景的不確定性：當用戶發送交易時，他們對該交易將在什么背景下執行的確認性較低（例如，最近的 N 個區塊會不會被恢復？值得注意的是，這增加了 DeFi 交易對意外失敗，比預期差的交易結果或有害的 MEV 提取的可能性。

增加了 51 % 算力攻擊的可能性：在一個最長鏈規則驅動的系統中，如果鏈上的礦工從 B1 到 B2 重新排序，那么 B1 的難度就不再有助于確保鏈的安全。攻擊者不再需要擊敗所有誠實的礦工，他們僅僅需要擊敗沒有被重組的那部分誠實礦工。如果頻繁重組，這就使攻擊者的工作大大簡化。

美國10月未季調CPI年率錄得7.7%，時隔7個月再度回落至8%以下:金色財經報道，美國10月未季調CPI年率錄得7.7%，時隔7個月再度回落至8%以下，為2022年1月以來最小增幅。數據公告后，美股三大股指期貨短線走高，納指期貨漲超3%，標普500指數漲超2%，道指期貨漲1.8%。現貨黃金短線拉升逾15美元，現報1725美元/盎司。[2022/11/10 12:45:59]

在最壞的情況下，頻繁的重組可以使區塊鏈的結算保證完全失效，并阻止其繼續進行。通常情況下，區塊生產者的 "激勵兼容 "策略應該是延長最長的鏈。但是，如果某個區塊的后置狀態有利可圖（例如，有非常高的費用或 MEV ，只有通過在該區塊之后直接建立一個區塊才能提取），會發生什么？這個問題過去在沒有區塊獎勵的比特幣和自私采礦的背景下被探討過，今天在以太坊生態系統中與 DeFi 相關的 MEV 背景下也被探討過。

在這些情況下，有很大的動機試圖通過競爭而不是延長經典鏈的頂端來 "偷取"費用或 MEV 。在下面的例子中，區塊 1 的后置狀態是有利可圖的，區塊 2a 已經被開采。然而，不是 1 個而是 3 個區塊生產者選擇在區塊 1 而不是區塊 2a 的基礎上進行開采（以要求在區塊 1 之后暴露的任何 MEV ），這可以擴展到任意數量的一方。

出于顯而易見的理由，這樣的模式為惡意的 51% 算力攻擊打開了一扇大門。我們把從事這種重組開采戰術的礦工稱為 "近視理性"，因為這樣做的決定在短期內可能是理性的。然而，他們在以太坊上有明確的（造幣商）或隱性的（礦工）多頭頭寸（因為費用和區塊獎勵是以以太坊計價的），這意味著任何這種減少用戶對以太坊信任的攻擊都是違背他們的終極利益的，因此從長遠來看是不理性的。

Overstock宣布完成了對tZERO的計劃投資:金色財經報道，領先的家具和家居用品零售商Overstock.com宣布，繼今年2月宣布首次融資后，它已經完成了對tZERO集團公司（tZERO）的第二批計劃投資。tZERO的戰略融資回合由洲際交易所主導，已于2022年8月22日結束。

Overstock首席執行官Jonathan Johnson稱，Overstock對tZERO追加投資的完成表明了我們對 tZERO 的承諾以及我們對其領導地位的信念。Overstock 是加速采用區塊鏈技術的早期倡導者，尤其是在資本市場，我們長期以來一直支持 tZERO 這樣做。[2022/8/26 12:51:09]

在 Nakamoto PoW 中，區塊在分叉選擇中被 "串行 "固化。首先，一個區塊被開采出來，這時，一個競爭區塊有可能會重組它。如果該區塊作為經典鏈的一部分存活下來，在（平均）13秒后，其他一些礦工在上面建立了第二個區塊。在這一點上，需要一個由兩個競爭區塊組成的鏈來重新組織它。隨著更多的區塊被建在上面，重新 org 鏈的難度繼續增加，但速度很慢。

以太坊的信標鏈實現了一個名為 Gasper 的 PoS 協議，有一個名為 LMD-GHOST 的分叉選擇規則。與 Nakamoto PoW 相反，在區塊生產過程中，有2個角色。

提議者: 一個驗證者的任務是提出一個區塊。

參與者: 一組驗證者投票決定他們認為哪個區塊是經典鏈的頭。鑒定人的投票被稱為 "證明"，他們為區塊賦予 "權重"。控制鑒定人意味著控制分叉選擇規則。

每12秒有一個 "槽"，它代表了一個提出區塊的機會。對于每個時段，一個洗牌算法偽隨機地選擇一個由所有驗證者的 1/32 組成的委員會，其中每個委員會中的一個驗證者是提議者，其余的是贊成者。審定者對他們認為是經典鏈的一部分的區塊進行平行投票。由于委員會是偽隨機抽樣的，攻擊者沒有辦法將他們的驗證者集中到一個單一的位置。

今天，信標鏈有 19.6 萬個驗證器，這意味著每個槽都有一個大小為 6125 的委員會。因此，即使是單一區塊的重構也是非常困難的，因為一個只控制了少數驗證者的攻擊者沒有辦法擊敗成千上萬的誠實的大多數參與者。

為了獲得一些關于為什么會這樣的直覺，讓我們看一個有 2 個插槽和 24 個驗證者的例子，其中 9 個是惡意的。驗證者被分成兩個委員會，由于隨機洗牌，對手不太可能控制他們被分配到的任何一個小組的 50 %以上，并導致重組。

更正式地說，擁有 p %股權的惡意行為者控制 N 個驗證人規模的委員會中超過 50 %的概率遵循二項分布（其中 k = N/2 ）。

計算不同情況下的概率，我們得到以下表格：

我們現在明白，直接進行重組需要攻擊者控制接近 50 %的驗證者。

如果攻擊者擁有 25-49 %的驗證者，還有更微妙的攻擊是可能的。然而，這些攻擊有已知的修復方法，可以不引人注意地實施，增加安全性，接近無條件的 50 %。

最后，長時間的恢復是不可能的，因為所有深入到過去 2 個紀元的區塊都被認為是 "最終確定 "的，也就是說，不可能恢復過去。如果攻擊者導致兩個沖突的區塊被最終確定（例如通過控制 67 %的股權），系統將需要回落到social intervention 來恢復。

既然我們已經看到了重組策略在不同的分叉選擇規則中是如何運作的，那么就值得通過一個簡單的博弈論例子來了解礦工或驗證者何時使用執行重組策略的軟件來獲利才是合理的。

我們可以用一個回報矩陣來通俗地描述每種情況，其中 "缺陷 "意味著 "下載并使用執行反欺詐的軟件"。報酬是 "短視 "的，沒有考慮到長期后果。

在最長鏈 PoW 中，短距離重組可以用驗證器集的哪怕一小部分進行概率性的重組。偶爾總會有一些區塊具有有利可圖的后置狀態，以至于即使是 1-10 %的成功率也值得嘗試與該區塊的現有子塊競爭。

礦工可以是一個中等規模的礦池，依靠他們連續找到下一個 2-3 個區塊的可能性，或者他們可以將他們收入的一部分送入一個任何人都可以索取的合同中，以賄賂其他運行相同軟件的人在他們的鏈上建立并幫助它對抗現有的經典鏈。

因此，一些礦工可能會被誘惑去運行 reorg 客戶端。

在 Gasper 中， 1-64 個槽位的重組是可能的，但需要攻擊者控制整個驗證器集的很大一部分（因為他們不能把賭注集中在某個特定的槽位上，所以他們需要有足夠大的籌碼在他們想攻擊的槽位范圍內隨機選擇）。除非有非常多的其他驗證者也同時采用，否則采用重組挖礦軟件是沒有用的。

因此，如果 51 %的驗證者有哪怕是最輕微的利他主義，那么沒有一個人運行重組軟件是一個穩定的均衡狀態。

在 Tendermint 中，情況甚至更干凈：重組是不可能的，任何違反單槽最終性的行為都需要1/3以上的驗證者被砍掉。與 Gasper 的情況類似，這也意味著沒有人運行重組軟件才是一個穩定的均衡。

從上面我們可以看出，雖然采用 "reorg geth "在所有情況下都是可能的，但基于平行證明概念的分叉選擇規則有誠實的均衡狀態，且它將比 Nakamoto 分叉選擇中的均衡更穩定。

在以太坊的背景下，最有效的預防措施是進一步加快合并的工作，特別是迅速實現可信的能力，進行 "緊急合并"，將鏈過渡到 PoS 。急于合并會有很高的風險，可能會破壞基礎設施，但如果許多礦工開始重新攻擊鏈，一個可信的承諾將對這種行為起到抵制作用。

接近合并的時期風險最大，因為礦工仍然是系統的負責人，但他們的時間跨度縮短了。然而，有兩個因素緩解了這種風險。

以太坊礦工往往同時是（i）其他區塊鏈的礦工，和/或（ii）以太坊社區其他身份的成員，所以他們仍然會有良好行為的動機。

隨著合并的臨近，進行緊急合并的難度、成本和風險也在降低。在合并的預定日期前幾個月，緊急合并將是具有高度破壞性的。在合并預定日期的兩周前，對客戶來說，這將是一個參數設置，驗證操作器已經完成了下載。

合并后，重組驗證將成為一個更小的問題，因為單個驗證者或一小群驗證者不能獨自重組。重組攻擊想要成功必須解決極其困難的協調問題，即讓大多數驗證者同時下線。然而，一些小的風險仍然存在。如果希望進一步提高安全性，那么以太坊可以進一步調整分叉選擇規則，將重組攻擊的要求提高到 50 %的理論最大值，或者找到一種方法，直接轉向單槽 inality 的共識。

原標題：Ethereum Reorgs After The Merge

作者：Vitalik Buterin & Georgios Konstantopoulos

Tags：QUO以太坊NCEANCQUO幣西格瑪幣兌換以太坊公告Brigadeiro.FinanceBelt Finance

BNB價格