Reads a byte from memory. # Arguments `address`

Read a NUL-terminated guest string from memory.

Reads ELF header

Reads Program counter content

Reads ELF section headers # Arguments `header`

Reads strings from a string table section # Arguments `section_header` The header of the string table section `index` Offset in the string table sect

Reads symbol entries of symbol table sections # Arguments `Terminal` `symbol_table_section_headers`

Verifies that the given `reduced_opening_proof` (consisting of a sumcheck proof and a single opening proof) indeed proves the openings accumulated.

Assumes for words A-H to be loaded in registers 0..7 Assumes for words W_0..W_15 to be loaded in registers 8..24

Method for running [`riscv-tests`](https://github.com/riscv/riscv-tests) program. The differences from `run_program()` are Disassembles every instruct

Computes sha256 Ch function Ch(E, F, G) = (E and F) xor ((not E) and G)

Computes sha256 Maj function: Maj(A, B, C) = (A and B) xor (A and C) xor (B and C)

Sigma_0 function of SHA256 compression function: Σ₀(x) = ROTR²(x) ⊕ ROTR¹³(x) ⊕ ROTR²²(x)

Sigma_1 function of SHA256 compression function: Σ₁(x) = ROTR⁶(x) ⊕ ROTR¹¹(x) ⊕ ROTR²⁵(x)

sigma_0 for word computation: σ₀(x) = ROTR⁷(x) ⊕ ROTR¹⁸(x) ⊕ SHR³(x)

sigma_1 for word computation: σ₁(x) = ROTR¹⁷(x) ⊕ ROTR¹⁹(x) ⊕ SHR¹⁰(x)

Gets the byte size of the serialized data

Stage 1 is special case of outer sumcheck from spartan

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

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

Records the state of the memory word containing the accessed byte before and after the store instruction. The memory state is used in Jolt to construc

Records the state of the memory word containing the accessed halfword before and after the store instruction. The memory state is used in Jolt to cons

Updates PPN used for address translation # Arguments `ppn`

Updates message schedule for rounds 16-63 W[t] = σ₁(W[t-2]) + W[t-7] + σ₀(W[t-15]) + W[t-16]

Checks if ELF file content is valid @TODO: Validate more precisely

Verifies the sumcheck proven in `ProverOpeningAccumulator::prove_batch_opening_reduction`.