Gets the opening for a given virtual polynomial from whichever accumulator is available.

Pops the most significant bit from `self`, decrementing `len`.

@TODO: Rename to better name?

Returns Some(address) if there was read/write Returns None if there was no read/write

Reads four bytes from ELF file content # Arguments `offset`

Addition modulo 2^32

SSTATUS, SIE, and SIP are subsets of MSTATUS, MIE, and MIP

Returns either Register or Immediate input for a working variable (A-H) When initial is true, uses BLOCK constants for the first few rounds until all

Returns mutable `Mmu`

Return the last vector from `E2` as a slice

Stores four bytes. This method takes virtual address and translates into physical address inside. # Arguments `v_address` Virtual address `value` dat

Splits a 64-bit value into two 32-bit values by separating even and odd bits. The even bits (indices 0,2,4,...) go into the first returned value, and

@TODO: Rename to better name?

Maps working variable (A-H) to its current register location Variables rotate through registers 0-7 as rounds progress When not initial, E-H start in

Reads eight bytes from ELF file content # Arguments `offset`

Loads four bytes. This method takes virtual address and translates into physical address inside. # Arguments `v_address` Virtual address

Gets the opening for a given committed polynomial from whichever accumulator is available.

Reads a byte from ELF file content # Arguments `offset`

Return the last vector from `E1` as a slice

Converts a constraint input to its index in the canonical ordering over inputs given by `ALL_R1CS_INPUTS`.

Initializes Main memory. This method is expected to be called only once. # Arguments `capacity`

Loads eight bytes. This method takes virtual address and translates into physical address inside. # Arguments `v_address` Virtual address

Stores eight bytes. This method takes virtual address and translates into physical address inside. # Arguments `v_address` Virtual address `value` da

Updates Program Counter content # Arguments `value`

Advances the iterator and returns the next trace entry. # Returns `Some(RV32IMCycle)` - The next instruction trace in the execution sequence `None`