一文了解無狀態 Rollup_ROL:TROLLER幣

注：原文作者是 Alex Beckett，目前就職于 Celestia。

全節點驗證區塊的方式，是通過下載所有交易并重新執行它們來檢查其有效性，毫不奇怪的是，更大的區塊會給全節點帶來更大的負擔，因為處理和驗證每個區塊需要更多的硬件。而欺詐和有效性證明等技術使得節點能夠檢查有效性，而無需重新執行每筆交易。數據可用性采樣技術使得節點能夠驗證數據可用性，同時只下載每個區塊的一小部分。

剩下的最后負擔之一就是狀態。要驗證區塊，全節點還必須存儲整個狀態的副本。隨著狀態的增長，對全節點的存儲需求也會增加。幸運的是，狀態增長在一定程度上也是可以解決的。

所謂無狀態（Statelessness）是一種特性，是指全節點可以在不存儲狀態的情況下驗證區塊（這就叫無狀態）。而無狀態主要有兩種：

Coinbase已支持原生和Arbitrum橋接USDC:6月8日消息，據官方消息，隨著為USDC標準而構建的企業、應用程序和開發者社區越來越多，Coinbase現已添加對原生USDC和Arbitrum橋接USDC的支持。

據此前報道，6月1日，Arbitrum官方宣布，Circle將于6月8日在Arbitrum鏈上推出原生USDC，Arbitrum稱該版本的USDC將成為Arbitrum生態系統內受認可的官方版本，并將最終取代目前流通的以太坊橋接版USDC。[2023/6/8 21:24:28]

強無狀態：不需要節點來存儲狀態。

弱無狀態：只需要區塊生產者來存儲狀態。

數據：5.5萬枚ETH從未知錢包轉移到Bitfinex:金色財經報道，Whale Alert數據監測顯示，55,000枚ETH(93,910,141美元)從未知錢包轉移到Bitfinex。[2023/2/21 12:18:19]

強無狀態引入了一個數量級的復雜性和權衡，所以我們現在只關注弱無狀態。

一個（弱）無狀態 rollup 是一種至少需要定序器（sequencer）來存儲狀態的 rollup，但全節點是無狀態的。一個 optimistic rollup 可能還需要觀察器（ watcher）存儲狀態以生成欺詐證明，這取決于是否允許為定序器（sequencer）節點生成欺詐證明。

Cardano創始人：ADA未上架Gemini或是正確選擇，因為ADA也沒上FTX:金色財經報道，Cardano創始人Charles Hoskinson 在最新 Twitter Space 上發表了ADA 未在 Gemini 加密貨幣交易所上架的看法，他表示并不介意 Gemini 這種做法，甚至對此表示歡迎，因為FTX也沒有上線 ADA，從而確保Cardano原生資產在 FTX 崩盤中沒有損失。而當Genesis Digital Trading暫停提款并面臨破產風險時，Gemini 旗下 Earn Program 則遇到麻煩，結果導致暫停服務并欠下9億美元用戶資產。[2022/12/27 22:10:02]

為了驗證一個區塊的有效性，全節點從一個 pre-state root 開始，它是在將前一個區塊附加到鏈上之后的狀態樹的根。然后重新執行交易，生成一個新的狀態根（稱為 post state root）。然后，根據提議的區塊頭中的 post state root 來驗證計算的 post state root。如果匹配，則該區塊有效，如果不匹配，則該區塊無效并被拒絕。但是，無狀態節點一開始沒有 pre-state root，因為它們不存儲狀態。

Spruce：SIWE標準EIP-4361已從“草案”狀態變更為“審查”狀態:7月19日消息，數字身份認證公司Spruce發推稱，EIP-4361（使用以太坊登錄，簡稱SIWE）作為一項EIP已經從“草案（draft）”狀態變更為“審查（review）”狀態。這是將“使用以太坊登錄”作為廣泛采用標準向前邁進的一大步。

據悉，EIP-4361描述了使用簽名消息的現有Web2服務的身份驗證方法。用戶可以使用自己的私鑰（帶有相應的地址）進行身份驗證，而不是使用用戶名和密碼的組合。

此前消息，Spruce于2021年10月與以太坊基金會、ENS共同制定了SIWE標準EIP-4361 并于去年年底發布了EIP-4361的實現源代碼，并于今年5月發布其2.0版本。[2022/7/19 2:22:34]

在無狀態 rollup 當中，定序器將為每個區塊分配一個 pre-state root 和 post state root，以驗證該區塊。還有許多其他細微差別，但這是無狀態驗證的基本思想。

如果無狀態 rollup 具有一個 p2p 網絡，則定序器只需將區塊和相應的狀態根發送到初始對等組，然后它們可以在整個網絡中傳播它們。但如果無狀態 rollup 沒有 p2p 網絡（目前很多 rollup 都是這種情況），那么單個定序器將需要將區塊和狀態根單獨分發到網絡中的每個節點。在沒有 p2p 網絡情況下的 rollup 中實現無狀態，將給定序器帶來不切實際的巨大負擔。因此，p2p 網絡是一個先決條件。

除了驗證區塊，全節點還服務于狀態請求（例如，將地址 0x 的賬戶余額發送給我……）。無狀態節點與全節點一樣完全驗證狀態轉換，但依賴于全節點來訪問狀態。因此，仍然需要最少數量的全節點來向網絡的其余部分提供狀態請求。

實際上，由于硬件要求較低，用戶可能會傾向于使用無狀態節點，因此，能夠依賴的全節點會越來越少。如果沒有足夠的全節點來服務于狀態請求，那么無狀態 rollup 將遇到瓶頸，因為狀態無法在整個網絡中以足夠快的速度傳播以滿足需求。

全節點在將傳入交易轉發到 mempool 之前驗證它們，以防止 mempool 和區塊生產者收到無效的垃圾交易。然而，交易驗證需要訪問狀態以獲取發送者的帳戶余額和 nonce 等數據，無狀態節點在沒有向全節點發出狀態請求的情況下無法執行這些數據。此過程會給無狀態節點帶來 DoS 攻擊的問題，它們可能會收到垃圾交易，但不能拒絕交易，直到它們發出所需的狀態請求以檢查交易是否有資格轉發到 mempool，此外，由于無狀態節點在轉發交易之前必須采取的額外步驟，因此交易傳播速度會變慢。

取消全節點存儲狀態的要求會降低硬件門檻，從而降低更多用戶運行全節點的障礙。減輕狀態增長的負面影響對于 rollup 以及任何其他鏈一樣重要，因為它們也很脆弱。由于弱無狀態并不能免除定序器存儲狀態的責任，因此使用最多的 rollup 會發現狀態增長可能會成為一種障礙。我們可以實施進一步的措施來減少定序器的狀態增長，例如，在狀態到期時，在給定的時間段內未被訪問的狀態將從狀態中刪除。

順便說一句，無狀態還移除了磁盤 IO 的 DoS 攻擊向量，因為無狀態節點不再需要執行狀態訪問，如果 rollup 具有較大的狀態，這將特別有用。

無狀態（Statelessness）和欺詐證明是同一枚硬幣的兩面，只要實現了其中一個，就能免費獲得另一個。節點需要 pre-state root 和 post state root 來驗證欺詐證明，這與無狀態區塊驗證的的要求類似。誠然，關于欺詐證明還有其他考慮因素，例如單輪與多輪、bonding（綁定）以及一般審查阻力細節。

如果防欺詐實現允許它們在 rollup 的 p2p 網絡中分布，則輕客戶端在此過程中的信任度會最小化。

Tags：ROLROLLSTATSTATROLLER幣roll幣是什么意思NodestatsWinStars

Fil