Re-exports§
pub use instruction::Instruction;
Modules§
Structs§
- Cycle
Tracker Entry - Execution
Record - Recursion
Program - Runtime
- TODO fully document.
Taken from
sp1_recursion_core::runtime::Runtime
. Many missing things (compared to the oldRuntime
) will need to be implemented.
Enums§
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.
- POSEIDO
N2_ SBOX_ DEGREE - STACK_
SIZE