Refactor so that all polynomials are committed to at the beginning of Jolt::prove, and all commitments are appended to the transcript.
Also includes an optimization to reuse the bytecode v polynomials corresponding to rs1, rs2, rd in read_write_memory, instead of separately committing to a_rs1, a_rs2, and a_rd
Refactor so that all polynomials are committed to at the beginning of
Jolt::prove
, and all commitments are appended to the transcript. Also includes an optimization to reuse the bytecode v polynomials corresponding to rs1, rs2, rd in read_write_memory, instead of separately committing toa_rs1
,a_rs2
, anda_rd