SP1是一种零知识虚拟机，能够确保为RISC-V架构编译的程序正确执行。
SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.
