Module sp1_core::syscall

Modules

• precompiles

Structs

• SyscallCommit
  A syscall that commits a word of the public values digest.
• SyscallCommitDeferred
  Commit to one word within the digest of deferred proofs. Takes in an index and a word.
• SyscallEnterUnconstrained
• SyscallExitUnconstrained
• SyscallHalt
• SyscallHintLen
• SyscallHintRead
• SyscallVerifySP1Proof
  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.
• SyscallWrite

Functions

• update_io_buf