Optimistic Rollups 和 ZK-Rollups 的主要区别是什么?

Niko Langern
Niko Langern
Web3 startup founder.

好的,没问题。咱们用一个简单的比喻来聊聊 Optimistic Rollups 和 ZK-Rollups 的区别。


Optimistic Rollups vs. ZK-Rollups:一个简单的比喻

想象一下,以太坊主网是一位非常忙碌、身价极高的大老板。他每天要处理的业务太多了,所以他雇了两个得力助手来分担工作,这两个助手就是 Rollups

这两个助手的工作模式都是一样的:把一大堆(比如几百上千笔)琐碎的交易拿到办公室(也就是二层网络)去处理,处理完之后,只把一个最终的账本摘要交给大老板。这样,大老板就不用亲自处理每一笔小交易,大大提高了效率。

但是,这两个助手的性格和向老板汇报工作的方式完全不同,这就是 Optimistic RollupsZK-Rollups 的核心区别。

Optimistic Rollups:先相信你,除非有人能证明你错了(性善论)

这位助手我们叫他“小O”(Optimistic)。

小O是个乐天派,他对人性的假设是“性善论”。他把一堆交易处理完后,直接把账本摘要交给大老板,然后说:

“老板,这是我处理完的结果,我保证没问题。咱们先默认它是对的吧!我把详细账目贴在公告栏上,给大家一周时间来检查,如果没人提出异议,那这事儿就算最终敲定了。”

  • 工作流程:默认所有提交上来的结果都是正确的(所以叫 Optimistic,乐观的)。
  • 安全保障:设置一个“挑战期”(通常是7天)。在这期间,任何人都可以去检查小O的详细账目。如果发现他作弊(比如偷偷多给自己发了工资),就可以提交一个“欺诈证明”,揭发小O。一旦揭发成功,小O会受到严厉惩罚,作弊的交易会被撤销,而举报者会获得奖励。
  • 给你的感觉
    • 优点:技术上实现起来相对简单,和老板(以太坊)的沟通方式也更顺畅(EVM兼容性好),所以生态发展得比较早,应用也多。
    • 缺点:最大的问题是提款慢。如果你想把资金从助手小O那里拿回到老板(以太坊主网)那里,你必须等完那7天的“挑战期”,才能确保万无一失。这对急性子的人来说太煎熬了。

典型代表:Arbitrum (ARB), Optimism (OP)


ZK-Rollups:你必须先向我证明你是对的(性恶论)

另一位助手叫“小Z”(ZK,Zero-Knowledge)。

小Z是个逻辑极其严谨、甚至有点“性恶论”的数学家。他把一堆交易处理完后,交给大老板的不仅是账本摘要,还有一份极其复杂的、用密码学加密过的数学证明。他会说:

“老板,这是我处理完的结果。这里有一份‘零知识证明’,它就像一个绝对无法伪造的数学封印。你不用去检查我的具体计算过程,只要验证一下这个证明的真伪就行。验证通过,就100%说明我的计算结果是绝对正确的,一个子儿都不会错。”

  • 工作流程:默认你可能是错的,所以你必须用数学方法自证清白。
  • 安全保障:依赖于密码学和数学。这个“零知识证明”非常神奇,它可以在不透露任何具体交易细节(比如谁给谁转了多少钱)的情况下,向大老板证明这批交易的有效性。伪造这个证明在计算上是不可能的。
  • 给你的感觉
    • 优点提款快,几乎是即时的。因为大老板只要验证了你的数学证明,就可以立刻确认这笔账是准确无误的,完全不需要等什么“挑战期”。安全性也更高,不依赖于有人去当“监察员”。
    • 缺点:技术太复杂了!生成这个数学证明需要大量的计算,就像解一道超级复杂的数学题,所以对技术的要求非常高,交易成本可能也会高一些。早期和老板(以太坊)的沟通方式也没那么顺畅(EVM兼容性是难题),但现在这个问题正在被逐步解决。

典型代表:zkSync, StarkNet, Polygon zkEVM


总结一下,一张图看懂

特性Optimistic Rollup (助手小O)ZK-Rollup (助手小Z)
核心思想“性善论”:先信任,后挑战“性恶论”:必须用数学自证清白
安全性依赖经济博弈和“监察员”(至少有一个诚实的人)密码学和数学
资金提现速度 (需要等待7天左右的挑战期) (几乎实时,主网验证证明后即可)
技术复杂性相对简单极高
交易成本通常较低,但提交欺诈证明的成本高生成证明的计算成本高,但分摊后单笔成本可控
目前生态成熟,应用丰富快速发展中,被认为是未来方向

我该怎么选?

  • 如果你是一个普通用户,在 ArbitrumOptimism 上玩,会感觉应用很多,很成熟。只是当你需要把钱提回以太坊主网时,得有点耐心。
  • 如果你去 zkSync 这类 ZK-Rollup 网络,你会体验到极速提现的快感,并且知道你的每笔交易都有数学作为最坚实的后盾。

总的来说,两者都是为以太坊扩容的好方案,只是实现路径和取舍不同。Optimistic Rollup 是当下更实用、生态更成熟的选择,而 ZK-Rollup 则被许多人看作是技术上更优越、更具未来潜力的终极方案。