openvm_rv32im_circuit

Module adapters

Source

Structs§

Constants§

Functions§

  • Convert the RISC-V register data (32 bits represented as 4 bytes, where each byte is represented as a field element) back into its value as u32.
  • Read register value as RV32_REGISTER_NUM_LIMBS limbs from memory. Returns the read record and the register value as u32. Does not make any range check calls.
  • Peeks at the value of a register without updating the memory state or incrementing the timestamp.