速覽無狀態Rollup 的優勢與潛在問題

主要好處是減少存儲在以太坊上的數據量，從而減少用戶在L2 上交易的成本。

**撰文：**OneTrueKirk

編譯：Yvonne，MarsBit

原文來自OneTrueKirk 在ethresear.ch 發布帖子

這是我第一次在這裡發布主題帖子，如果在任何方面有所冒犯，我深表歉意。我一直在思考這一想法（Stateless Rollups），主要是針對我們的借貸協議的專用rollup, 但希望它可以普遍適用，感激所有反饋。

TLDR：

只發布狀態根，不發布calldata。

（MarsBit 注：Calldata 是合約交易中的數據部分的值，不能被修改。）

細節

如果不使用以太坊作為數據可用性層，通過將完整狀態作為calldata 發布，而只將狀態根發佈到主網，會怎麼樣？主要好處是減少存儲在以太坊上的數據量，從而減少用戶在L2 上交易的成本。即使有EIP-4844，blobace 也不是免費的。

主要的風險是數據保留攻擊（Data Withholding Attack），即提議者發布一個有效的狀態根，但從其他rollup 節點扣留完整的數據，以壟斷未來的區塊生產或挾持資金。為了防止這一情況，誠實的節點必須質疑任何沒有對等方可以提供數據的狀態更新。 Arbitrum 式的互動欺詐證明可以用來迫使提議者在主網上披露完整的狀態，但如果根是有效的，仍會導致挑戰失敗，因此，即使在失敗的情況下，挑戰的成本也要低。

（MarsBit 注：數據保留攻擊（Data Withholding Attack）是指攻擊者在訪問受保護的數據時，故意不返回全部數據或者返回錯誤的數據，以達到欺騙或者破壞的目的。

如果挑戰失敗的成本很低，那麼即使誠實的提議者正確地點對點傳播了狀態數據，也可能會強迫他們支付將所有狀態數據發佈到主網以防禦挑戰的費用，從而使誠實的提議者感到痛苦。發起挑戰的成本必須與防禦成本成正比，以確保無法以這種方式攻擊誠實的提議者。

在最壞的情況下，如果攻擊者可以花1 美元讓誠實的提議者損失1 美元，他們可以迫使提議者放棄，讓他們的區塊恢復。隨後，一個新的誠實的提議者可以競標，除非攻擊者可以對所有潛在的誠實提議者重複攻擊，其中包括所有有資金的人，否則他們不能造成永久停機。有可能增加另一個條款，當一個有效區塊被敲定後時間過長，挑戰的成本就會上升。這樣一來，挑戰一個不誠實的提議者很容易，但不可能長期停止狀態轉換。

更為樂觀的是，如果節點在點對點之間傳播數據，他們可以決定自己的數據備份和可訪問性解決方案，而用戶最好在本地存儲他們自己的狀態轉換所需的數據。在一個特定的應用程序的背景下，我考慮過與EVM 完全不同的方式對rollup 狀態進行編碼，以對此進行優化。所有與特定用戶賬戶相關的狀態都可以被編碼為相同的哈希值，因此，用戶可以更容易地驗證自己賬戶的變化，而不需要知道全局狀態（即確認你在交換中收到了你想要的代幣數量，而不需要擔心具體來自何處）。

總結

我很想听聽大家的想法，也希望大家能提供相關工作的鏈接。與普通的optimistic rollup 不同，在optimistic rollup 中很容易確定所提交的calldata 是否與主網的狀態根相匹配，以及兩者是否有效，但僅從狀態根中不可能知道一個更新是否有效，因此需要仔細考慮挑戰期和griefing（即惡意行為）的經濟學問題。