2022 年加密货币行业的主旋律势必少不了 “L2 扩容方案” 的参与，以太坊社区也早早喊出了 #L222 的叙事标签。虽说目前以太坊已有不少 Optimistic Rollup 技术阵营的 L2 网络上线，如 Arbitrum、Optimism、Metis、Boba 等，但 ZK Rollup 技术始终被视为是扩容解决方案的最佳解答（无挑战期，还具备更高的可扩展性），尽管当前也有 zkSync 1.0、Loopring、Aztec 等 ZK Rollup 技术方案上线，但基本都是局限于交易转账支付这些特定应用领域，暂时无法实现图灵完备的通用计算。

目前行业中最受人瞩目的两大通用型 ZK Rollup 当属：zkSync 2.0 和 StarkNet。其中 zkSync 2.0 公共测试网恰巧近期（2 月 22 日）刚上线，而 StarkNet Alpha 版本则已上线近 3 个月。

背景：StarkWare、StarkEx、StartNet、STARK

可能很多人对这四个单词混淆不已，简单来讲，StarkWare 是一家公司，目前有两个产品：

•StarkEx：这是一种特定应用于交易场景的扩展技术，目前正被几个以太坊项目使用，包括 dYdX、ImmutableX、Sorare 和 DeversiFi。

•StarkNet：一个通用型的 ZK Rollup 扩展网络。

那么 STARK 呢？这就得提到 zkSync 了，我们都知道 zkSync 和 StarkNet 都是基于 ZK Rollup 技术方案，但两者的主要区别是什么呢？其中之一是它们所采用的零知识证明技术：

•SNARK（zkSync）：零知识简洁非交互式知识论证 | Succinct Non-interactive Argument of Knowledge。2012 年首次提出，不久后便开始采用实施，具备技术先发优势；生成的证明足够小，因此验证时间也短；需要受信任的初始设置，有可能产生“有毒垃圾”。

•STARK（StarkNet）：零知识可扩展的透明知识论证 | Scalable Transparent Argument of Knowledge。由 StarkWare 团队于 2018 年推出的、相对较新的技术；生成的证明相对较大；算法运算公开透明，无需要受信任的初始设置，因此不存在“有毒垃圾”；可扩展。