Enumerates sequence in reverse order and sets virtual_sequence_remaining

In the verifier we do not have to check that f(0) + f(1) = hint as we can just recover the linear term assuming the prover did it right, then eval the

returns Z(r) in O(n) time

Evaluate uniform matrix A at a specific point (rx_constr, ry_var)

Evaluate uniform matrix B at a specific point (rx_constr, ry_var)

Evaluate uniform matrix C at a specific point (rx_constr, ry_var)

Fetches an instruction byte. This method takes virtual address and translates into physical address inside. # Arguments `v_address` Virtual address

Adds IV to the final hash value to produce output

Gets the polynomial coefficient at the given `index`, as an `i128`. Panics if the polynomial is a large-scalar polynomial.

Gets the polynomial coefficient at the given `index`, as an `i64`. Panics if the polynomial is a large-scalar polynomial.

Create a new Emulator from a saved state.

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

To be called before the first log(T) rounds

Initializes the static variables (`GLOBAL_T`, `MAX_NUM_ROWS`, and `NUM_COLUMNS`) used by Dory.

Installs the toolchain if it is not already

On input f(x) and u compute the witness polynomial used to prove that f(u) = v. The main part of this is to compute the division (f(x) - f(u)) / (x -

vk is hashed in transcript already, so we do not add it here

Loads two bytes from main memory or peripheral devices depending on physical address. # Arguments `p_address` Physical address

Write each module, along with its imports, to `src/Jolt/{name}.lean` in a template directory. If a `template_dir` is provided, read the template direc

TODO(moodlezoup): fix this

Materializes the uniform constraints into sparse (value != 0) A, B, C matrices represented in (row, col, value) format.

Number of variables across all steps padded to next power of two.

Padded number of constraint rows per step.

Number of constraint rows per step, padded to the next power of two.

We create a polynomial using the transcript This is why we need 2x srs for g2 we interleave it with zeroes