Module prover 

Structs

FqProjStaging

Per-prime $\phi_{q_i}$ projection of the integer trace and UAIR scalars, pre-built at step 2 for step 3’s per-prime ideal check (and threaded forward through step 4 into the per-prime CPR / sumcheck / MP-eval chain). The trace layout (row- vs column-major) matches the variant chosen at step 2 and is carried inside ProjectedTrace.

ProverCommitted

Persistent prover infrastructure carried across every subsequent 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

Initial prover state, before commitment: the UAIR signature, the caller-provided original trace, and the folded witness trace.

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).