用途：SP1 是零知识虚拟机（zkVM v6 Hypercube），用于证明 RISC-V 程序的正确执行。开发者用 Rust（或其他可编译到 RISC-V 的语言）编写可证明逻辑，无需自定义电路。
主要能力：支持 Plonk、Groth16 及 compressed 等证明格式，可为 Solidity 生成字节；支持递归，在 zkVM 内验证证明并做聚合；支持预编译，通过 syscall、MachineAir、AIR 添加自定义芯片扩展 zkVM。
使用方式：用 succinct 工具链构建 ELF，通过 SDK 的 ProverClient 执行 execute、setup、prove、verify；CLI 提供 cargo prove new/build 创建与构建项目。项目区分 program 与 script，涉及入口点、SP1Stdin、public values 等概念。
适用场景：需要为 Rust/RISC-V 程序生成零知识证明、做证明聚合或扩展 zkVM 能力的场景。
限制：资料未提供具体收费、价格、平台支持范围与性能数据，暂未提供。建议开发阶段先仅执行（execute-only），复用 client，并参考官方文档与示例。