Starknet 公链全景｜STARK Rollup 与 Cairo VM 全维度解析
Starknet 是 StarkWare 2021 年推出的以太坊 L2，路径选择上不走 zkEVM，而是用自研 Cairo VM 搭配 STARK 有效性证明。本页基于真实链上数据，拆解 Starknet 的共识机制、性能指标、生态结构与同类对手对比，帮助你判断这条链当下的位置与方向。
Starknet 不是「另一条更快的以太坊 L2」，它是一次完全不同技术路径的押注。和 Arbitrum、Base 用乐观挑战机制不同，Starknet 直接生成 STARK 证明上链，每笔交易都被密码学验证；和 Scroll、X Layer 模拟 EVM 不同，Starknet 让开发者用 Cairo 语言重新写合约，换取更高的证明效率和原生密码学能力。这条路径决定了它的生态画像与众不同——当前 TVL 1.84 亿美元中，最大头不是 DEX 而是 BTC Staking ($43.1M) 与借贷 (Vesu $15.3M)，反映 Starknet 正在把自己定位为「BTC 与密码学原生 DeFi 层」而非通用 L2。如果你关心的是密码学前沿、原生账户抽象（Argent X、Braavos 的丝滑钱包体验背后就是这套设计）、或想押注 BTC 在 L2 上的收益叙事，Starknet 值得深入了解。本页提供共识细节、TPS/最终性真实数据、生态前八大协议、与 Base/Arbitrum/Scroll 等同类 L2 的逐项对比，所有数据均来自 DeFiLlama 与官方文档，不掺杂主观叙事。
关于 Starknet
Starknet 由 StarkWare 团队开发，2021 年 11 月 29 日以 Mainnet Alpha 形式登陆以太坊主网，是历史上第一个在生产环境跑起来的通用 STARK 有效性 Rollup。它与 Arbitrum、Optimism 不同——后者用乐观挑战机制做欺诈证明，Starknet 直接生成 STARK 零知识证明上链,每个区块都被密码学验证，从根本上绕开了 7 天提款窗口的乐观假设。这条技术路径决定了 Starknet 不是一条「快速 EVM」，而是把以太坊的扩容押注在密码学证明系统本身。
Starknet 的虚拟机不是 EVM，而是为 STARK 友好性专门设计的 Cairo VM。这是它和 Scroll、X Layer、zkSync Era 等 zkEVM 路线最根本的分歧：zkEVM 要在证明系统里硬塞 EVM 字节码语义，性能和成本受 EVM 历史包袱拖累；Starknet 让开发者用 Cairo 语言重新写合约，换取证明效率更高、密码学原语表达更原生。代价是生态迁移阻力大、Solidity 工具链无法直接复用，这也是 Starknet TVL（$184.4M）至今显著落后于 Base（$38.4 亿）、Arbitrum（$12.4 亿）的核心原因之一。
经济模型上，Starknet 在 2024 年 2 月 20 日正式发行 STRK 代币并完成空投，但 gas 费仍可用 ETH 支付——这是它和大部分 L2 的差异点：用户体验不强制持有原生代币。STRK 主要服务于质押、治理和未来去中心化排序器场景。值得注意的是当前 TVL 结构中最大的单一类别是「Starknet BTC Staking」($43.1M, 占比 23%)，这反映出 Starknet 正在主动开拓「BTC 收益层」叙事，把比特币持有者引入 Cairo 生态。
原生账户抽象（Native Account Abstraction）是 Starknet 区别于所有以太坊 L2 的另一项底层设计。在 Ethereum 主网，账户抽象只能通过 ERC-4337 在合约层模拟；Starknet 从协议层把每个账户都做成可编程合约钱包，这就是 Argent X 和 Braavos 这类钱包能直接提供多签、社交恢复、Session Key 而无需 ERC-4337 中间层的原因。这套设计让 Starknet 在用户体验维度真正甩开多数 L2。
Starknet 技术参数
Starknet 的技术栈由三部分组成：STARK 有效性证明系统、Cairo VM、与协议级原生账户抽象。这三者共同决定了它在 EVM L2 大类里的独特定位——既不是乐观 Rollup，也不是 zkEVM，而是「ZK 原生应用链」。
| 共识 | Validity rollup (STARK proofs) inheriting Ethereum PoS |
|---|---|
| VM | Cairo VM |
| 出块 | 2.5 s |
| 终结 | 1.5 h |
| TPS | 3 typical / 992 max |
| Gas Token | STRK / ETH (gas) |
| 上线 | 2021-11-29 |
| 代币标准 | Cairo native (ERC-20-like / ERC-721-like) |
| 地址格式 | hex (felt252, up to 252 bits) |
共识机制
Starknet 本身没有独立的共识，它继承以太坊 PoS 的安全性，自己负责的是「有效性证明」环节。流程是这样的：用户在 Starknet L2 发送交易，由 StarkWare 运营的排序器（Sequencer）打包并执行，每隔一段时间把一批交易压缩成一个 STARK 证明，再把证明和状态根一起提交到以太坊 L1 主网。主网上的验证合约用密码学方法验证这个证明——通过则状态变更被以太坊承认。这套机制与 Arbitrum、Optimism 的乐观挑战机制有本质区别：乐观 Rollup 默认假设排序器诚实，给 7 天挑战期等人来反证；Starknet 则不需要任何挑战期，证明本身就是数学保证。代价是证明生成成本高、周期长——这就是 5400 秒最终性数字的来源。2025 年 2 月 1 日上线的 Cairo Native sequencer 把执行环节的性能提升一个数量级，也是 Starknet 走向去中心化排序器的关键铺垫。
性能解读
Starknet 当前典型 TPS 为 3，理论上限 992 TPS，区块时间 2.5 秒，最终性 5400 秒（90 分钟）。这组数字需要放在真实场景里理解：3 TPS 不是协议能力上限，而是当下用量没把容量用满；2.5 秒区块时间用户感知上几乎是即时确认；90 分钟最终性听起来长，但相比 Arbitrum、Optimism、Base 这类乐观 Rollup 的 7 天（604800 秒）挑战期反而短了 100 倍以上。横向对比 Scroll（3600 秒）、Base（780 秒），Starknet 的最终性确实偏慢——这是 STARK 证明体积大、生成慢的固有特征，下一代 Stwo prover 上线后会显著改善证明生成速度，从而压缩端到端最终性。
Starknet 生态地图
Starknet 当前总 TVL 约 1.84 亿美元，生态结构与 Arbitrum、Base 这类 zkEVM/Optimistic L2 完全不同：BTC 质押、借贷与流动性质押合计占据近 80% 的资产沉淀，DEX 类协议明显处于弱势。这种格局是 Cairo VM 的迁移成本和 Starknet 主动选择「BTC 收益层」定位共同造成的。
Staking
Starknet BTC Staking ($43.1M TVL) 是当前生态第一大协议，由 Starknet 基金会主导推出，把 BTC 引入 Cairo 生态获取收益，是 Starknet 差异化叙事的核心抓手。
Lending
Vesu ($15.3M TVL) 是 Starknet 上 TVL 第一的借贷协议，采用模块化隔离市场设计；Nostra Money Market ($3.2M) 是另一个综合性借贷与稳定币协议。
Liquid Staking
Endur ($7.2M TVL) 是 Starknet 原生流动性质押解决方案，把 STRK 质押收益代币化为 xSTRK，可在 DeFi 中二次使用。
Yield
Troves ($4.0M TVL) 提供策略化收益聚合，串联 Starknet 上多个借贷与 LP 头寸。
DEX
JediSwap V1 ($0.70M)、10KSwap ($0.68M)、mySwap V1 ($0.61M) 是 Starknet 主要 AMM，但流动性深度仍远低于以太坊 L2 同类产品。
Wallet
Argent X 与 Braavos 是 Starknet 原生账户抽象钱包代表，从协议层直接获得多签、社交恢复、Session Key 能力——EVM L2 上同类功能要靠 ERC-4337 合约层模拟，体验丝滑度与 Gas 成本仍明显落后于 Starknet 的原生方案。
| # | 协议 | 类别 | TVL |
|---|---|---|---|
| 1 | Starknet BTC Staking | Staking Pool | $43.10M |
| 2 | Vesu | Lending | $15.28M |
| 3 | Endur | Liquid Staking | $7.20M |
| 4 | Troves | Yield | $4.01M |
| 5 | Nostra Money Market | Lending | $3.18M |
| 6 | JediSwap V1 | Dexs | $701.62K |
| 7 | 10KSwap | Dexs | $681.86K |
| 8 | mySwap V1 | Dexs | $610.95K |
Starknet 与同类链对比
Starknet 归属 EVM L2 大类，但在这个分组里其实是「最不 EVM」的那一个。对比同组的 Arbitrum、Optimism、Base、Polygon、X Layer、Scroll、Abstract，差异主要集中在 VM 路径、证明系统与生态成熟度三个维度。
| 链 | 出块 | 终结 | TPS | TVL |
|---|---|---|---|---|
| Arbitrum | 250 ms | 168 h | 40 | $1.24B |
| Optimism | 2 s | 168 h | 30 | $0.00 |
| Base | 2 s | 13 min | 1.5k | $3.84B |
| Polygon | 2 s | 5 s | 60 | $1.05B |
| Starknet当前 | 2.5 s | 1.5 h | 3 | $184.41M |
| X Layer | 2 s | — | 100 | $73.95M |
| Scroll | 3 s | 1 h | 30 | $10.79M |
| Abstract | 1 s | — | — | $11.13M |
对比洞察
- VM 是 Starknet 与所有同组对手最大的分水岭。Arbitrum、Optimism、Base 用 EVM（OP Stack / Nitro），Scroll、X Layer、Abstract 用 zkEVM，只有 Starknet 用 Cairo VM——这意味着 Solidity 代码无法直接迁移。技术上 Cairo 在证明效率上有结构性优势，但生态吸引力侧付出明显代价：TVL $1.84 亿对比 Base 的 $38.4 亿、Arbitrum 的 $12.4 亿差了 1—2 个数量级。
- 证明系统上 Starknet 走 STARK（无可信设置、抗量子、证明生成可大规模并行），同组的 Scroll 早期用 Halo2 + IPA（透明、无可信设置）现迁移到 OpenVM，X Layer 用 Polygon CDK 的 PLONK 系（涉及通用可信设置）。STARK 证明体积比 SNARK 更大（典型几十到几百 KB vs SNARK 几百字节），但避开了可信设置仪式的信任成本。Arbitrum、Optimism、Base 则走乐观挑战机制，安全模型完全不同——它们的「最终性」要等 7 天（604800 秒）挑战期，而 Starknet 的证明上链周期约 5400 秒，安全等待时间反而短了 100 倍以上。
- TPS 数据上 Starknet 的典型吞吐仅 3 TPS，远低于 Base 的 1500 TPS、Arbitrum 的 40 TPS，理论上限 992 TPS 也明显低于 Base 的 3571 TPS。这反映 Starknet 当前用量本身偏低，而非协议天花板——证明系统的吞吐受限于证明生成速度，下一代 Stwo prover 上线后这一数字预计还会显著提升。
- gas 资产灵活度上 Starknet 是 EVM L2 大类里唯一同时支持 STRK 和 ETH 双重 gas 的链。Arbitrum、Optimism、Base、Scroll 仅 ETH，Polygon、X Layer 必须用原生代币，Abstract 走 ETH 单一资产。这一设计对新用户友好，但对原生代币的价值捕获是双刃剑。
- 账户抽象路径上 Starknet 是 EVM L2 中唯一在协议层原生支持账户抽象的链。其他 EVM L2 要做 AA 都要走 ERC-4337 合约层模拟，多了一层 EntryPoint 合约开销，Gas 成本与 UX 流畅度都不如 Starknet 的原生方案——这是 Argent X、Braavos 钱包能直接提供丝滑社交恢复、Session Key 的根本原因。
Starknet 历史时间线
Starknet 的历史可以分为三段。2021 年 11 月 29 日 Mainnet Alpha 上线，是当时市场上第一个把通用 STARK 有效性证明跑到以太坊主网的产品——比 zkSync Era、Polygon zkEVM、Scroll 都早。早期合约语言 Cairo 0.x 不开放给外部开发者，主网容量也极有限，主要服务于 dYdX V3、Sorare 等几个旗舰合作方。2022—2023 年 Cairo 1.x 全面重写，引入更现代的 Rust-like 语法，并开放公开部署，生态进入第一轮扩张。2024 年 2 月 20 日 STRK 代币正式上线并空投，标志着 Starknet 从基金会主导的研究项目转向社区驱动的开放生态。此后 fee market 与 paymaster 机制陆续落地，gas 体验大幅改善。2025 年 2 月 1 日 Cairo Native sequencer 上线，把排序器执行性能提升一个数量级，是 Starknet 迈向去中心化排序器与更高吞吐的关键里程碑。同期生态结构开始倾斜——BTC Staking、Vesu 借贷、Endur LST 替代 DEX 成为 TVL 主力，反映了 Starknet 主动从「通用 L2」收敛到「BTC 与密码学原生 DeFi 层」的战略调整。截至本页生成时（2026 年 6 月），Starknet 尚无重大主网事故记录，但需要承认它在 TVL 与活跃地址数上仍显著落后于 Base、Arbitrum，是这条技术路径在生态侧的真实代价。
- 2021-11-29launchMainnet Alpha launch
- 2024-02-20milestoneSTRK token launch and airdrop
- 2025-02-01upgradeCairo Native sequencer rollout
开发者速查
Starknet 主网 RPC：https://starknet-mainnet.public.blastapi.io；官方文档 docs.starknet.io；主流区块浏览器 starkscan.co（社区另有 voyager.online）。地址格式不是 EVM 的 20 字节十六进制，而是基于 felt252 的 252 位有限域元素，最长可达 64 个 hex 字符，与以太坊地址不互通——这是接入 Starknet 时最容易踩的坑。合约语言用 Cairo（当前主推 Cairo 1.x），开发框架以 Starknet Foundry、Scarb 为主；客户端 SDK 推荐 starknet.js（前端）和 starknet-rs（Rust）。钱包侧 Argent X 和 Braavos 是双主流选择，Ledger 硬件钱包通过 Argent X 接入，跨钱包标准走 WalletConnect。
Starknet 到账速度横向对比
条越短代表确认越快。实际到账还受网络拥堵影响，仅供参考。
Starknet 资产覆盖度对比
条越长代表该链上可兑换的资产越多。
Starknet 常见问题
不是。Starknet 用的是 Cairo VM，不直接执行 EVM 字节码。这意味着 Solidity 合约不能直接部署，需用 Cairo 语言重写。它与 zkSync Era、Scroll、Polygon zkEVM、X Layer 这类「在 ZK 证明系统里模拟 EVM」的方案是不同技术路径。Cairo VM 的优势是证明系统效率更高、可表达密码学原语更原生；代价是迁移成本与开发者教育门槛。
约 5400 秒（90 分钟）。这个数字反映的是 STARK 证明生成与上链验证的端到端周期。对比 Base 的 780 秒、Scroll 的 3600 秒，Starknet 当前的证明节奏偏慢，但每个证明覆盖的交易批次也更大。这与 Optimism、Arbitrum 这类乐观 Rollup 的 7 天（604800 秒）挑战期是两种完全不同的安全模型——后者是「等没人挑战」，Starknet 是「等证明上链」。
可以同时用 STRK 或 ETH 支付 gas，由用户选择。这点与 Arbitrum、Optimism、Base、Scroll 仅用 ETH 不同，也和 Polygon、X Layer 必须用原生代币不同。STRK 在 2024 年 2 月 20 日上线并完成空投，但生态侧仍保留 ETH 作为 gas 选项，降低新用户进入摩擦。
目前排序器（Sequencer）由 StarkWare 运营，处于「Stage 0/1」之间——可由开发者强制下链交易（escape hatch），但实时排序仍是中心化的。2025 年 2 月 1 日上线的 Cairo Native sequencer 是迈向多排序器与最终 Stage 2 去信任化的关键升级。这一进度与多数主流 L2（Arbitrum、Optimism、Base 都尚未完全去中心化排序器）大致同步。
Starknet BTC Staking 是当前生态第一大协议，占 TVL 约 23%。这是 Starknet 战略上主动选择的差异化方向：把 Cairo VM 的密码学能力定位为「BTC 的收益层」，让长期持有 BTC 的用户在不放弃比特币主权资产的前提下获得链上收益。这条路径与 Base 押注 USDC + Coinbase 流量、Arbitrum 押注 DeFi 蓝筹的策略完全不同。