starkware-libs/stwo

这是什么？

核心功能

• 01基于 M31 域的 Circle STARK 证明生成与验证。
• 02no_std 验证器，可在不包含证明器代码的情况下构建。
• 03支持 AVX2、AVX-512、NEON 和 WebAssembly 的 SIMD 后端，并提供 CPU 参考后端。
• 04支持 Blake2s、Blake3、Poseidon252、Keccak256 等多种 Fiat-Shamir 信道。
• 05提供 GKR 与 LogUp 查找论证，用于内存和表格检查。
• 06通过 `parallel` feature 可选启用基于 Rayon 的并行证明。

适用场景

• 在 STARK 后端之上构建 zkVM 或可验证计算系统。
• 将轻量 STARK 验证器嵌入 Solidity 或 Cairo 合约等链上环境。
• 研究 Circle STARK 构造以及圆域上的 FRI。
• 学习 Poseidon2、Blake 等参考电路在 STARK 证明中的实现方式。

快速上手

1. 1

   将 stwo 添加为 Rust 依赖（仅验证器或带 prover 功能）

2. 2

   以 release 模式构建完整证明器

   cargo build --release --features prover
3. 3

   运行标准测试套件

   cargo test --features prover

使用前须知

• !需要 Rust nightly 版本，版本在 rust-toolchain.toml 中固定。
• !要获得完整的证明器性能需要支持 AVX2、AVX-512 或 NEON 的 CPU。
• !自 2026 年 7 月起，开发工作将迁移到新的代码仓库。

标签

常见问题

stwo 是什么？

用 Rust 实现的 Circle STARK 证明生成与验证库，基于 M31 域，验证器支持 no_std。 Stwo 是用 Rust 编写的 Circle STARK 证明生成与验证库。它基于 Mersenne 素数域 M31（2^31 − 1）运行证明系统，M31 的 32 位模运算可以映射到 AVX2、AVX-512、NEON 和 WebAssembly SIMD 等向量指令上。库中实现了 M31、CM31、QM31 域扩展、circle FFT、适配圆域的 FRI，以及 lifted Merkle 承诺方案，并支持 Blake2s、Blake3、Poseidon252、Keccak256 等 Fiat-Shamir 信道。

stwo 可以免费使用吗？用的什么许可证？

stwo 以 Apache-2.0 许可证开源。用于商业产品前，请先确认许可证条款。

stwo 还在维护吗？

活跃维护中。stwo 最近一次提交是在 2026年11月5日。

stwo 适合用来做什么？

在 STARK 后端之上构建 zkVM 或可验证计算系统。 将轻量 STARK 验证器嵌入 Solidity 或 Cairo 合约等链上环境。 研究 Circle STARK 构造以及圆域上的 FRI。 学习 Poseidon2、Blake 等参考电路在 STARK 证明中的实现方式。

stwo 怎么安装和运行？

将 stwo 添加为 Rust 依赖（仅验证器或带 prover 功能） 以 release 模式构建完整证明器: cargo build --release --features prover 运行标准测试套件: cargo test --features prover

在哪里获取 stwo？

源代码和安装说明在 GitHub 上：https://github.com/starkware-libs/stwo