Crate sp1_core_executor

Expand description

An implementation of an exucutor for the SP1 RISC-V zkVM.

Modules§

events
Type definitions for the events emitted by the crate::Executor during execution.
subproof
Types and methods for subproof verification inside the crate::Executor.
syscalls
Syscall definitions & implementations for the crate::Executor.

ExecutionRecord
A record of the execution of a program.
ExecutionReport
An execution report.
ExecutionState
Holds data describing the current state of a program’s execution.
Executor
An executor for the SP1 RISC-V zkVM.
ForkState
Holds data to track changes made to the runtime since a fork point.
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
RISC-V 32IM Instruction.
MemoryAccessRecord
A memory access record.
Program
A program that can be executed by the SP1 zkVM.
SP1Context
Context to run a program inside SP1.
SP1ContextBuilder
A builder for SP1Context.

ByteOpcode
Byte Opcode.
ExecutionError
Errors that the Executor can throw.
ExecutorMode
The different modes the executor can run in.
Opcode
An opcode (short for “operation code”) specifies the operation to be perfomed by the processor.
Register
A register stores a 32-bit value used by operations.

Hook
A runtime hook. May be called during execution by writing to a specified file descriptor, accepting and returning arbitrary data.

align
Aligns an address to the nearest word below or equal to it.
hook_ecrecover
Recovers the public key from the signature and message hash using the k256 crate.
hookify
Wrap a function in a smart pointer so it may be placed in a HookRegistry.