Adds a sumcheck to enforce that the final memory state (i.e. read_write_memory v_final) is consistent with the program output
TODO: Similar to #207, the verifier currently reconstructs polynomials of size O(|memory|), but it should be computing the relevant openings in time O(|bytecode| + |inputs| + |outputs|)
Adds a sumcheck to enforce that the final memory state (i.e. read_write_memory v_final) is consistent with the program output TODO: Similar to #207, the verifier currently reconstructs polynomials of size O(|memory|), but it should be computing the relevant openings in time O(|bytecode| + |inputs| + |outputs|)