Succinct Processor 1 (SP1) is a zkVM that that verifies the execution of arbitrary Rust (or any LLVM-compiled language) programs. SP1 targets an order of magnitude performance improvement vs. existing zkVMs, and its alpha release is already up to 30x faster…