sp1

Skill based on SP1 (zkVM v6 Hypercube), generated from sources/sp1. Doc path: sources/sp1/ (README, DEVELOPMENT.md, crates/*/README.md, examples), plus https://docs.succinct.xyz/docs/sp1 (introduction, quickstart, recommended-workflow).

SP1 is a zero-knowledge virtual machine that proves correct execution of RISC-V programs. Write provable logic in Rust (or other LLVM→RISC-V languages), build an ELF with the succinct toolchain, and use the SDK to execute, prove, and verify. No custom circuits; use Plonk or Groth16 proofs, recursion for aggregation, and precompiles to extend the zkVM.

Core References

Topic	Description	Reference
Overview	Program vs script, ELF, entrypoint, project layout	core-overview
Program I/O	read, commit, SP1Stdin, public values	core-program-io
CLI and build	cargo prove new/build, project structure	core-cli-and-build
Proving and verification	ProverClient, execute, setup, prove, verify	core-proving-and-verification

Features

Proof formats and verification

Topic	Description	Reference
Proof formats	Plonk, Groth16, compressed; bytes for Solidity	features-proof-formats
Recursion	Verifying proofs in the zkVM, aggregation	features-recursion

Extending the zkVM

Topic	Description	Reference
Precompiles	Adding custom chips (syscall, MachineAir, AIR)	features-precompiles

Best Practices

Topic	Description	Reference
Workflow	Execute-only during dev, reuse client, crate layout, prover network	best-practices-workflow