Module combined_poly_resolver 

Combined polynomial resolver subprotocol.

Structs

CombinedPolyResolver

CprProverAncillary

Ancillary data produced by prepare_sumcheck_group and consumed by finalize_prover. Holds everything needed to extract up_evals / down_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 several evaluation claims about the trace columns and the shifted trace columns at the same evaluation point.

Enums

CombinedPolyResolverError