Struct BatchProver

pub struct BatchProver<F: Field, Prover> { /* private fields */ }

Prover for a front-loaded batch sumcheck protocol execution.

Prover that satisfies the verification logic in crate::protocols::sumcheck::front_loaded. See that module for protocol information.

This exposes a round-by-round interface so that the protocol call be interleaved with other interactive protocols, sharing the same sequence of challenges. The verification logic must be invoked with a specific sequence of calls, continuing for as many rounds as necessary until all claims are finished.

1. construct a new verifier with BatchProver::new
2. if all rounds are complete, call BatchProver::finish, otherwise proceed
3. call BatchProver::send_round_proof
4. sample a random challenge and call BatchProver::receive_challenge with it
5. repeat from step 2

Implementations

impl<F, Prover> BatchProver<F, Prover>

where F: TowerField, Prover: SumcheckProver<F>,

pub fn new<Transcript>( provers: Vec<Prover>, transcript: &mut Transcript, ) -> Result<Self, Error>

where Transcript: CanSample<F>,

Constructs a new prover for the front-loaded batched sumcheck.

The constructor samples batching coefficients from the proof transcript.

Throws

• if the claims are not sorted in ascending order by number of variables

pub fn send_round_proof<Transcript>( &mut self, transcript: &mut Transcript, ) -> Result<(), Error>

where Transcript: CanWrite,

Computes the round message and writes it to the proof transcript.

pub fn receive_challenge(&mut self, challenge: F) -> Result<(), Error>

Finishes an interaction round by reducing the instance with the verifier challenge.

pub fn finish<Transcript>( self, transcript: &mut Transcript, ) -> Result<(), Error>

where Transcript: CanWrite,

Finishes the remaining instance provers and checks that all rounds are completed.

Trait Implementations

impl<F: Debug + Field, Prover: Debug> Debug for BatchProver<F, Prover>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.