Struct UnivariateZerocheck

pub struct UnivariateZerocheck<'a, 'm, FDomain, PBase, P, CompositionBase, Composition, M, Backend>
where
    FDomain: Field,
    PBase: PackedField,
    P: PackedField,
    Backend: ComputationBackend,
{ /* private fields */ }

A prover that is capable of performing univariate skip.

By recasting skip_rounds first variables in a multilinear sumcheck into a univariate domain, it becomes possible to compute all of these rounds in small fields, unlocking significant performance gains. See zerocheck_univariate_evals rustdoc for a more detailed explanation.

This struct is an entrypoint to proving all zerochecks instances, univariatized and regular. “Regular” multilinear case is covered by calling Self::into_regular_zerocheck right away, producing a ZerocheckProver. Univariatized case is handled by using methods from a UnivariateZerocheckProver trait, where folding results in a reduced multilinear zerocheck prover for the remaining rounds.

Implementations

impl<'a, 'm, FDomain, PBase, P, CompositionBase, Composition, M, Backend> UnivariateZerocheck<'a, 'm, FDomain, PBase, P, CompositionBase, Composition, M, Backend>

where FDomain: Field, PBase: PackedField, P: PackedField, Backend: ComputationBackend,

pub fn multilinears(&self) -> &Vec<M>

impl<'a, 'm, F, FDomain, PBase, P, CompositionBase, Composition, M, Backend> UnivariateZerocheck<'a, 'm, FDomain, PBase, P, CompositionBase, Composition, M, Backend>

where F: Field + ExtensionField<PBase::Scalar> + ExtensionField<FDomain>, FDomain: Field, PBase: PackedField<Scalar: ExtensionField<FDomain>> + PackedExtension<FDomain>, P: PackedFieldIndexable<Scalar = F> + PackedExtension<FDomain>, CompositionBase: CompositionPolyOS<PBase>, Composition: CompositionPolyOS<P>, M: MultilinearPoly<P> + Send + Sync + 'm, Backend: ComputationBackend,

pub fn new( multilinears: Vec<M>, zero_claims: impl IntoIterator<Item = (CompositionBase, Composition)>, zerocheck_challenges: &[F], evaluation_domain_factory: impl EvaluationDomainFactory<FDomain>, switchover_fn: impl Fn(usize) -> usize, backend: &'a Backend, ) -> Result<Self, Error>

pub fn into_regular_zerocheck( self, ) -> Result<ZerocheckProver<'a, FDomain, PBase, P, CompositionBase, Composition, MultilinearWitness<'m, P>, Backend>, Error>

Trait Implementations

impl<'a, 'm, FDomain, PBase, P, CompositionBase: Debug, Composition: Debug, M: Debug, Backend> Debug for UnivariateZerocheck<'a, 'm, FDomain, PBase, P, CompositionBase, Composition, M, Backend>

where FDomain: Field + Debug, PBase: PackedField + Debug, P: PackedField + Debug, Backend: ComputationBackend + Debug, P::Scalar: Debug,

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

Formats the value using the given formatter.

impl<'a, 'm, F, FDomain, PBase, P, CompositionBase, Composition, M, Backend> UnivariateZerocheckProver<F> for UnivariateZerocheck<'a, 'm, FDomain, PBase, P, CompositionBase, Composition, M, Backend>

where F: TowerField + ExtensionField<PBase::Scalar> + ExtensionField<FDomain>, FDomain: TowerField, PBase: PackedFieldIndexable<Scalar: ExtensionField<FDomain>> + PackedExtension<FDomain, PackedSubfield: PackedFieldIndexable>, P: PackedFieldIndexable<Scalar = F> + RepackedExtension<PBase> + PackedExtension<FDomain>, CompositionBase: CompositionPolyOS<PBase>, Composition: CompositionPolyOS<P>, M: MultilinearPoly<P> + Send + Sync + 'm, Backend: ComputationBackend,

type RegularZerocheckProver = ZerocheckProver<'a, FDomain, PBase, P, CompositionBase, Composition, Arc<dyn MultilinearPoly<P> + Sync + Send + 'm>, Backend>

“Regular” prover for the multilinear rounds remaining after the univariate skip.

fn n_vars(&self) -> usize

The number of variables in the multivariate polynomial.

fn domain_size(&self, skip_rounds: usize) -> 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<LagrangeRoundEvals<F>, Error>

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

fn fold_univariate_round( self, challenge: F, ) -> Result<Self::RegularZerocheckProver, Error>

Folds into a regular multilinear prover for the remaining rounds.