Module 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.