掀起新狂潮：Layer2 闪耀明星Starknet深度报告

Arbitrum 空投的财富效应点燃了市场对L2的信心，Optimism 和 Arbitrum 先后尝试了生态发展和空投吸引用户的策略，市场份额已经体现了这一点。Layer2 四大巨头：Optimism、Arbitrum、zkSync、StarkNet，现在仅剩下后两者尚未宣布空投。80亿美元高估值的StarkWare自然是备受瞩目。

自2022年6月起，9牛Web3商学院与罗马DAO便全力布局并深度参与StarkNet项目。我们坚信其巨大潜力，投入大量资源以期待在2023年底收获成果。我们期待与全球Web3用户共享StarkNet项目的成功，共同推动Web3行业的繁荣发展。

StarkWare 是专注于开发零知识证明技术的公司，而 StarkNet 则是 StarkWare 团队推出的一项基于 STARK 零知识证明技术的区块链扩容解决方案。9牛商学院认为，StarkNet 作为 StarkWare 团队的杰出创新，其未来代币及潜在空投将在 Web3 领域引领一场崭新的财富狂潮，9牛商学院自2022年6月已经深度参与Starknet的数十个项目的建设。

随着 Layer2 生态日益成熟，以及 EIP-4844 有望显著降低 Rollup 成本，抢占用户将成为 Layer2 胜利的关键因素。在当前的市场状况下，zkSync 和 StarkNet 抢占市场的时间已所剩无几，项目之间的竞争以及用户的 FOMO 带来的财富效应使得 Layer2 Summer 迫在眉睫。

在 Layer2 四大巨头中估值最高（母公司 StarWare 估值 80 亿美金）的项目，StarkNet 生态项目的价值毋庸置疑。

StarkNet 已经于 2022 年 11 月 16 日宣布在以太坊主网上发布了其原生代币$STRK，用于投票、质押和支付费用，代币分配仍在决策中。接下来将介绍 StarkNet 及其生态内的重点项目。

StarkWare 介绍

1 项目概述

StarkNet 的母公司 StarkWare 成立于 2018 年，位于以色列，主要产品包括基于以太坊主网构建的扩容引擎 StarkEx 和通用型 ZK-Rollup StarkNet。StarWare 技术团队在 ZKP 领域拥有超过十年的研究和工程经验，2018 年首次提出使用 STARK有效性证明解决以太坊可扩展性问题，实现大规模可扩展性。

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 和其他参与者领投。

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 生态的割裂一直是需要被解决的问题。EVM 兼容是各种 zk 扩容方案争抢的高地，StarkWare 团队也在为此努力。

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 个项目部署并投入运行。其中，53 个项目已成功上线主网，覆盖了钱包、跨链桥、DeFi、NFT等多元化领域。以下将对各主要领域的优秀项目予以重点介绍。

3.1 钱包

3.1.1 Argent X

Argent X 是由 Argent 推出的 StarkNet 钱包，也是第一个支持 StarkNet 的钱包，其利用 StarkNet 原生的账户抽象特性来实现多重签名和无助记词特性，同时借助 StarkNet 优秀的性能实现更低的交易费用和更快的确认时间进行交易。

Argent 于 2022 年 4 月获得 4000 万美金的 B 轮融资，由 Fabric Ventures 和 Metaplanet 领投。

3.1.2 Bravvos

Bravvos 同样是一个运行在 StarkNet 上自托管账户抽象钱包。Bravvos 致力于提供提供无缝的 Web2.0 用户体验，可在 iOS、安卓以及多种浏览器上使用，同时消除了助记词，让用户能够恢复账户。

Bravvos 于 2022 年 10 月宣布完成 1000 万美金融资，由 Pantera Capital 领投。

3.2 跨链桥 

3.2.1 StarkGate

StarkGate 是由 StarkWare 开发的以太坊 Starknet 官方跨链桥，帮助用户在以太坊和 StarkNet 间实现 ETH 和 ERC-20 代币的跨链交易。

StarkGate 与以太坊之间的桥接器通过 StarkNet 的消息传递机制进行通信，并基于 STARK 的计算压缩能力实现低成本交互。

3.2.2 Orbiter Finance

Orbiter Finance 是一个去中心化的跨 Rollup 桥，能够让用户在 ETH 主网、StarkNet、 zkSync、Loopring、Arbitrum、Optimism、Polygon、ZKSpace、Immutable X、dYdX、Metis、BNB Chain 和 Boba 之间进行资产跨链。

Orbiter 桥通过独特的做市商模式，让用户获得了手续费低、速度快等优秀体验，但其目前仅支持 ETH、USDC、USDT、DAI 四个币种的转账。

Orbiter 于 2022 年 11 月完成首轮融资，Tiger Global、Matrixport、A&T Capital、StarkWare、Cobo、imToken、Mask Network、Zonff Partners 等参投，融资金额未披露。此外，Vitalik 还曾向其捐赠 16 ETH。

随着 Layer2 生态的迅速发展，市场对于各个项目的关注度也在逐渐提高。为了在竞争激烈的环境中脱颖而出，各大项目需要加快技术迭代和生态建设，提升用户体验和扩大生态影响力。

在现有的 Layer2 解决方案中，Optimism 和 Arbitrum 已经通过空投的方式吸引了大量用户。而对于尚未进行空投的 zkSync 和 StarkNet，如何在有限的时间内抢占市场份额成为了迫在眉睫的问题。在这种背景下，九牛商学院认为，未来一段时间内，这两个项目将在技术创新、生态拓展以及社区建设等方面加大投入，未来代币及潜在空投将在 Web3 领域引领一场崭新的财富狂潮。

在这个过程中，九牛商学院认为i会出现更多有趣和具有创新性的应用，为用户带来全新的体验。而对于投资者来说，关注这些项目的发展动态和市场表现，将有助于在 Layer2 领域抓住更多的投资机会。

总之，Layer2 生态将在未来持续发展壮大，各大项目间的竞争将更加激烈。这将使得整个区块链行业不断迭代和进步，为用户和投资者带来更多的价值和机遇。