🆚 Optimistic 与 ZK Rollup Optimistic vs. ZK Rollups
以太坊 Layer 2 rollup 的两大流派。两者都在链下把成百上千笔交易打成一捆，再把压缩后的摘要发回以太坊；区别在于「怎么证明这批交易没作弊」：Optimistic rollup 先信任交易、留口子让任何人挑战欺诈，ZK rollup 则附上一份密码学证明，让以太坊先验证再接收。
🧱 先搞清楚 rollup 是什么
以太坊主链（以太坊，也就是 Layer 1）很安全，可一旦拥堵就会又慢又贵。rollup 是一种 Layer 2 网络，把成百上千笔交易拿到主链外面处理，再把一份压缩好的摘要发回以太坊。这样交易更便宜、更快，同时还能靠以太坊兜底安全。Optimistic 和 ZK，就是实现这件事的两条主要路线。
🤝 Optimistic rollup —— 先信任，事后再争议
Optimistic rollup 默认一批里的每笔交易都有效。它把数据发到以太坊时不带证明，转而开一个挑战窗口。在这段时间里，任何盯着链的人都能提交欺诈证明，把作弊的那笔标出来。挑战一旦成立，rollup 就重新跑这批交易、改正记录；窗口期内没有有效挑战，这批交易就算最终敲定。
⏳ 这个挑战窗口通常约为 7 天。这正是为什么从 Optimistic rollup 提现回以太坊有时要等上一周——除非你额外付钱给第三方跨链桥，让它先垫钱给你。
🧾 ZK rollup —— 先把账证清楚
ZK rollup 给每一批交易都附上一份密码学有效性证明（一种零知识证明）。以太坊只要核对这份小小的证明，就能立刻确认整批交易无误，不必把里面的交易逐笔重跑。正确性在以太坊接受证明的那一刻就已落定，因此没有长达一周的等待，最终确认几乎是瞬间的。
⚖️ 两相对照
| ⏳ Optimistic rollup | 🧾 ZK rollup | |
|---|---|---|
| 怎么证明没作弊 | 默认有效，欺诈证明可挑战 | 有效性证明先验后收 |
| 提现回以太坊 | 最多约 7 天（挑战窗口） | 证明通过后几乎瞬间到账 |
| 开发应用 | 历来更省事，对 EVM 兼容度很高 | 上链数据更少，但生成证明成本高 |
| 代表项目 | Arbitrum、Optimism、Base | zkSync、StarkNet、Polygon zkEVM、Scroll、Linea |
📊 ZK 对以太坊应用的兼容性进步很快，「谁更省事、谁更难搞」这条线一直在挪。把它当成此刻的快照看，别当成铁律。
🛒 拿日常生活打个比方
Optimistic rollup 像一家店：让你拿了货就走、相信你已经付了钱，但小票会存档一周，万一有诈骗还能拿出来对质。ZK rollup 则像结账时给你一张防伪盖章的收据，当场就能证明你付过钱——根本不需要争议期。
🧭 新手会在哪儿碰到它
第一次把资产挪到「更便宜的以太坊」网络上时，你就遇见 rollup 了，比如 Arbitrum、Optimism，或是 StarkNet 这类 ZK 网络。提现回以太坊有时秒到、有时却要等好几天，根子就在 rollup 的类型上。点「提现」之前先弄清自己用的是哪种，心里就有了正确的预期。
❓ 常见问题
- 「zero-knowledge」是不是意味着 ZK rollup 会把我的交易藏起来？
- 通常不会。「zero-knowledge」指的是以太坊不必把一批交易逐笔重跑，就能确认它整批有效。如今大多数 ZK rollup 用这套数学是为了扩容和更快地校验，而不是为了让你的链上活动变成隐私。
- 为什么从 Optimistic rollup 把钱转出大约要等一周？
- Optimistic rollup 先接收交易，再留出大约 7 天的挑战窗口，让任何人提交欺诈证明。提现回以太坊要等这个窗口结束后才最终生效。ZK rollup 没有这道等待，因为它的证明是先验证再接收的。
- Optimistic rollup 是不是因为「先信任所有人」就不安全？
- 不是。它通过欺诈证明机制继承了以太坊的安全：一旦有人提交了一批作弊数据，挑战者能在窗口内把它揭穿，rollup 随即自我纠正。所谓「乐观」只是默认的假设，并不代表缺少安全保障。