Module program

Structs

Program

Constants

DEFAULT_MAX_NUM_PUBLIC_VALUES

DEFAULT_PC_STEP

We use default PC step of 4 whenever possible for consistency with RISC-V, where 4 comes from the fact that each standard RISC-V instruction is 32-bits = 4 bytes.

MAX_ALLOWED_PC

PC_BITS

Functions

display_program_with_pc