前a16z團隊成員：以太坊人為什麼對Rollups感到如此興奮？

原文作者：Alex Kroeger

編譯：0x22D

本文梳理自前 a16z、0x Labs、Coinbase 成員 Alex Kroeger 在個人社交媒體平台上的觀點，律動 BlockBeats 對其整理翻譯如下：

為什麼以太坊生態會對 Rollups 感到興奮，Rollups 是如何發揮作用的？

以太坊是一台全球計算機，這台計算機的每個節點都對某些狀態抱有共識，這些狀態包括誰擁有什麼，什麼智能合約是可用的等等。

隨著包括要執行哪些計算的指令（例如轉移資金、部署新合約等）的新區塊的產生，這些狀態也會更新。

為了讓單個以太坊節點與全球節點網路同步，每個節點都要執行一遍新區塊中的計算。

因此，一個計算需要在網路中的 n 個節點上被執行 n 次。

聽起來有點浪費。

如果有一種方法能讓這些計算不是必須在每個節點上都要被執行一次呢？

這種方法就是 Rollups。

Rollups 是一種擴容解決方案，能在將交易指令和結果狀態哈希發送到以太坊 Layer1 的同時，將交易的執行放在 Layer1 之外。

因為交易數據和狀態哈希是在 Layer1 上的，所以 Rollups 鏈可以使用 Layer1 保持同步，從而繼承以太坊 Layer1 主網共識帶來的安全性。

但是由於交易不在 Layer1 上執行，那麼該如何知道這些計算是否被正確執行？

基於這點，Rollups 目前可以分成：

1. Optimistic rollups 

2. Zero knowledge rollups

Optimistic rollups，比如像 Arbitrum 和 Optimism 那樣的，它們樂觀地假定所有的交易在被發送後都被正確地執行了。

如果 Optimistic rollups 上的交易沒有被正確執行，那麼用戶可以在一定時間內提交欺詐證明並獲得補償。

Optimistic rollups 是一個巧妙的解決方案，但是在欺詐證明時間過去之前 Optimistic rollups 的區塊不會被確認（目前這個時間是 7 天）。

Zero knowledge rollups，比如像 zkSync 和 StarkNet 那樣的則依賴於零知識證明。

零知識證明允許某個人在無需自己執行一次計算的情況下，去驗證計算是否正確地被執行。

Rollups 是零知識證明技術一個非常自然的應用。

在 Zero knowledge rollups 上，證明與交易數據一起提交，並通過在以太坊 Layer1 上驗證證明，獲得即時的交易確認。

Rollups 令人興奮，因為他們為以太坊進行了擴容，而不會隨著交易數量的增加同時增加以太坊 Layer1 節點的壓力。

對於 Rollups 來說，以太坊 Layer1 扮演的是「數據可用性層」這樣一個角色。雖然 Rollups 不需要節點網路來驗證計算是否正確，但它們仍需要一個去中心化的數據層來保持對 Rollups 鏈的共識。

綜上所述，就是以太坊社區對 Rollups 作為增強以太坊 Layer1 能力的一種方式感到如此興奮的原因了。

雖然 Rollups 並非沒有問題（它們很難與以太坊 Layer1 或彼此之間交互），但它們仍是一種令人興奮的擴容手段。