Struct BinaryPcsProverTranscript 

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

Prover-side transcript of one binary-tower PCS run.

The challenger is borrowed, not consumed.

The run sits inside a larger protocol, whose transcript continues where this one stops.

Implementations

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

where F: TranscriptField, EF: Field + AlgebraIdentity<F>, C: CanObserve<F> + CanSample<F> + CanSampleUniformBits<F> + GrindingChallenger<Witness = F>,

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

Seed the transcript from the shape.

Arguments

• challenger: sponge of the surrounding protocol, borrowed for this run.
• shape: the numbers that fix this run’s transcript.

pub fn fold_batch<R>(&mut self, run: impl FnOnce(&mut C) -> R) -> R

Lend the sponge to the delegated sumcheck rounds of one fold batch.

A sumcheck round seeds a sub-transcript of its own, so no step of it belongs here.

pub fn oracle_commitment<Com>(&mut self, commitment: Com)

where Com: Clone, C: CanObserve<Com>,

Bind one folded oracle’s Merkle root.

pub fn final_codeword(&mut self, codeword: &[EF])

Bind the final codeword, which travels in the clear.

Panics

When the codeword is not the length the run was described with.

pub fn query_pow(&mut self) -> F

Grind the site guarding the query positions.

Returns

The witness the search found, or zero when the site asks for no work.

pub fn query_pairs(&mut self) -> Vec<usize>

Draw the distinct fold pairs this run opens.

Returns

Each pair’s low-indexed position, in ascending order.

pub fn abort(&mut self)

Release the completeness check without playing the rest of the description.

A caller that deliberately runs only part of a run closes it this way.

Dropping an unfinished driver otherwise panics.

pub fn finish(self)

Close the transcript once every described step has been played.

Panics

When the run played fewer steps than it was described with.