Module sp1_recursion_program::machine

Structs

• SP1CompressMemoryLayout
  An input layout for the reduce verifier.
• SP1CompressMemoryLayoutVariable
• SP1CompressVerifier
  A program to verify a batch of recursive proofs and aggregate their public values.
• SP1DeferredMemoryLayout
  Inputs that are hinted to the SP1DeferredVerifier program.
• SP1DeferredMemoryLayoutVariable
  A variable version of the SP1DeferredMemoryLayout struct.
• SP1DeferredVerifier
• SP1RecursionMemoryLayout
• SP1RecursionMemoryLayoutVariable
• SP1RecursiveVerifier
  A program for recursively verifying a batch of SP1 proofs.
• SP1RootMemoryLayout
• SP1RootMemoryLayoutVariable
• SP1RootVerifier
  The program that gets a final verifier at the root of the tree.

Enums

• ReduceProgramType
  The different types of programs that can be verified by the SP1ReduceVerifier.

Functions

• commit_public_values
  Register and commits the recursion public values.