zkSync

ZK Rollup 与 Optimistic Rollup 的根本差别

Optimistic Rollup 靠「乐观信任+事后挑战」，ZK Rollup 靠「数学证明」。每批交易提交以太坊时，必须同时附上一个零知识证明（在 zkSync 中是 SNARK），证明这批交易的执行结果是正确的。以太坊主网只需验证这个简短的证明，而不用重新执行所有交易。

优点是即时最终确定性（不需要 7 天等待期），安全性由密码学保证而非博弈假设；缺点是生成 ZK 证明计算量极大，且对复杂 EVM 操作码的支持历史上更困难。[1]

zkEVM 的技术挑战与突破

以太坊 EVM 从未为 ZK 友好性设计，许多 EVM 操作码（如 KECCAK256、存储访问）对 ZK 电路极不友好。Matter Labs 花费数年攻克这一难题，2023 年 3 月 zkSync Era 上线，是首批支持「原生 zkEVM」的生产网络之一，开发者可无需修改代码部署 Solidity 合约。

zkSync 采用 Boojum 证明系统（基于 STARK 结构，最终递归压缩为 SNARK），并开源了 ZK Stack，允许其他项目构建主权 ZK 链（Hyperchain），思路与 OP Stack 类似但底层技术截然不同。