Module sp1_recursion_circuit_v2::machine

Structs

• SP1CompressMemoryLayout
  An input layout for the reduce verifier.
• SP1DeferredMemoryLayout
  Inputs that are hinted to the SP1DeferredVerifier program.
• SP1RecursionMemoryLayout
• SP1RecursionWitnessVariable
• SP1RecursiveVerifier
  A program for recursively verifying a batch of SP1 proofs.