Crate sp1_core_executor

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.

Structs

• CoreShape
  The shape of a core proof.
• 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.
• SP1ReduceProof
  An intermediate proof which proves the execution.

Enums

• 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 performed by the processor.
• Register
  A register stores a 32-bit value used by operations.

Constants

• FD_ECRECOVER_HOOK
  The file descriptor through which to access hook_ecrecover.

Traits

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

Functions

• align
  Aligns an address to the nearest word below or equal to it.
• deserialize_hashmap_as_vec
  Deserialize a Vec<(u32, V)> as a HashMap<u32, V>.
• get_msb
  Calculate the most significant bit of the given 32-bit integer a, and returns it as a u8.
• get_quotient_and_remainder
  Calculate the correct quotient and remainder for the given b and c per RISC-V spec.
• 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.
• is_signed_operation
  Returns true if the given opcode is a signed operation.
• serialize_hashmap_as_vec
  Serialize a HashMap<u32, V> as a Vec<(u32, V)>.

Type Aliases

• BoxedHook
  A runtime hook, wrapped in a smart pointer.