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

The number of rows in the coefficient matrix used to commit to this polynomial using Dory

Number of bits needed for all rows.

Reads four bytes from memory. # Arguments `address`

Sets the reservation address for atomic memory operations

Sets up program run by the program. This method analyzes the passed content and configure CPU properly. If the passed contend doesn't seem ELF file, i

Stores eight bytes to main memory or peripheral devices depending on physical address. # Arguments `p_address` Physical address `value` data written

Stores four bytes to main memory or peripheral devices depending on physical address. # Arguments `p_address` Physical address `value` data written

Runs CPU one cycle

@TODO: Rename?

@TODO: Optimize

Create a new root node in the form of a unitary operator.

Updates mstatus copy. `CPU` needs to call this method whenever `mstatus` is updated. # Arguments `mstatus`

Updates XLEN (the width of an integer register in bits) in CPU. # Arguments `xlen`

Updates XLEN, 32-bit or 64-bit # Arguments `xlen`

Writes four bytes to memory. # Arguments `address` `value`

Fast hash function implementation using wyhash64 algorithm. This function provides a high-quality, fast hash suitable for hashmap operations. It uses

To be called at the end of each phase, after binding is done

Returns evaluation at 0 and 2

Equivalent to `P::multi_pairing`, but with more parallelism (if enabled)

Loads arbitrary byte lengths using ceil(out/32) invocations of 32 byte randoms Discards top bits when the size is less than 32 bytes

Compute prover message for first log k rounds

Compute prover message for phase 2 (last log(T) rounds)

Append the nodes of `other` onto the array of nodes in `self`. The root of `self` (the left tree) will be the root the appended copy of `other` (the r

Total number of rows used across all repeated constraints. Not padded to nearest power of two.

Creates a symbol - virtual address mapping from symbol entries and a string table section. # Arguments `entries` Symbol entries `string_table_section

Disassembles an instruction pointed by Program Counter.