本文梳理自前 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 或彼此之间交互），但它们仍是一种令人兴奋的扩容手段。

本文梳理自前 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 或彼此之间交互），但它们仍是一种令人兴奋的扩容手段。