Struct ProdcheckProver 

pub struct ProdcheckProver<'a, A: Allocator, P: PackedField> { /* private fields */ }

Witness-based prover for the product check protocol.

This prover reduces the claim that a multilinear polynomial evaluates to a product over a Boolean hypercube to a single multilinear evaluation claim.

Implementations

impl<'a, A, F, P> ProdcheckProver<'a, A, P>

where A: Allocator, F: Field, P: PackedField<Scalar = F>,

pub fn new( k: usize, alloc: &'a A, witness: FieldVec<P, A>, ) -> (Self, FieldVec<P, A>)

Creates a new ProdcheckProver.

Returns (prover, products) where products is the final layer containing the products over all k variables.

Arguments

• k - The number of variables over which the product is taken. Each reduction step reduces one variable by computing pairwise products.
• witness - The witness polynomial

Preconditions

• witness.log_len() >= k

pub const fn n_layers(&self) -> usize

Returns the number of remaining layers to prove.

pub fn pop_layer(&mut self) -> FieldVec<P, A>

Pops the widest remaining layer and returns it.

Preconditions

• self.n_layers() >= 1

pub fn layer_prover( self, claim: MultilinearEvalClaim<F>, ) -> (impl MleCheckProver<F> + 'a, Option<Self>)

Pops the last layer and returns an MLE-check prover for it.

Returns (layer_prover, remaining) where:

• layer_prover is an MLE-check prover for the popped layer
• remaining is Some(self) if there are more layers, None otherwise

pub fn prove( self, claim: MultilinearEvalClaim<F>, channel: &mut impl IPProverChannel<F>, ) -> MultilinearEvalClaim<F>

Runs the product check protocol and returns the final evaluation claim.

This consumes the prover and runs sumcheck reductions from the smallest layer back to the largest.

Arguments

• claim - The initial multilinear evaluation claim
• channel - The channel for sending prover messages and sampling challenges

Preconditions

• claim.point.len() == witness.log_len() - k (where k is the number of reduction layers)

Trait Implementations

impl<A: Allocator, P: PackedField> Clone for ProdcheckProver<'_, A, P>

where A::Vec<P>: Clone,

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.