Arbitrum Stylus 让 Rust 真的跑在 L2 上之后，到底改变了什么？
Arbitrum Stylus 在 2025 年 2 月正式登陆 Nitro 主网，这件事在主流加密媒体的标题里被压缩成一句"L2 现在支持 Rust 了"。如果你只是写写 Solidity，第一反应可能是"那我也没什么必要换"。但 Stylus 这件事的影响要比"多了一门语言"大得多——它第一次让 EVM 体系内出现了一个和 EVM 并列、共享同一套状态的执行环境，而且这个新环境的 Gas 模型、性能边界、可移植性都和 Solidity 时代不一样。
Stylus 到底是什么
Stylus 是 Arbitrum 在 Nitro 之上加的第二个虚拟机。Nitro 自带的是兼容以太坊的 EVM，Stylus 加入的是基于 WebAssembly (WASM) 的虚拟机。两个 VM 共享同一份链上状态——意味着一个 Rust 合约可以直接读写 Solidity 合约里的数据，反过来也一样。这种设计的关键在于"共享 storage"，不像跨链桥那种需要消息传递的解耦关系。
简而言之，Stylus 给开发者的是：
- 可以用 Rust、C、C++ 写智能合约，编译成 WASM
- 合约部署到 Arbitrum 一段独立字节码空间
- 调用时由 Stylus VM 执行，但状态读写直达 EVM 同一个存储槽
- Gas 计量改用一套和 EVM 不同的指标
理解 Arbitrum/Optimism/Base 三家对比 时常被忽略的一点是：Arbitrum 是头部 L2 里唯一把"多语言执行"做到主网生产级别的，这件事可能比它 TVL 第一更长期。
为什么是 WASM，不是 Move 或 Sealevel
理论上把 EVM 之外再加一个执行环境，可以选 Solana 的 Sealevel、Sui 的 Move、Cosmos 的 CosmWasm，但 Arbitrum 选了 WASM，原因有三：
- 工具链成熟：Rust、C++、Go 都能编译到 WASM，开发者门槛比 Move 低
- 审计经验丰富：WASM 在浏览器、CDN、边缘计算用了多年，安全模型经过实战
- EVM 互操作易做：WASM 是栈式 VM，与 EVM 字节码层接口易桥接
但 WASM 也有代价：WASM 没有"自带 ABI 标准"，Stylus 需要自己定义 host function 接口，开发者第一次写时会觉得"和裸 Solana 差不多陌生"。
Gas 模型为什么完全不同
Solidity 时代的 Gas 模型是按 EVM opcode 计费的：SSTORE 多少 Gas、CALL 多少 Gas，每一条都明码标价。Stylus 不同，它把 Gas 拆成两部分：
- 计算 Gas：按 WASM 指令执行的 CPU 周期估算，远比 EVM 便宜
- 存储 Gas：和 EVM 同源同价（共享存储），SSTORE 价格不变
实际跑下来：
- 纯计算密集型合约（比如签名验证、ZK 证明、ML 推理）：Stylus 比 Solidity 便宜 10-100 倍
- 纯存储密集型合约（比如 ERC-20 转账）：Stylus 几乎没省，因为 SSTORE 是瓶颈
- 混合型合约（比如 DEX 撮合）：节省约 30-50%
这就解释了 Stylus 上线一年多以来真正爆发的项目类型——大量"链上做以前必须放链下做"的事情，比如链上 BLS 聚合签名、链上 zkSNARK 验证、链上 ML 模型推理。Solidity 写这些代码 Gas 高到不可行，Stylus 直接把它们拉回链上。
一个具体例子：链上 ML 推理
举一个让"为什么 Stylus 重要"看得最清楚的场景。假设你想在链上跑一个小型神经网络做实时风控判断（比如一个 DeFi 协议做地址信用评分）：
- Solidity 实现：每次推理约 800 万 Gas，每次成本约 50 美元（主网）或 5 美元（L2 EIP-4844 后）
- Stylus 实现：每次推理约 50 万 Gas 等价，每次成本约 0.05 美元
成本差了两个数量级，意味着原来"链下推完 + 上链验证哈希"的复杂结构，现在可以直接整合成"链上原生推理"。和 DePIN 入门指南 里讲的 AI 算力网络可以无缝拼接。
对开发者意味着什么
把开发者分三类看：
第一类，纯 Solidity 老手。短期没有强制理由切。EVM 部分 Arbitrum 一字不动，老合约照跑。
第二类，做新型应用的团队。如果你要做 ZK、链上 AI、密码学库、复杂数学协议，Stylus 几乎是唯一不会让你卡在 Gas 上的选项。
第三类，做跨链中间件 / 协议层基础设施。Stylus 让你能用 Rust 写一个高性能合约，再用 Solidity 写一个 ABI 兼容的薄壳——前端继续用 EVM 接口调用，底层是 Rust 实现。这对 SDK 设计是降维打击。
也要看到的限制
第一，热加载成本。Stylus 合约首次执行时 WASM 字节码需要"激活"（activation），消耗一笔启动 Gas。频繁低频调用反而比 Solidity 贵。
第二，调试工具仍弱于 EVM。Hardhat、Foundry 这些工具栈在 EVM 上发展了 5 年，Stylus 配套工具（cargo-stylus、stylus-sdk）还在 2026 年初版本快速迭代。
第三，审计员稀缺。能审 Rust 合约 + WASM 安全模型的人远比 Solidity 审计员少，市场费率 2026 年高出 EVM 审计 1.5-2 倍。
第四，仅限 Arbitrum 生态。Optimism、Base、zkSync 暂时没跟进 Stylus 同类方案。如果你做跨 L2 的协议，要么走 Solidity，要么接受 Arbitrum lock-in。
第五，安全边界还在沉淀。WASM 的逃逸、栈溢出、host call 滥用等攻击面，在以太坊语境里还是新课题，前几年 Solidity 踩过的坑都要重新踩一遍。
它会替代 Solidity 吗
短中期不会。从 2026 年的数据看：
| 维度 | Solidity | Stylus |
|---|---|---|
| 链上合约数量占比 | ~98% | ~2% |
| 新部署占比 (季度) | ~92% | ~8% |
| 协议 TVL 占比 | ~99% | ~1% |
| 头部团队采用率 | 高 | 选择性 |
Stylus 不是要替代 Solidity，更像是"在 Solidity 之上加一个高性能侧场"。这种关系类似于 C 语言和汇编——你不会用汇编写整个项目，但需要极致性能的地方就切过去。理解 zk Rollup 是什么 之后，会发现 Stylus 让 zk 友好的密码学运算"上链"成为现实选项。
一些 2026 年看 Stylus 进度的指标
观察 Stylus 真正长起来的迹象，最实用的是看这几个数：
- 生产合约数量过 1 万：意味着 Stylus 不只是研究项目
- 链上 ZK 验证占比：Stylus 上跑的 ZK 验证应占 Arbitrum 总验证调用的 50%+
- Stylus SDK 跨 OP Stack / zkSync 部署：意味着多语言 L2 不止 Arbitrum 一家
- Solidity 与 Stylus 互调用 Gas 模型稳定：不再频繁调整定价系数
- 专门做 Stylus 的审计公司出现：标志着工程文化成型
把 Stylus 看成是"L2 进入第二阶段"的标志会比把它当一个开发工具更合理——L2 第一阶段比的是 TPS 和 Gas，第二阶段比的是"能在链上做以前不能做的事"，而 Stylus 正是在打开后一个空间的入口。