Arbitrum 空投的财富效应点燃了市场对 L2 的信心，Optimism 和 Arbitrum 先后尝试了生态发展和空投吸引用户的策略，市场份额已经体现了这一点。Layer2 四大巨头：Optimism、Arbitrum、zkSync、StarkNet，现在仅剩下后两者尚未宣布空投。80 亿美元高估值的 StarkWare 自然是备受瞩目。
同时 StarkNet 也是我们社区深度参与的项目，坚信其巨大潜力，投入大量资源以期待在 2023 年底收获成果。
StarkWare 介绍
一
项目概述
StarkNet 的母公司 StarkWare 成立于 2018 年，位于以色列，主要产品包括基于以太坊主网构建的扩容引擎 StarkEx 和通用型 ZK-Rollup StarkNet。StarWare 技术团队在 ZKP 领域拥有超过十年的研究和工程经验，2018 年首次提出使用 STARK 有效性证明解决以太坊可扩展性问题，实现大规模可扩展性。
01
内容介绍
StarkEx：专为应用程序设计的二层可扩展性引擎，为每个应用提供专门的 Rollup 技术服务。自 2020 年起已正式上线以太坊主网，相对成熟。目前基于 StarkEx 开发的项目包括 Sorare、ImmutableX、dYdX、ApeX 等知名项目。
StarkNet：通用型 Rollup，可以部署任意智能合约，无需为特定应用进行定制开发。StarkNet 于 2021 年 11 月上线以太坊主网，目前有 50+ 项目上线主网，100+ 项目上线测试网。
StarkWare 在 7 轮融资中累计已获得 2.73 亿美元融资，2018 年 1 月完成 600 万美元种子轮融资，同年 7 月获得以太坊基金会的 1200 万美元赠款；
2021 年 3 月份完成 Paradigm 领投的 7500 万 B 轮融资，同年 11 月份完成 5000 万美元 C 轮融资，投资方包括 Paradigm、Alameda Research、Three Arrows Capital 等；
2022 年 5 月 25 日，StarkWare 以 80 亿美元估值完成 1 亿美元 D 轮融资，Greenoaks Capital、Coatue、Tiger Global 和其他参与者领投。
02、2
技术架构与亮点
与其他基于有效性证明的 zk-rollup 方案类似，StarkNet 和 StarkEx 采用「链下计算 - 生成 zk 证明 - 链上验证」的形式来实现对以太坊的扩容。然而，通过独创的 zk-STARK 零知识证明算法、zk 友好的编程语言 Cairo、SHARP 共享验证器，它们实现了高交易处理速度和低成本等特性。
2.1 独创的 zk-STARK 零知识证明算法
zk-STARK 是 StarkWare 创始人 Eli Ben Sasson 在 2018 年的一篇论文中提出的，全称为 Zero-Knowledge Scalable Transparent Argument of Knowledge，具有可扩展和透明等优良特性。
透明性：ZK-STARK 可以在没有公共参考字符串（CRS：Common Reference String）的可信设置的情况下工作。相反，使用可公开验证的随机性来建立证明者和验证者之间的交互，减少了用户的信任假设并提高了基于 STARK 的协议的安全性。
可扩展性：STARK 具有验证的对数压缩特性，可以实现更快的验证速度。当证明一个命题所需的时间为 T 时，验证证明所需的时间仅为 log (T)。这种特性使得 STARK 可以通过递归来实现低成本和降低大型组合命题延迟等特性，从而实现可扩展性。
2.2 Cairo 编程语言
Cairo 为 StarkWare 团队于 2020 年发布的图灵完备编程语言，让不了解 STARK 的开发者也能够 Cairo 来使用 STARK 实现可验证计算。
通过 Cairo 编写的程序，可以将计算结果通过 STARK 证明器直接转化成可证明的多项式方程，由此让智能合约与零知识证明实现良好的兼容性。Cairo 是为 STARK 而生的编程语言，两者相结合可以最大程度释放 STARK 的潜力，但其与 EVM 生态的割裂一直是需要被解决的问题。
2022 年 10 月末，StarkNet 便宣称使用 Cairo 开发出 ZK-EVM，同时以太坊客户端 Nethermind 正致力于开发 Solidity 到 Cairo 的编译器 Warp，以实现 StarkWare 对 EVM 的兼容性。团队宣称目前 Wrap 已经支持将 Uniswap V3 重写为 Cairo 代码。随着 StarkNet 真正投入生产环境，不同方案兼容性的实际效果将会得到检验。
2.3 SHARP 共享证明器
SHARP 即共享证明器 (SHARed Prover)，是 StarkEx 和 StarNet 生成零知识证明的 Prover。SHARP 可同时为 StarkEx 和 StarNet 生成有效性证明，因此可以聚合不同的 StarkEx 应用以及 StarkNet 上发生的交易，并在一个单一的 STARK 证明中证明，以此实现更快填满 STARK 证明的容量，从而提高交易处理速度和降低延迟。
递归证明是下一代前沿技术，不仅适用于一些硬编码逻辑，而且适用于通用计算。SHARP 与 STARK 结合后，能够让整个 StarkWare 生态内的交易良好实现递归的性质，带来极致的可拓展性。
据 StarkNet 官方数据显示，StarkNet 生态中已有超过 100 个项目部署并投入运行。覆盖了钱包、跨链桥、DeFi、NFT 等多元化领域。
二
StarkNet 的 PoS 创新
长久以来 PoS 作为 L1 项目的共识机制被人们熟知，StarkNet 是第一个采用 PoS 的 L2 Rollup 项目。采用 PoS 的 StarkNet 作为一个 L2 项目可以打破长期存在于 L2 上的 MEVA 困境，降低用户支付成本，改善平台体验，缓解网络拥堵情况，还将极大提高 L2 收入上限。