Module verifier 

Structs

VerifierBase

Persistent verifier infrastructure carried across every step.

VerifierEvalProjected

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

VerifierIdealChecked

After step 2 (ideal check). project_ideal has been consumed.

VerifierLiftedEvalsChecked

After step 6 (lifted evals verification).

VerifierMultipointEvaled

After step 5 (multi-point eval).

VerifierPcsVerified

After step 7 (PCS verify). Ready for finish.

VerifierPrimeProjected

After step 1 (prime projection).

VerifierSumchecked

After step 4 (sumcheck verify).

VerifierTranscriptReconstructed

After step 0 (transcript reconstruction).