Module sp1_core_executor::subproof

Types and methods for subproof verification inside the crate::Executor.

Structs

• DefaultSubproofVerifier
  A dummy verifier which prints a warning on the first proof and does nothing else.
• NoOpSubproofVerifier
  A dummy verifier which does nothing.

Traits

• SubproofVerifier
  Verifier used in runtime when sp1_zkvm::precompiles::verify::verify_sp1_proof is called. This is then used to sanity check that the user passed in the correct proof; the actual constraints happen in the recursion layer.