Struct ZerocheckProverImpl

pub struct ZerocheckProverImpl<'a, FDomain, FBase, P, CompositionBase, Composition, M, DomainFactory, Backend>
where
    FDomain: Field,
    FBase: Field,
    P: PackedExtension<FBase>,
    Backend: ComputationBackend,
{ /* private fields */ }

Small-field aware zerocheck prover.

This is a state machine satisfying the contract of ZerocheckProver trait. Object safety of the latter allows batching several zerocheck provers over different base fields together.

Full zerocheck reduction is laid out in the batch_verify_zerocheck. This struct implements the univariate round, witness folding and prover construction for multilinear rounds, and witness projection for the univariatizing reduction.

Implementations

impl<'a, F, FDomain, FBase, P, CompositionBase, Composition, M, DomainFactory, Backend> ZerocheckProverImpl<'a, FDomain, FBase, P, CompositionBase, Composition, M, DomainFactory, Backend>

where F: TowerField, FDomain: Field, FBase: ExtensionField<FDomain>, P: PackedField<Scalar = F> + PackedExtension<F, PackedSubfield = P> + PackedExtension<FBase> + PackedExtension<FDomain>, CompositionBase: CompositionPoly<<P as PackedExtension<FBase>>::PackedSubfield>, Composition: CompositionPoly<P> + 'a, M: MultilinearPoly<P> + Send + Sync + 'a, DomainFactory: EvaluationDomainFactory<FDomain>, Backend: ComputationBackend,

pub fn new( multilinears: Vec<M>, zero_claims: impl IntoIterator<Item = (String, CompositionBase, Composition)>, zerocheck_challenges: &[F], domain_factory: DomainFactory, backend: &'a Backend, ) -> Result<Self, Error>

Trait Implementations

impl<'a, FDomain, FBase, P, CompositionBase: Debug, Composition: Debug, M: Debug, DomainFactory: Debug, Backend> Debug for ZerocheckProverImpl<'a, FDomain, FBase, P, CompositionBase, Composition, M, DomainFactory, Backend>

where FDomain: Field + Debug, FBase: Field + Debug, P: PackedExtension<FBase> + Debug, Backend: ComputationBackend + Debug, P::Scalar: Debug, P::PackedSubfield: Debug,

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

Formats the value using the given formatter.

impl<'a, F, FDomain, FBase, P, CompositionBase, Composition, M, DomainFactory, Backend> ZerocheckProver<'a, P> for ZerocheckProverImpl<'a, FDomain, FBase, P, CompositionBase, Composition, M, DomainFactory, Backend>

where F: TowerField, FDomain: TowerField, FBase: ExtensionField<FDomain>, P: PackedField<Scalar = F> + PackedExtension<F, PackedSubfield = P> + PackedExtension<FBase> + PackedExtension<FDomain>, CompositionBase: CompositionPoly<PackedSubfield<P, FBase>> + 'static, Composition: CompositionPoly<P> + 'static, M: MultilinearPoly<P> + Send + Sync + 'a, DomainFactory: EvaluationDomainFactory<FDomain>, Backend: ComputationBackend,

fn n_vars(&self) -> usize

The number of variables in the multivariate polynomial.

fn domain_size(&self, skip_rounds: usize) -> Option<usize>

Maximal required Lagrange domain size among compositions in this prover.

fn execute_univariate_round( &mut self, skip_rounds: usize, max_domain_size: usize, batch_coeff: F, ) -> Result<ZerocheckRoundEvals<F>, Error>

Computes the prover message for the univariate round as a univariate polynomial.

fn fold_univariate_round( &mut self, challenge: F, ) -> Result<Box<dyn SumcheckProver<F> + 'a>, Error>

Folds into a regular multilinear prover for the remaining rounds.

fn project_to_skipped_variables( self: Box<Self>, challenges: &[F], ) -> Result<Vec<Arc<dyn MultilinearPoly<P> + Send + Sync>>, Error>

Projects witness onto the “skipped” variables for the univariatizing reduction.