Modules§
Structs§
- CpuS
P1Prover Components - CpuWrap
Prover Builder - Groth16
Bn254 Proof - Plonk
Bn254 Proof - Ready
Wrap Prover Builder - SP1Core
Proof Data - SP1Groth16
Bn254 Proof Data - SP1Plonk
Bn254 Proof Data - SP1Proof
With Metadata - A proof of a RISCV ELF execution with given inputs and outputs.
- SP1Reduced
Proof Data - SP1Verifying
Key - The information necessary to verify a proof for a given RISC-V program.
Enums§
- Proof
System - Prover
Mode - The mode of the prover.
- SP1Bn254
Proof Data - SP1Circuit
Witness - SP1Recursion
Prover Error
Constants§
- CORE_
LOG_ STACKING_ HEIGHT - CORE_
MAX_ LOG_ ROW_ COUNT - RECURSION_
LOG_ TRACE_ AREA - SHRINK_
LOG_ STACKING_ HEIGHT - SHRINK_
LOG_ TRACE_ AREA - SHRINK_
MAX_ LOG_ ROW_ COUNT - SP1_
CIRCUIT_ VERSION - The global version for all components of SP1.
Traits§
- Core
Prover - Hashable
Key - A trait for keys that can be hashed into a digest.
- Recursion
Prover - SP1Prover
Components - Wrap
Prover - Wrap
Prover Builder
Type Aliases§
- Compress
Air - CoreSC
- RecursionSC
- SP1Compress
Witness - SP1Core
Proof - A proof of an SP1 program without any wrapping.
- SP1Groth16
Bn254 Proof - An SP1 proof that has been wrapped into a single Groth16 proof and can be verified onchain.
- SP1Plonk
Bn254 Proof - An SP1 proof that has been wrapped into a single PLONK proof and can be verified onchain.
- SP1Proof
- An SP1 proof that has been wrapped into a single proof and can be verified onchain.
- SP1Reduced
Proof - An SP1 proof that has been recursively reduced into a single proof. This proof can be verified within SP1 programs.
- Shrink
Air - ShrinkSC
- WrapAir
- WrapSC