Module prover 

Structs

ProverBase

Persistent prover infrastructure carried across every step: the Fiat-Shamir transcript, PCS parameters/hints/commitments, and trace reference.

ProverEvalProjected

After step 3 (eval projection). projected_scalars_fx has been consumed.

ProverIdealChecked

After step 2 (ideal check).

ProverLifted

After step 6 (lift-and-project).

ProverMultipointEvaled

After step 5 (multipoint eval).

ProverPcsOpened

After step 7 (PCS open). No new fields are added here, but the PCS transcript has been updated with the opening proof. Ready for generating the final proof object in finish.

ProverProjectedCombined

After step 1 via step1_combined (row-major / “combined” projection). project_scalar has been consumed.

ProverProjectedMleFirst

After step 1 via step1_mle_first (column-major / MLE-first projection). project_scalar has been consumed.

ProverSumchecked

After step 4 (sumcheck).