以太坊創辦人 Vitalik Buterin 於昨(17)日發佈最新文章表示,以太坊在近期和中期內,將著重提升其無需許可性和去中心化特性,圍繞無狀態節點、MEV 緩解等概念,使以太坊在去中心化方向上邁出更遠一步。
(前情提要:V神新提的EIP-7706詳解,梳理最新以太坊Gas機制)
(背景補充:V神喊「以太坊轉回PoW」?全網最完整解析文在這)
以太坊創辦人 Vitalik Buterin 於昨(17)日發佈最新文章表示,以太坊在近期和中期內,將著重提升其無需許可性和去中心化特性,圍繞無狀態節點、MEV 緩解等概念,使以太坊在去中心化方向上邁出更遠一步。
以下動區為您編譯 V 神原文如下:
我坐在這裡寫這篇文章是在肯亞以太坊開發者交流會的最後一天,我們在實施和解決即將到來的以太坊重要改進的技術細節方面取得了很大進展,最引人注目的是 PeerDAS、Verkle 樹過渡和去中心化方法在 EIP-4444 上的歷史記錄。
從我自己的角度來看,以太坊的發展速度以及我們提供大型重要功能的能力正在不斷增強,這些功能可以有效改善節點營運商和用戶的體驗。
鑑於這種更強大的技術能力,需要問的一個重要問題是:我們是否正在朝著正確的目標前進?長期的 Geth 核心開發人員 Peter Szilagyi 最近發布的一系列不滿推文促使我們思考這個問題:
這些擔憂都是有道理的。這是以太坊社群許多人表達的擔憂。
我個人曾多次擔心這些問題。然而,我也不認為情況像推文所暗示的那樣絕望。相反,許多問題已經透過正在進行的協議功能得到解決,而許多其他問題可以透過對當前路線圖進行非常現實的調整來解決。
為了了解這在實踐中意味著什麼,讓我們一一回顧推文中所提供的三個例子。這些問題是許多社群成員普遍關心的問題,解決這些問題非常重要。
MEV 和構建者依賴性
過去,以太坊區塊是由礦工創建的,他們使用相對簡單的演算法來創建區塊。使用者將交易發送到公共 p2p 網路,通常稱為「mempool」或「txpool」。
礦工監聽記憶體池,接受有效的交易並支付費用。它們包括可以進行的交易,如果沒有足夠的空間,它們會按照費用最高的優先順序進行優先排序。
這是一個非常簡單的系統,而且對去中心化很友好:作為礦工,你只需運行默認軟體,你就可以從一個區塊中獲得與從高度專業的礦場獲得的相同水平的費用收入。然而,在 2020 年左右,人們開始利用所謂的礦工可提取價值(MEV):只有透過執行複雜的策略才能獲得收入,這些策略了解各種 DeFi 協議內部發生的活動。
例如,考慮像 Uniswap 這樣的去中心化交易所。假設在時刻 T,中心化交易所和 Uniswap 上的 USD/ETH 匯率為 3000 美元。屆時 T+11,中心化交易所的 USD/ETH 匯率將上升至 3005 美元。
但以太坊還沒有下一個區塊。無論誰創建了該區塊,他們的第一筆交易都可以 3000 美元到 3004 美元的價格購買 Uniswap 上所有可用的 ETH。(動區備註:以較低價格買後較高價格賣出)
這是額外收入,稱為 MEV。除 DEX 之外的應用程式也有類似的問題。2019 年發表的 Flash Boys 2.0 論文對此進行了詳細介紹。
問題在於,這打破了為什麼挖礦(或 2022 年後的區塊提議)可以「公平」的原因:現在,擁有更好的優化此類提取演算法能力的大型參與者可以在每個區塊中獲得更好的回報。
從那時起,兩種策略之間就出現了爭論,我將其稱為 MEV 最小化和 MEV 隔離。 MEV 最小化有兩種形式:
- 積極開發 Uniswap 的無 MEV 替代方案(例如 Cowswap);
- 構建協議內技術,如加密內存池,減少區塊生產者可用的資訊,從而減少他們可以獲得的收入。
特別是,加密的記憶體池可以防止三明治攻擊等策略,這種攻擊將交易放在用戶交易之前和之後,以便在經濟上利用它們(「搶先交易」)。
MEV 隔離的工作原理是接受 MEV,但試圖透過將市場分為兩種參與者來限制其對質押中心化的影響:驗證者負責證明和提議區塊,但選擇區塊內容的任務通過拍賣協議。個人質押者現在不再需要擔心自己優化 DeFi 套利;他們只是加入拍賣協議並接受最高出價。這稱為提議者/建構者分離(PBS)。
這種方法在其他行業中已有先例:餐廳能夠保持如此分散的一個主要原因是,它們往往依賴相當集中的供應商來進行各種業務,而這些業務確實具有巨大的經濟規模。
到目前為止,PBS 在確保小型驗證者和大型驗證者處於公平競爭環境方面已經相當成功,至少就 MEV 而言是如此。然而,它帶來了另一個問題:選擇包含哪些交易的任務變得更加集中。
我對此的看法一直是 MEV 最小化是好的,我們應該追求它(我個人經常使用 Cowswap!)儘管加密內存池有很多挑戰,但 MEV 最小化可能還不夠; MEV 不會降至零,甚至接近零。
因此,我們也需要某種 MEV 隔離。這就產生了一個有趣的任務:我們如何讓「MEV 隔離箱」盡可能小?我們如何給予建設者盡可能少的權力,同時仍讓他們吸收優化套利和其他形式的 MEV 收集的作用?
如果建構者有權將交易完全排除在區塊之外,那麼很容易就會出現攻擊。假設您在 defi 協議中擁有抵押債務部位 (CDP) ,由價格快速下跌的資產支持。您想要增加抵押品或退出 CDP。
惡意建造者可能會試圖串通拒絕包含您的交易,從而推遲交易,直到價格下跌到足以強行清算您的 CDP 為止。如果發生這種情況,你將不得不支付巨額罰款,而構建者將獲得很大一部分。那麼我們如何防止建構者排除交易並完成此類攻擊?
這就是包含清單的用武之地。
包含清單允許區塊提議者(即利益相關者)選擇進入區塊所需的交易。建構者仍然可以重新排序交易或插入自己的交易,但它們必須包括提議者的交易。最終,修改了包含列表以約束下一個區塊而不是當前區塊。無論哪種情況,它們都會剝奪建構者將交易完全推出區塊的能力。
以上都是背景複雜的深淵。但 MEV 是一個複雜的問題;即使上面的描述也遺漏了許多重要的細微差別。正如古老的格言所說,「你可能不是在尋找 MEV,但 MEV 正在尋找你」。以太坊研究人員已經非常一致地致力於「最小化隔離箱」的目標,盡可能減少建構者可能造成的危害(例如,透過排除或延遲交易作為攻擊特定應用程式的一種方式)。
也就是說,我確實認為我們可以走得更遠。從歷史上看,包含清單通常被認為是一種「特殊情況功能」:通常,您不會考慮它們,但以防萬一惡意建構者開始做瘋狂的事情,它們會第二次給您小路。
這種態度反映在目前的設計決策中:在目前的 EIP 中,包含清單的 Gas 限制約為 210 萬個。但我們可以在如何看待包含清單方面做出哲學上的轉變:將包含清單視為區塊,並將建構器的角色視為添加一些交易以收集 MEV 的輔助功能。如果建造者有 210 萬個 Gas 限制怎麼辦?
我認為這個方向的想法,即真正推動隔離箱盡可能小,非常有趣,我贊成朝這個方向發展。這是「2021 時代哲學」的轉變:在 2021 時代哲學中,我們更熱衷於這樣的想法:既然我們現在有了建構者,我們可以「超載」他們的功能,讓他們以更複雜的方式為用戶服務。例如,透過支持ERC-4337 費用市場。在這種新理念中,ERC-4337 的交易驗證部分必須納入協議中。幸運的是,ERC-4337 團隊已經越來越熱衷於這個方向。
總結:MEV 思想已經回到了賦權區塊生產者的方向,包括賦予區塊生產者直接確保用戶交易納入的權力。帳戶抽象提案已經回到了消除對中心化中繼器甚至捆綁器的依賴的方向。然而,有一個很好的論點表明我們走得還不夠遠,我認為推動開發過程朝這個方向走得更遠的壓力是非常受歡迎的。
流動性質押
如今,單獨的質押者在所有以太坊質押中所佔的比例相對較小,並且大多數質押是由各種提供者完成的:一些中心化營運商和其他 DAO,例如 Lido 和 RocketPool。
我做了自己的研究,包括各種民意調查、調查、面對面的對話,詢問「為什麼你,特別是你,今天不單獨下注?」對我來說,到目前為止,一個強大的單獨質押生態系統是我對以太坊質押的首選結果,而以太坊最好的事情之一是我們實際上試圖支持一個強大的單獨質押生態系統,而不是僅僅屈服於委託。然而,我們離這個結果還很遠。在我的民調和調查中,有一些一致的趨勢:
- 絕大多數不單獨質押的人將其主要原因歸為最低 32 ETH。
- 在那些提出其他原因的人中,最大的是運行和維護驗證器節點的技術挑戰。
- ETH 即時可用性的喪失、「熱」私鑰的安全風險以及同時參與 defi 協議的能力的喪失,都是重大但較小的問題。
質押研究需要解決兩個關鍵問題:
- 我們如何解決這些擔憂?
- 儘管對大多數問題都有有效的解決方案,但如果大多數人仍然不想獲得單獨權益,那麼儘管如此,我們如何保持協議的穩定性和穩健性以抵禦攻擊?
許多正在進行的研究和開發專案正是旨在解決這些問題:
- Verkle 樹加上 EIP-4444 允許質押節點以非常低的硬體要求運作。此外,它們允許質押節點幾乎立即同步,從而大大簡化了設定過程以及從一種實現切換到另一種實現等操作。它們還透過減少為每個狀態存取提供證明所需的資料頻寬,使以太坊輕客戶端更加可行。
- 研究(例如這些提案)允許更大的驗證器集(實現更小的質押最小值),同時減少共識節點開銷的方法。這些想法可以作為單槽最終性的一部分來實現。這樣做也將使輕客戶端更安全,因為他們將能夠驗證全套簽名而不是依賴同步委員會)。
- 儘管歷史不斷增長,但正在進行的以太坊客戶端優化不斷降低運行驗證器節點的成本和難度。
- 對懲罰上限的研究可能會減輕對私鑰風險的擔憂,並使質押者能夠同時將他們的 ETH 質押到 DeFi 協議中(如果他們願意的話)。
- 0x01 提現憑證允許質押者將 ETH 地址設定為提現地址。這使得去中心化的質押池更加可行,使其比中心化的質押池更具優勢。
然而,我們仍然可以做更多的事情。理論上可以允許驗證者更快地撤回:即使驗證者集每次最終確定時都會發生幾個百分點的變化(即每個時期一次),Casper FFG 仍然是安全的。
因此,如果我們努力的話,我們可以大大縮短間隔期。如果我們想大幅減少最小存款規模,我們可以做出一個艱難的決定,在其他方向上進行權衡。例如,如果我們將最終確定時間增加 4 倍,那麼最小存款規模將減少 4 倍。單槽最終性稍後將透過完全超越「每個質押者參與每個時代」的模型來解決這個問題。
整個問題的另一個重要部分是質押的經濟學。一個關鍵問題是:我們是否希望質押成為一項相對小眾的活動,或者我們是否希望每個人或幾乎每個人都質押他們所有的 ETH?
如果每個人都在質押,那我們希望每個人承擔什麼責任?如果人們最終因為懶惰而簡單地委派責任,那麼最終可能會導致集中化。這裡有重要而深刻的哲學問題。
錯誤的答案可能會導致以太坊走上中心化的道路,並「透過額外的步驟重新創建傳統的金融體系」;正確的答案可以創造一個成功生態系統的光輝典範,該生態系統擁有廣泛且多樣化的獨立質押者和高度去中心化的質押池。這些問題涉及以太坊核心經濟和價值觀,因此我們需要更多樣化的參與。
節點硬體要求
以太坊去中心化的許多關鍵問題最終都歸結為定義區塊鏈政治十年來的一個問題:我們希望如何方便地運行節點,以及如何實現?
如今,運行節點很困難。大多數人不這樣做。在我用來寫這篇文章的筆記本電腦上,我有一個 reth 節點,它佔用 2.1TB 的空間,已經是英勇的軟體工程和優化的結果。我需要額外購買一個 4TB 硬碟放入我的筆記本電腦中以儲存該節點。我們都希望運行節點變得更容易。在我的理想世界中,人們將能夠在手機上運行節點。
正如我上面所寫,EIP-4444 和 Verkle 樹是讓我們更接近這理想的兩個關鍵技術。如果兩者都實現,節點的硬體需求最終可能會減少到不到一百字節,如果我們完全消除歷史儲存責任(可能僅適用於非質押節點),則可能會接近零。
類型 1 ZK-EVM 將消除您自己執行 EVM 計算的需要,因為您可以簡單地驗證執行是否正確的證據。在我的理想世界中,我們將所有這些技術堆疊在一起,甚至以太坊瀏覽器擴展錢包(例如 Metamask、Rabby)也有一個內建節點來驗證這些證明,進行數據可用性採樣,並確保鍊是正確的。
這都是眾所周知和理解的,即使是那些對以太坊節點規模提出擔憂的人也是如此。然而,有一個重要的擔憂:如果我們卸下了維護狀態和提供證明的責任,那麼這不是一個中心化向量嗎?即使他們不能透過提供無效數據來作弊,但過度依賴他們不是違背了以太坊的原則嗎?
這種擔憂的一個近期版本是許多人對 EIP-4444 的不適:如果常規以太坊節點不再需要儲存舊歷史記錄,那麼誰需要呢?一個常見的答案是:肯定有足夠多的大參與者(例如區塊瀏覽器、交易所、Layer2)有動力持有這些數據,並且與 Wayback Machine 存儲的 100 PB 相比,以太坊鏈很小。因此,認為任何歷史實際上都會失去的想法是荒謬的。
然而,這種論點依賴於少數大型參與者。在我的信任模型分類中,這是 N 中的 1 假設,但 N 非常小。這有其尾部風險。我們可以做的一件事是將舊歷史記錄儲存在對等網路中,其中每個節點僅儲存一小部分資料。這種網路仍然會進行足夠的複製以確保穩健性:每個資料都會有數千個副本,並且將來我們可以使用糾刪碼(實際上,透過將歷史記錄放入 EIP-4844 樣式的 blob 中,這已經內建糾刪碼)以進一步提高穩健性。
長期以來,這項工作一直處於次要地位。門戶網路確實存在,但實際上它並沒有得到與其在以太坊未來的重要性相稱的關注程度。幸運的是,現在人們對將更多資源投入到入口網站的最小化版本中抱有濃厚的興趣,該版本專注於歷史記錄的分散式儲存和可訪問性。我們應該以此為基礎,共同努力盡快實施 EIP-4444,並搭配強大的去中心化點對點網路來儲存和檢索舊歷史記錄。
對於狀態和 ZK-EVM,這種分散式方法更加困難。要建立一個高效的區塊,您只需要擁有完整的狀態。在這種情況下,我個人傾向於採取務實的方法:我們定義並堅持擁有一個「做所有事情的節點」所需的某種程度的硬體要求,這高於簡單驗證節點的(理想情況下不斷降低的)成本鏈,但仍然足夠低,愛好者可以負擔得起。我們依賴 N 中的 1 假設,確保 N 相當大。例如,這可能是高階消費筆記本電腦。
ZK-EVM 證明可能是最棘手的部分,即時 ZK-EVM 證明器可能需要比存檔節點更強大的硬件,即使有像 Binius 這樣的進步,以及多維氣體的最壞情況邊界。我們可以在分散式證明網路上努力工作,其中每個節點都承擔證明的責任。例如,一個區塊執行的百分之一,然後區塊生產者只需要在最後聚合一百個證明。證明聚合樹可以提供更多幫助。但如果這不能很好地工作,那麼另一種妥協是允許證明的硬體要求變得更高,但要確保「做所有事情的節點」可以直接驗證以太坊區塊(無需證明),速度足夠快有效參與網路。
結論
我認為,只要存在某種市場機製或零知識證明系統來迫使中心化參與者誠實行事,2021 時代的以太坊思想確實已經習慣於將責任轉移給少數大型參與者。此類系統通常在一般情況下運作良好,但在最壞的情況下會發生災難性故障。
同時,我認為有必要強調的是,目前的以太坊協議提案已經大大偏離了這種模型,並且更加認真地對待真正去中心化網路的需求。圍繞無狀態節點、MEV 緩解、單時隙最終性和類似概念的想法已經在這個方向上走得更遠。
一年前,人們認真考慮了透過中繼作為半集中節點來進行資料可用性採樣的想法。今年,我們已經不再需要做這些事情,在 PeerDAS 上取得了令人驚訝的長足進展。
但是,在我上面談到的所有三個軸以及許多其他重要軸上,我們可以做很多事情來朝這個方向走得更遠。Helios 在為以太坊提供「真正的輕客戶端」方面取得了巨大進步。現在,我們需要將其預設包含在以太坊錢包中,並讓 RPC 提供者提供證明及其結果,以便對其進行驗證,並將輕客戶端技術擴展到 Layer2。
如果以太坊透過以 Rollup 為中心的路線圖進行擴展,則 Layer2 需要獲得與 Layer1 相同的安全性和去中心化保證。分散且高效的跨 Layer2 橋就是眾多例子之一。許多 dapp 透過集中式協定來取得日誌,因為以太坊的本機日誌掃描變得太慢。我們可以透過專用的去中心化子協定來改進這一點;這是我關於如何做到這一點的一項建議。
有幾乎無限數量的區塊鏈項目瞄準「我們可以超快,我們稍後會考慮去中心化」這個利基市場。我認為以太坊不應該成為這些項目之一。以太坊 Layer1 可以而且當然應該成為採用超大規模方法的 Layer2 專案的強大基礎層,使用以太坊作為去中心化和安全性的支柱。
即使以 Layer2 為中心的方法也要求 Layer1 本身俱有足夠的可擴展性來處理大量操作。但我們應該深深尊重使以太坊獨一無二的特性,並隨著以太坊的擴展繼續努力維護和改進這些特性。