Crate openvm_rv32im_guest

Crate openvm_rv32im_guest 

Source

Enums§

PhantomImm
imm options for system phantom instructions

Constants§

CSRRW_FUNCT3
CSR_OPCODE
HINT_BUFFER_IMM
HINT_FUNCT3
HINT_STOREW_IMM
MAX_HINT_BUFFER_WORDS
Maximum number of words that can be read in a single HINT_BUFFER instruction. AIR constraint requires rem_words < 2^MAX_HINT_BUFFER_WORDS_BITS, so max is one less
MAX_HINT_BUFFER_WORDS_BITS
Maximum number of bits for hint buffer size. IMPORTANT: Must be synced with MAX_HINT_BUFFER_WORDS_BITS constant for cuda crates/circuits/primitives/cuda/include/primitives/constants.h
PHANTOM_FUNCT3
REVEAL_FUNCT3
RV32M_FUNCT7
RV32_ALU_OPCODE
SYSTEM_OPCODE
This is custom-0 defined in RISC-V spec document
TERMINATE_FUNCT3