ZK Rollups：以太坊的救星，还是技术乌托邦？

ZK Rollups：以太坊的未来，还是又一场技术乌托邦？

一切故事都始于以太坊那令人诟病的拥堵。想象一下，每一笔交易，都需要所有节点重复执行，验证真伪。这种冗余，注定了以太坊在可扩展性上的先天不足。

Rollups：希望的曙光？

2020年，以太坊社区将目光投向了 Rollups，将其视为拯救以太坊的希望。Vitalik Buterin 那篇里程碑式的文章，将 optimistic Rollups 和 ZK Rollups 推上了舞台。

ZK Rollups 从技术角度看，优势毋庸置疑。然而，高昂的成本和技术的不成熟，让 Optimistic Rollups 先行一步，抢占了市场。

Optimistic Rollups：妥协的产物

Optimistic Rollups 假设所有交易都是有效的，直到有人提出挑战。听起来很美好，但隐藏的代价也让人无法忽视。七天的挑战期，意味着提款的漫长等待，流动性的损失，以及糟糕的用户体验。尤其是在链互操作性方面，这种缺点被无限放大。

ZK Rollups：迎头赶上，但道路崎岖

2022年的 ETHCC 大会上，Polygon、zkSync 和 Scroll 纷纷宣布了 zkEVM 的计划，试图让以太坊拥抱零知识证明技术。这无疑是 ZK Rollups 的一次重大突破，但距离真正的落地，还有很长的路要走。

ZK Rollups 的优势：压缩，再压缩！

关键在于 ZK 证明的惊人压缩能力。原始交易数据可能高达兆字节，而 ZK 证明却只有区区几 KB。这意味着更低的数据可用性成本和更好的可扩展性。

成本高昂：ZK Rollups 的阿喀琉斯之踵

尽管 ZK Rollups 潜力巨大，但生成证明的成本仍然高得惊人。根据 zkstats.io 的数据，2023年12月，平均生成一个 ZK 证明的成本高达 80.21 美元。即使到了 2025 年，成本大幅下降，降至 1.3 美元，但仍然是一个不小的数字。

ZK Rollups 的未来：模块化，竞争，再创新

ZK Rollups 堆栈正在经历一场解构与重塑。

ZKVM：解放开发者的生产力

ZkVM 的出现，极大地简化了 ZK 开发的流程，让有效性证明的生成更加高效。在此之前，开发者需要编写复杂的数学“电路”来证明 EVM 的执行情况。这对于大多数开发者来说，无疑是一道难以逾越的门槛。而 SP1、RISC Zero、Nexus 和 OpenVM 等 ZkVM，让不具备 ZK 加密专业知识的开发者也能参与到 ZK 应用的开发中来。

竞争驱动成本下降

Risc Zero、Cysic、Lagrange 和 Succinct 等公司纷纷涌入证明生成市场，激烈的竞争推动了成本的下降。同时， ZK L2 也开始采用证明聚合技术，将多个证明批量处理成一个证明，从而降低验证成本。

证明系统的持续进化

Groth16、Halo2-KZG、STARK、Plonk、Expander 等证明系统不断迭代，算法也在不断优化，使得 ZK 证明越来越小，验证速度越来越快，进而提升了 ZKVM 的性能。

ZK 协处理器：突破链上限制

ZK 协处理器允许链上应用利用 ZK 技术的强大能力，即使这些应用本身并不存在于 ZK 执行环境中。它通过将计算转移到链下，异步运行，然后用 ZK 证明其结果，最后将证明发布到链上。

Frax、Azuki、Etherfi 和 Gearbox 等应用正在利用 Lagrange 的 ZK 协处理器来突破以太坊 L1 的限制。这听起来很诱人，但实际效果还有待观察。链下计算的安全性如何保证？数据如何才能做到完全可信？这些都是无法回避的问题。

总而言之，ZK Rollups 正在加速发展，但仍面临着许多挑战。成本、安全、易用性，每一个都是绕不过去的坎。它或许是以太坊的未来，也可能只是又一场技术乌托邦。最终的答案，只有时间才能给出。

本文 ethergome.com 原创，转载保留链接！网址：https://ethergome.com/post/1665.html