Structs§
- SP1Compress
Memory Layout - An input layout for the reduce verifier.
- SP1Compress
Memory Layout Variable - SP1Compress
Verifier - A program to verify a batch of recursive proofs and aggregate their public values.
- SP1Deferred
Memory Layout - Inputs that are hinted to the SP1DeferredVerifier program.
- SP1Deferred
Memory Layout Variable - A variable version of the SP1DeferredMemoryLayout struct.
- SP1Deferred
Verifier - SP1Recursion
Memory Layout - SP1Recursion
Memory Layout Variable - SP1Recursive
Verifier - A program for recursively verifying a batch of SP1 proofs.
- SP1Root
Memory Layout - SP1Root
Memory Layout Variable - SP1Root
Verifier - The program that gets a final verifier at the root of the tree.
Enums§
- Reduce
Program Type - The different types of programs that can be verified by the
SP1ReduceVerifier.
Functions§
- commit_
public_ values - Register and commits the recursion public values.