sp1_recursion_core

Module runtime

Source

Re-exports§

pub use instruction::Instruction;

Modules§

basic_block
instruction
raw
seq_block

Structs§

BasicBlock
ExecutionRecord
RawProgram
RecursionProgram
A well-formed recursion program. See Self::new_unchecked for guaranteed (safety) invariants.
RootProgram
Runtime
TODO fully document. Taken from [sp1_recursion_core::runtime::Runtime]. Many missing things (compared to the old Runtime) will need to be implemented.

Enums§

BaseAluOpcode
ExtAluOpcode
RuntimeError
SeqBlock
Segments that may be sequentially composed.

Constants§

D
DIGEST_SIZE
The current verifier implementation assumes that we are using a 256-bit hash with 32-bit elements.
HASH_RATE
HEAP_PTR
The heap pointer address.
HEAP_START_ADDRESS
MEMORY_SIZE
NUM_BITS
PERMUTATION_WIDTH
The width of the Poseidon2 permutation.
POSEIDON2_SBOX_DEGREE
STACK_SIZE