Module prover 

Structs

ProverCommitted

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

ProverEvalProjected

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

ProverFolded

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

ProverIdealChecked

After step 3 (ideal check).

ProverLifted

After step 7 (lift-and-project).

ProverMultipointEvaled

After step 6 (multipoint eval).

ProverPcsOpened

After step 8 (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 2 via step2_combined (row-major / “combined” projection).

ProverProjectedMleFirst

After step 2 via step2_mle_first (column-major / MLE-first projection).

ProverSumchecked

After step 5 (sumcheck).