Module runtime

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