Module combined_poly_resolver

Expand description

Combined polynomial resolver subprotocol.

Structs§

CombinedPolyResolver: Combined polynomial resolver.
CprProverAncillary: Ancillary data produced by prepare_sumcheck_group and consumed by finalize_prover. Holds everything needed to extract up_evals / down_evals / bit_op_evals after the shared sumcheck completes.
CprVerifierAncillary: Ancillary data produced by prepare_verifier and consumed by finalize_verifier. Holds state that bridges the pre-sumcheck and post-sumcheck halves of the CPR verifier.
Proof: The proof type of the combined polynomial resolver subprotocol.
ProverState
VerifierSubclaim: The claim that is left to be proven after the combined polynomial resolver verifier has succeeded. It is a list of evaluation claims at a common evaluation point, covering committed trace columns, row-shift virtual columns, and bit-op virtual columns. Bit-op evals are kept separate so the downstream MultipointEval can bind them back to the source columns’ lifted openings (per Lemma 2.3 of the Zinc+ paper) rather than treating them as standalone trusted evaluations.