Modules§
Structs§
- A syscall that commits a word of the public values digest.
- Commit to one word within the digest of deferred proofs. Takes in an index and a word.
- Verifies an SP1 recursive verifier proof. Note that this syscall only verifies the proof during runtime. The actual constraint-level verification is deferred to the recursive layer, where proofs are witnessed and verified in order to reconstruct the deferred_proofs_digest.