Module sp1_core::runtime

Structs§

DefaultSubproofVerifier
A dummy verifier which prints a warning on the first proof and does nothing else.
ExecutionRecord
A record of the execution of a program.
ExecutionReport
ExecutionState
Holds data describing the current state of a program’s execution.
HookEnv
Environment that a hook may read from.
HookRegistry
A registry of hooks to call, indexed by the file descriptors through which they are accessed.
Instruction
An instruction specifies an operation to execute and the operands.
MemoryAccessRecord
MemoryReadRecord
MemoryRecord
An record of a write to a memory address.
MemoryWriteRecord
NoOpSubproofVerifier
A dummy verifier which does nothing.
Program
A program that can be executed by the VM.
Runtime
An implementation of a runtime for the SP1 RISC-V zkVM.
SP1Context
Context to run a program inside SP1.
SP1ContextBuilder
SplitOpts
SyscallCodeIter
An iterator over the variants of SyscallCode
SyscallContext
A runtime for syscalls that is protected so that developers cannot arbitrarily modify the runtime.

ExecutionError
MemoryAccessPosition
MemoryRecordEnum
Opcode
An opcode specifies which operation to execute.
Register
A register stores a 32-bit value used by operations.
SyscallCode
A system call is invoked by the the ecall instruction with a specific value in register t0. The syscall number is a 32-bit integer, with the following layout (in litte-endian format)

Hook
A runtime hook. May be called during execution by writing to a specified file descriptor, accepting and returning arbitrary data.
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.
Syscall

align
default_syscall_map
hook_ecrecover
hookify
Wrap a function in a smart pointer so it may be placed in a HookRegistry.