Module sp1_recursion_core::runtime

Structs

• CpuRecord
• CycleTrackerEntry
• ExecutionRecord
• Instruction
• MemoryEntry
• RecursionProgram
• Runtime

Enums

• Opcode

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

Functions

• canonical_i32_to_field
• get_heap_size_range_check_events
• instruction_is_heap_expand