Crate openvm_rv32im_transpiler

Crate openvm_rv32im_transpiler 

Source

Modules§

rrs

Structs§

BaseAluOpcodeIter
An iterator over the variants of BaseAluOpcode
BranchEqualOpcodeIter
An iterator over the variants of BranchEqualOpcode
BranchLessThanOpcodeIter
An iterator over the variants of BranchLessThanOpcode
DivRemOpcodeIter
An iterator over the variants of DivRemOpcode
LessThanOpcodeIter
An iterator over the variants of LessThanOpcode
MulHOpcodeIter
An iterator over the variants of MulHOpcode
MulOpcodeIter
An iterator over the variants of MulOpcode
Rv32AuipcOpcodeIter
An iterator over the variants of Rv32AuipcOpcode
Rv32HintStoreOpcodeIter
An iterator over the variants of Rv32HintStoreOpcode
Rv32ITranspilerExtension
Rv32IoTranspilerExtension
Rv32JalLuiOpcodeIter
An iterator over the variants of Rv32JalLuiOpcode
Rv32JalrOpcodeIter
An iterator over the variants of Rv32JalrOpcode
Rv32LoadStoreOpcodeIter
An iterator over the variants of Rv32LoadStoreOpcode
Rv32MTranspilerExtension
ShiftOpcodeIter
An iterator over the variants of ShiftOpcode

Enums§

BaseAluOpcode
BranchEqualOpcode
BranchLessThanOpcode
DivRemOpcode
LessThanOpcode
MulHOpcode
MulOpcode
Rv32AuipcOpcode
Rv32HintStoreOpcode
Rv32JalLuiOpcode
Rv32JalrOpcode
Rv32LoadStoreOpcode
Rv32Phantom
ShiftOpcode

Constants§

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