pub struct ZerocheckProver<FDomain, PBase, P, CompositionBase, Composition, M, Backend>where
FDomain: Field,
PBase: PackedField,
P: PackedField,
M: MultilinearPoly<P> + Send + Sync,
Backend: ComputationBackend,{ /* private fields */ }
Implementations§
source§impl<F, FDomain, PBase, P, CompositionBase, Composition, M, Backend> ZerocheckProver<FDomain, PBase, P, CompositionBase, Composition, M, Backend>where
F: Field + ExtensionField<FDomain>,
FDomain: Field,
PBase: PackedField<Scalar: ExtensionField<FDomain>> + PackedExtension<FDomain>,
P: PackedFieldIndexable<Scalar = F> + PackedExtension<FDomain>,
CompositionBase: CompositionPoly<PBase>,
Composition: CompositionPoly<P>,
M: MultilinearPoly<P> + Send + Sync,
Backend: ComputationBackend,
impl<F, FDomain, PBase, P, CompositionBase, Composition, M, Backend> ZerocheckProver<FDomain, PBase, P, CompositionBase, Composition, M, Backend>where
F: Field + ExtensionField<FDomain>,
FDomain: Field,
PBase: PackedField<Scalar: ExtensionField<FDomain>> + PackedExtension<FDomain>,
P: PackedFieldIndexable<Scalar = F> + PackedExtension<FDomain>,
CompositionBase: CompositionPoly<PBase>,
Composition: CompositionPoly<P>,
M: MultilinearPoly<P> + Send + Sync,
Backend: ComputationBackend,
pub fn new( multilinears: Vec<M>, zero_claims: impl IntoIterator<Item = (CompositionBase, Composition)>, challenges: &[F], evaluation_domain_factory: impl EvaluationDomainFactory<FDomain>, switchover_fn: impl Fn(usize) -> usize, backend: Backend, ) -> Result<Self, Error>
Trait Implementations§
source§impl<FDomain, PBase, P, CompositionBase: Debug, Composition: Debug, M, Backend> Debug for ZerocheckProver<FDomain, PBase, P, CompositionBase, Composition, M, Backend>where
FDomain: Field + Debug,
PBase: PackedField + Debug,
P: PackedField + Debug,
M: MultilinearPoly<P> + Send + Sync + Debug,
Backend: ComputationBackend + Debug,
P::Scalar: Debug,
Backend::Vec<P>: Debug,
impl<FDomain, PBase, P, CompositionBase: Debug, Composition: Debug, M, Backend> Debug for ZerocheckProver<FDomain, PBase, P, CompositionBase, Composition, M, Backend>where
FDomain: Field + Debug,
PBase: PackedField + Debug,
P: PackedField + Debug,
M: MultilinearPoly<P> + Send + Sync + Debug,
Backend: ComputationBackend + Debug,
P::Scalar: Debug,
Backend::Vec<P>: Debug,
source§impl<F, FDomain, PBase, P, CompositionBase, Composition, M, Backend> SumcheckProver<F> for ZerocheckProver<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> + RepackedExtension<PBase>,
CompositionBase: CompositionPoly<PBase>,
Composition: CompositionPoly<P>,
M: MultilinearPoly<P> + Send + Sync,
Backend: ComputationBackend,
impl<F, FDomain, PBase, P, CompositionBase, Composition, M, Backend> SumcheckProver<F> for ZerocheckProver<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> + RepackedExtension<PBase>,
CompositionBase: CompositionPoly<PBase>,
Composition: CompositionPoly<P>,
M: MultilinearPoly<P> + Send + Sync,
Backend: ComputationBackend,
Auto Trait Implementations§
impl<FDomain, PBase, P, CompositionBase, Composition, M, Backend> Freeze for ZerocheckProver<FDomain, PBase, P, CompositionBase, Composition, M, Backend>where
<FDomain as WithUnderlier>::Underlier: Sized,
<P as PackedField>::Scalar: Freeze,
<Backend as ComputationBackend>::Vec<P>: Freeze,
Backend: Freeze,
impl<FDomain, PBase, P, CompositionBase, Composition, M, Backend> RefUnwindSafe for ZerocheckProver<FDomain, PBase, P, CompositionBase, Composition, M, Backend>where
<FDomain as WithUnderlier>::Underlier: Sized,
<P as PackedField>::Scalar: RefUnwindSafe,
<Backend as ComputationBackend>::Vec<P>: RefUnwindSafe,
Backend: RefUnwindSafe,
PBase: RefUnwindSafe,
FDomain: RefUnwindSafe,
CompositionBase: RefUnwindSafe,
Composition: RefUnwindSafe,
M: RefUnwindSafe,
P: RefUnwindSafe,
impl<FDomain, PBase, P, CompositionBase, Composition, M, Backend> Send for ZerocheckProver<FDomain, PBase, P, CompositionBase, Composition, M, Backend>
impl<FDomain, PBase, P, CompositionBase, Composition, M, Backend> Sync for ZerocheckProver<FDomain, PBase, P, CompositionBase, Composition, M, Backend>
impl<FDomain, PBase, P, CompositionBase, Composition, M, Backend> Unpin for ZerocheckProver<FDomain, PBase, P, CompositionBase, Composition, M, Backend>
impl<FDomain, PBase, P, CompositionBase, Composition, M, Backend> UnwindSafe for ZerocheckProver<FDomain, PBase, P, CompositionBase, Composition, M, Backend>where
<FDomain as WithUnderlier>::Underlier: Sized,
<P as PackedField>::Scalar: UnwindSafe,
<Backend as ComputationBackend>::Vec<P>: UnwindSafe,
Backend: UnwindSafe,
PBase: UnwindSafe,
FDomain: UnwindSafe,
CompositionBase: UnwindSafe,
Composition: UnwindSafe,
M: UnwindSafe,
P: UnwindSafe,
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
source§impl<T> IntoEither for T
impl<T> IntoEither for T
source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moresource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read more