Arbitrum 空投的财富效应点燃了市场对 L2 的信心，纷纷布局还未发币的 L2。而 80 亿美元高估值的 StarkWare 自然是备受瞩目。那么 StarkWare 是有什么独特的技术值得各大机构热捧？旗下的 StarkNet 想要解决什么问题？我们将在本文中一一道来。
1.STARKs, StarkEx, StarkNet
1.1 STARKs
STARKs（Scalable, Transparent ARgument of Knowledge）是一种可以证明和验证计算的证明系统，旨在提高以太坊的扩展性。它允许将大型计算从链上转移到链下以降低成本，为计算的正确性生成证明，然后在链上进行少量的计算来验证证明。即验证者通过在链上执行非常少的操作来判断链下完成的计算的完整性。
L2 通过 STARKs 技术将多笔交易打包在一起进行数以千计的计算，然后使用单个 STARK 证明在链上验证它们的有效性。该批次内的所有交易共同分担链上处理的成本，从而在继承以太坊安全性的前提下降低了 Gas 成本，改善用户体验。这模式与共享的士的用户平摊路费相似。
SNARKs （Succinct，Non-Interactive，Argument，Knowledge）是一个简洁的非交互式的证明。STARKs 和 SNARKs 都是 ZK Rollups 的解决方案。
SNARKs 和 STARKs 对比
相比 SNARKs, STARKs 具有以下三个优势：
去信任
STARKs 公开可验证随机来取代 SNARKs 的可信设置，减少对参与人的依赖，提高协议安全性。
更强的扩展能力
STARK 具有验证的对数压缩特性，即使底层计算的复杂性呈指数级增长，STARKs 依然保持了较低的证明和验证时间，而非像 SNARKs 线性增长。
更高的安全保证
STARKs 使用抗碰撞哈希值进行加密，可抗量子计算的攻击。
但是 STARKs 的证明尺寸比 SNARKs 大，因此 L2 交易量较低时就会难以分摊证明成本，出现较大的确认延迟。但是当证明规模增加，使用 STARKT 的边际成本会递减，适合大规模应用。此外，相对于 SNARKs，目前 STARKs 采用率不足，基础工具还有待完善。
L2 Rollups 除了 ZK Rollups，还有 Optimistic Rollups。以下是两种方案的对比。
以 80 亿美元估值完成 1 亿美元 D 轮融资的 StarkWare 提供了两种使用 STARK 扩展以太坊的解决方案：StarkEx 和 StarkNet。
1.2 StarkEx
StarkEx 是一个需要许可的、为特定应用程序定制的扩展解决方案的框架。项目可以使用 StarkEx 来进行低成本的链下计算，生成证明执行正确性的 STARK 证明。这样的证明包含 12,000–500,000 笔交易。最后将证明发送到链上的 STARK 验证器，验证正确后接受状态更新。
StarkEx 提供了 3 种数据存储方式。在 ZK-Rollup 模式下，数据存储在链上，使数据去中心化，便于用户跟踪和监督。然而，在链上发布数据的成本高。在 Validium 模式下，数据存储在链下，低成本且不会把数据公开暴露。但需要数据可用性委员会来监督数据是否得到妥善处理。 Volition 是一种混合数据可用性模式，用户可以选择将数据放在链上还是链下。
在 StarkEx 上部署的应用程序包括永久期权 dYdX、NFT L2 Immutable、体育数字卡牌交易市场 Sorare 和多链 DeFi 聚合器 rhino.fi。
StarkEx 适用于独立运行且适合 StarkEx API 的协议。
1.3 StarkNet
StarkNet 是一个无需许可的 L2，任何人员都可以在其中部署以 Cairo 语言开发的智能合约。部署在 StarkNet 上的合约之间可以进行交互来构建新的可组合协议。
与应用程序负责提交交易的 StarkEx 不同，StarkNet 的排序器批量交易并发送它们进行处理和证明。
StarkNet 更适合需要与其他协议同步交互或超出 StarkEx 应用范围的协议。随着 StarkNet 开发的进展，基于 StarkEx 的应用将能够移植到 StarkNet，享受可组合性。
1.4 Cairo
Cairo 是用于 STARK 证明通用计算定制的编程语言, 使开发、审查和维护代码更简单、快捷，不受 EVM 限制，可以抛弃以太坊的历史负担做更复杂的计算如账户抽象，在游戏开发上也更加灵活，支持全链上游戏。StarkNet 本身不支持 EVM，但从 Solidity 到 Cairo 的转译器 Warp 将有助于以太坊原生项目移植到 StarkNet，成为大规模应用的基础设施。
1.5 SHARP(shared prover) 共享证明器
SHARP 技术允许来自 StarkEx 的不同应用以及 StarkNet 上发生的交易合并成一个证明，更快填满 STARK 证明的容量，提高交易处理速度并且分担验证 L1 证明的 gas 成本。
2. StarkNet 经济模型
StarkWare 已经在链下铸造了 100 亿个 StarkNet 代币。但是这些代币并不代表 StarkWare 的股权，也不提供任何参与 StarkWare 的权利或赋予任何向 StarkWare 提出索赔的权利。StarkNet 代币可以作为原生代币支付 Gas 费用，相比其他使用 ETH 做给 Gas 费用的 L2，StarkNet 代币更能捕获生态价值，且降低了 ETH 这外生代币带来的冲击。分配给核心贡献者和投资者的代币有一年的等待期和四年的锁定期，线性释放。
来源：StarkWare. https://medium.com/starkware/part-3-starknet-token-design-5cc17af066c6
StarkNet 明确给开发者和过去 StarkEx 用户奖励，但未明确 StarkNet 用户是否有空投。首次代币分配中有 8.1% 的代币还未决定用途，具体方式由社区决定。因此笔者猜想这部分代币有可能用于奖励 StarkNet 用户。此外,部署合约的项目方在获得空投奖励后，有可能会给应用的用户分配空投，反馈早期支持者。因此，用户可以根据需要正常使用 StarkNet 上有价值的应用。
3. StarkWare 融资情况
根据 Crunchbase 的数据，StarkWare 在七轮融资中总共获得 2.825 亿美元。
2022 年 7 月，Alameda Research 追加 950 万美元投资。但是 Alameda Research 已于 2022 年 11 月破产，这笔投资是否收到存疑。
以太坊基金会的拨款树立了 StarkWare 的正统性。
4.创始人
Eli Ben-Sasson
Eli 是 StarkWare 的联合创始人兼总裁，也是其董事会主席。
自从 2001 年获得希伯来大学理论计算机科学博士学位以来，他一直在研究密码学和计算完整性的零知识证明。Eli 是 STARK、FRI 和 Zerocash 协议的共同发明人，也是 Zcash 公司的创始科学家。多年来，他在普林斯顿高等研究院、哈佛大学和麻省理工学院担任研究职位。最近曾在以色列理工学院担任计算机科学教授，他离开该职位后和伙伴共同创立了 StarkWare。
Uri Kolodny
Uri 是 StarkWare 的联合创始人兼首席执行官，也是其董事会成员。
他拥有希伯来大学计算机科学学士学位（优等生）和麻省理工学院斯隆管理学院的 MBA 学位。Uri 是一位连续创业者，曾共同创立了几家科技公司，包括 Mondria（开发用于大数据可视化的工具）。之前，Uri 还曾在两家以色列风险投资公司帮忙孵化项目，并在麦肯锡公司担任分析师。
5. 竞争对手
StarkNet 与 zkSync、Optimism、Arbitrum 因为其受到的关注度被称为 L2 的四大天王。
Optimism 和 Arbitrum 采用乐观 rollup,开发难度较低，已经具有较为完善的生态系统，吸引了大量资金和用户，甚至走出了如 GMX，Gains Protocol 这样的优秀 L2 原生协议。
Vitalik 在 ETHSeoul 期间表示，虽然 Optimistic Rollups 更加发达，但 ZK Rollups 技术的基础将使其最终能够取代 Optimistic Rollups。虽然 ZK Rollups 速度更快，但它们缺少以太坊虚拟机 (EVM)，这使得运行 dApps 具有困难。因为 EVM 是 dApps 的主要处理单元。所以基于 ZK 的 Rollups 正在开发兼容 EVM 的方案。如果开发进程缓慢，则 ZK Rollups 有可能失去先发优势，让 Optimistic Rollups 稳坐宝座。这类似于以太坊和其他 L1 之间的竞争，虽然以太坊的性能不是最好的，但是凭借先发优势牢牢吸收住最多的资金和最优秀的开发者。
StarkNet 不仅面对采用 Optimistic Rollups 的 L2 竞争，也面对同样采用 ZK Rollups 的 L2 竞争。根据 Eshita Nandini 的总结，目前有多个 L2 正在构建 ZK EVM。
Type-1 是 ETH 等效，可 100% 无缝使用 EVM 基础设施，但证明过程很缓慢。Taiko 通过在零知识证明生成前快速确认最终性来减轻这一缺点。具体方式即只需证明过去状态 X 有效，且在 X 之后没有来自账户 A 的交易，因此用户可以提取其在状态 X 中的代币。目前已经完成 alpha-2 中测试了去中心化证明和协议经济学，其中有 126 位独立证明者，已证明了 93,146 个区块，证明时间在 130 到 160 秒之间。Taiko 目前已经弃用了 alpha-2,并将在第二季度推出 alpha-3。由于 Type-1 zkEVM 在实现等效性方面毫不妥协，具有较大的复杂性，今年可能不会有主网。
Type-2 EVM 等效，证明速度相对 Type-1 改善，但仍旧慢。Type2 是 Scroll，Linea 的目标,Polygon zkEVM 已经实现。Polygon zkEVM 主网 Beta 版本已经于 3 月 27 日如期上线。在主网 Beta 的第一阶段，专门的安全委员会将能够快速升级 Polygon zkEVM。在第二阶段，将采取一系列措施，以确保在出现任何问题时用户能够得到保护，但权力下放程度更高，并且没有具有特权访问权限的安全委员会。Gas Fee 以 ETH 支付，预计未来 Polygon zkEVM 中的质押和治理将使用 MATIC 代币，此外，Polygon zkEVM 通过 ERC-4337 支持帐户抽象，将允许用户使用任何代币支付费用。Scroll 和以太坊基金会一起开源开发 zkEVM,将通过并行计算和证明外包给旷工来缩短证明时间。Scroll 处于 Alpha 测试网阶段,可以进行跨链和转账,已经无障碍运行两个月，预计二季度上线主网。3 月 28 日，ConsenSys 宣布将 ConsenSys zkEVM 重塑为 Linea，目前向所有开发人员、用户或协议开放测试。Linea 通过 MetaMask 和 Truffle 等原生集成，将零知识证明与 EVM 等效性相结合，为开发者提供灵活性和可扩展性，无需 ZK 技术专业知识。Linea 采用多证明人系统，当代码中存在漏洞时，多重签名可以强制执行特定结果。通过这个系统，一个 rollup 将利用几种具有不同安全级别的证明机制，以消除单证明人 rollup 存在的单点故障风险。
Type-3 几乎 EVM 等效，更快的证明，但部分 app 需要重新开发。Type3 是 Scroll 目前所处的过渡阶段。Kakarot 是一个用 Cairo 编写的 zkEVM,作为 EVM 字节码的解释器，最终可能成为 StarkNet 上的 L3，目前归类 Type-3。
Type-4,将用高级语言如 Solidity 编写的智能合约源代码，编译成 ZK-SNARK 友好的语言。证明速度很快，但不太兼容。zkSync Era 已经上线，对普通用户开放。目前分担 zkSync gas fee 的用户不多，因此交互成本较高，部分项目方对 gas fee 进行了补贴。由于 Arbitrum 空投的财富效应，社区用户交互热情高涨，但是目前 zkSync 上土狗项目居多，发生了多起 rug pull 事件。StarkNet 使用 Warp 作为 Solidity 到 Cairo 的编译器。StarkNet 是目前唯一一个将其排序器和证明器去中心化的 zkEVM。但目前 StarkNet 还未发布生产级别版本，只适合用户小额交互体验,任务常常执行失败。
Vitalik 还提出了 Optimistic 和 ZK 混合的模式。zkEVM 成熟之前, 发布区块链等待 24 小时，如果没有欺诈挑战就发布零知识证明，确定区块。如果有挑战，就引入治理，通过 2 of 3 模式裁定。如果零知识证明时间能大幅缩短，另外一种混合模式就以发布零知识证明为主，只有当零知识证明未能正常发布，才使用 Optimistic Rollup。这既可能会是 StarkNet 的一条可选发展路径也可能会使竞争方式。
6.总结
StarkNet 采用了基于 STARK 的 Rollup 路线，虽然该方案相对于其他方案在去中心化、去信任、抗审查等方面有明显的优势，但是由于该方案的开发工具尚不成熟，研发难度也很大，性能还有待提升。
此外，虽然 StarkNet 已经得到了机构投资者的支持，但目前仍处于试用阶段，尚未完全成熟。StarkNet 下一阶段的重点是将现在由 Python 开发的 sequencer 升级为由 Rust 进行开发，提高区块链的性能。此外是提高生态内项目的丰富度和成熟度。加密原生用户可以去体验生态内项目，但需注意项目的风险，选择参与前需要进行充分的风险评估。虽然 StarkNet 具有抗量子攻击的特性，但是否会成为扩容的终局还有待观察。因此，对于 StarkNet 的未来发展，我们需要持续关注和评估。
区块链的安全性是整个生态系统的重中之重，底层基础层的安全性绝不能被忽视、妥协、让步、或折衷，否则整个生态系统与账本将会失去用户的信任。因此，在基础层的设计中，需要选择最为安全的共识算法，即使它的能源消耗可能很高。这个问题可以通过采用类似在纳斯达克上市的 Irish Energy Limited 所倡导的可再生能源挖矿来解决。相比之下，第二层的中心化程度可以更高，以实现更高的效率和灵活性。不管是底层还是上层，都需要遵循合理的设计原则，以确保整个生态系统的安全性和可靠性。任何依赖于以太坊基础层安全性的第二层或应用，都必须对基础层的共识算法有充分的信心，确保其安全性不受损害。这可能是社区面临的最大系统性风险。
（声明：请读者严格遵守所在地法律法规，本文不代表任何投资建议）
