Struct VerifierTranscript 

pub struct VerifierTranscript<'a, C, F: TranscriptField, EF> { /* private fields */ }

Verifier-side transcript of one batch of quadratic sumcheck rounds.

Mirrors the prover side call for call, over the same description.

The values come from the proof rather than from a wire. The caller must therefore have counted them against the described shape first.

Implementations

impl<'a, C, F, EF> VerifierTranscript<'a, C, F, EF>

where F: TranscriptField, EF: ExtensionField<F>, C: CanObserve<F> + CanSample<F> + GrindingChallenger<Witness = F>,

pub fn new(challenger: &'a mut C, shape: SumcheckShape) -> Self

Seed the transcript from the shape.

The argument matches the prover’s, so both sides seed identically.

pub fn round( &mut self, c_a: EF, c_inf: EF, witness: Option<F>, ) -> Result<EF, SumcheckError>

Replay one round: bind both values, re-check the grind, draw the challenge.

Every value comes from the proof, so every disagreement is a rejection.

Errors

• Grinding is enabled and the round carries no witness.
• The witness misses the required difficulty.

Panics

When the batch was described with no rounds at all.

pub fn finish(self)

Close the transcript once every described step has been played.

Panics

When fewer rounds were played than the batch was described with.