喊了好几年的 StarkNet，到 2026 年到底走到哪一步了？

StarkWare 团队 2021 年公开喊"我们做 zk L2"的时候，整个加密圈几乎没有人质疑这件事的技术含量，但所有人都在问一句话：你们到底什么时候能跑起来？2026 年这个问题终于有了清晰答案——StarkNet 已经在跑，而且跑成了一种和 Optimism、Arbitrum、zkSync 完全不同的形态。本文不重复"什么是 zk Rollup"这种入门内容（这部分可以看 zk Rollup 是什么），而是把 StarkNet 当下的真实进度按维度拆开。

一句话定位 StarkNet 现在的位置

如果把以太坊 L2 这张图按"路线选择"做象限：

• 横轴：Optimistic vs ZK
• 纵轴：EVM 等价 vs 自有 VM

那么 Arbitrum / Optimism / Base 都在"Optimistic + EVM 等价"那一格，zkSync Era / Scroll / Linea 在"ZK + EVM 等价"那一格，StarkNet 单独占据"ZK + 自有 VM (Cairo)"那一格。Polygon zkEVM 介于两者中间。这种独占象限解释了 StarkNet 为什么发展节奏不同——它既要做技术，又要重建工具链生态。

Cairo 进化到什么程度

StarkNet 上的智能合约用 Cairo 写，2026 年用的是 Cairo 1.x（更确切地说是 Cairo 2.x 系列）。Cairo 1 在 2023 年中替换掉了原来的 Cairo 0，Cairo 1 把语法做得更接近 Rust：

• 借用 Rust 的所有权和生命周期心智模型
• 强类型 + 模式匹配 + 显式错误
• 编译器把 Cairo 源码编译成 Sierra（中间表示），再编译成 CASM（实际证明的字节码）

Sierra 这一层是 Cairo 1 最关键的改动——它保证了所有 Cairo 程序都能完整证明（不会因为某些异常路径无法生成证明）。Cairo 0 时代你写错代码会让 Prover 直接卡住，Cairo 1 把这个问题解了。

2026 年最显眼的工具链进展：

• scarb（包管理器）成为事实标准，体验接近 cargo
• starknet-foundry 把测试、部署、fork-test 等工程化做到了和 Foundry 同档
• Cairo VM in Rust 上线，让本地模拟器的速度比 Cairo 0 时代快 50 倍以上

不过，Cairo 对新开发者仍然有学习曲线。一个写过 Solidity 的人切换到 Cairo，需要重新理解"无符号数学、felt 类型、storage trait"这些概念。StarkNet 的开发者社群因此天然小于 Solidity 圈，是它增长慢的一个直接原因。

proof recursion：让"证明的证明"上链

StarkNet 这两年最被低估的工程突破是证明递归 (proof recursion)。简单说：

• 第一代 STARK 证明：每个 block 生成一个 proof，提交到 L1，L1 验证
• 第二代递归证明：把多个 block proof 聚合成一个更大的 proof，再生成一个"证明那些证明都对"的 proof
• 第三代递归 + Stone Prover：把递归层级压到 3-4 层，最终上链的只是顶层一个证明

实际效果：

更直白的说法：StarkNet 把"我每条 batch 都得在 L1 烧 200 万 Gas"砍成了"我每个递归批次只烧 100 万 Gas，而一个递归批次里塞了几十个原始 batch"。这是 StarkNet 的费用能跟上 EIP-4844 是什么 之后整个 L2 降费节奏的核心原因。

应用链 (App-chain) 体系

StarkNet 还在做另一件野心更大的事——把自己的技术栈做成应用链框架：

• Madara：用 StarkNet 协议栈搭一条独立应用链的开源框架
• Karnot / Kakarot Rollup：基于 Madara 的具体应用链实现
• Paradex / dYdX v4 衍生品链：直接基于 Cairo + STARK 跑的高性能交易应用链

这种应用链模式和 Cosmos appchain、OP Stack 的 superchain、Polygon CDK 都是同一方向的产物，但 StarkNet 的优势在于"应用链证明可以汇总回 StarkNet 主链再上 L1"——形成一个三层的递归证明树。如果这件事真正跑起来，意味着 L2 不再是单链，而是一个证明聚合网络。

TVL 与活跃度：还在追赶

把 StarkNet 现在的数据放回到 L2 整体格局里：

数据上 StarkNet 仍然是头部 L2 里的"小个子"。原因不是技术问题，而是生态吸引力问题——Cairo 学习成本 + 没有强用户漏斗（不像 Base 背后有 Coinbase），让它增长一直慢。但 StarkNet 做对的一件事是吸引了对性能极敏感的细分应用（高频衍生品、ZK 数学协议、链上游戏），这些应用愿意接受 Cairo 学习成本来换取性能边界。

AA 体验是 StarkNet 不应被忽视的护城河

StarkNet 是第一个原生集成账户抽象的 L2——它没有 EOA 概念，所有账户都是合约账户。这意味着：

• 用户从第一天起用的就是智能账户
• 多签、社交恢复、Passkey 登录是标配，不是 ERC-4337 这种"补丁"
• 支付 Gas 可以用任意 ERC-20，无需 Paymaster 中间层

这一点在 智能账户 2025 趋势 里讲过，但要强调：StarkNet 把 AA 当默认行为，其他 L2 仍在做适配，这个体验差距在 2026 年还很显著。

风险与不确定

第一，开发者生态规模。Cairo 团队数量仍远少于 Solidity 团队，长尾应用难以快速生长。

第二，与 EVM 的兼容性问题。Kakarot 项目想把 EVM 跑在 Cairo 之上，进展缓慢，跨 L2 套利、跨 L2 桥工具对 StarkNet 支持比对其他 zk L2 差。

第三，去中心化排序器进度。StarkNet 的 sequencer 仍由 StarkWare 主导，2026 年中虽公布了去中心化方案 (SN Stack)，但完整切换尚未发生。

第四，STRK 代币经济仍待考验。2024 年发行后经历了较大波动，2026 年价格相对稳定，但激励发放和实际生态生长的关系仍是争议点。

第五，与 zkSync / Scroll 同质化竞争压力。所有 zk L2 都在拼 EVM 等价的便利体验，StarkNet 的"Cairo 独占"会被外界长期质疑是否值得。

把 StarkNet 当作什么

如果你是普通用户：可以把 StarkNet 当作 Layer2 入门指南 提到的 L2 选项里的"小众但成熟"的一个，体验 AA 的话非常值得开个账户跑跑。

如果你是 DApp 开发者：除非你做高性能衍生品、ZK 数学协议、链上游戏，否则切到 Cairo 的迁移成本短期难回本。

如果你是基础设施开发者：StarkNet 的 Stone Prover + Madara 应用链体系是研究 ZK 工程的最丰富参考之一。

2026 下半年值得跟踪的几条进度线

• Cairo VM 全 Rust 化、benchmark 进展：决定开发者本地体验
• 递归证明上 L1 频率与单次成本：是 StarkNet 长期费用竞争力的根
• Madara 衍生应用链是否突破 5 条独立主网：决定 App-chain 战略是否成立
• StarkNet 与 zkSync / Scroll 是否在跨链 ZK 验证上互通：决定多 zk L2 是否能合并为一个证明网络
• STARK 证明的硬件加速进展（GPU/ASIC 出货）：决定 prover 成本能否再砍一半

把这五条当 StarkNet 接下来 6-12 个月的观察清单。StarkNet 一直都是 zk L2 里最"技术驱动"的那家，它的故事不是"快速增长"，而是"长期累积"——每过 6 个月再回头看，那些技术节点会一步步显化成生态指标。