pub struct VerifierIdealChecked<'a, Zt: ZincTypes<D, FD>, U: Uair, C: BaseFieldConfig, IdealOverF, const D: usize, const FD: usize> { /* private fields */ }Expand description
After step 2 (ideal check). project_ideal has been consumed.
Implementations§
Source§impl<'a, Zt, U, C, IdealOverF, const D: usize, const FD: usize> VerifierIdealChecked<'a, Zt, U, C, IdealOverF, D, FD>
impl<'a, Zt, U, C, IdealOverF, const D: usize, const FD: usize> VerifierIdealChecked<'a, Zt, U, C, IdealOverF, D, FD>
Sourcepub fn step3_eval_projection(
self,
project_scalar: impl Fn(&U::Scalar, &C) -> DynamicPolynomial<C::Element>,
) -> Result<VerifierEvalProjected<'a, Zt, U, C, IdealOverF, D, FD>, ProtocolError<C::Element>>
pub fn step3_eval_projection( self, project_scalar: impl Fn(&U::Scalar, &C) -> DynamicPolynomial<C::Element>, ) -> Result<VerifierEvalProjected<'a, Zt, U, C, IdealOverF, D, FD>, ProtocolError<C::Element>>
Step 3: Evaluation projection. Consumes project_scalar.
Shared projecting element.
Mirrors the prover: sample a shared integer $a \in [0, q^*)$ and lift it
into each family’s field. The $Q[X]$ family consumes
projecting_elements[0]; per-prime families consume
projecting_elements[i + 1].
Also builds per-prime $\psi$-projected scalars from
project_scalar(., all_field_cfgs[i + 1]) and threads them
forward as projected_scalars_f_fq for the per-prime CPR
finalize_verifier in step 4.
Trait Implementations§
Source§impl<'a, Zt: Clone + ZincTypes<D, FD>, U: Clone + Uair, C: Clone + BaseFieldConfig, IdealOverF: Clone, const D: usize, const FD: usize> Clone for VerifierIdealChecked<'a, Zt, U, C, IdealOverF, D, FD>
impl<'a, Zt: Clone + ZincTypes<D, FD>, U: Clone + Uair, C: Clone + BaseFieldConfig, IdealOverF: Clone, const D: usize, const FD: usize> Clone for VerifierIdealChecked<'a, Zt, U, C, IdealOverF, D, FD>
Source§fn clone(&self) -> VerifierIdealChecked<'a, Zt, U, C, IdealOverF, D, FD>
fn clone(&self) -> VerifierIdealChecked<'a, Zt, U, C, IdealOverF, D, FD>
Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreAuto Trait Implementations§
impl<'a, Zt, U, C, IdealOverF, const D: usize, const FD: usize> Freeze for VerifierIdealChecked<'a, Zt, U, C, IdealOverF, D, FD>where
C: Freeze,
impl<'a, Zt, U, C, IdealOverF, const D: usize, const FD: usize> RefUnwindSafe for VerifierIdealChecked<'a, Zt, U, C, IdealOverF, D, FD>where
C: RefUnwindSafe,
U: RefUnwindSafe,
IdealOverF: RefUnwindSafe,
<Zt as ZincTypes<D, FD>>::BinaryLc: RefUnwindSafe,
<Zt as ZincTypes<D, FD>>::ArbitraryLc: RefUnwindSafe,
<Zt as ZincTypes<D, FD>>::IntLc: RefUnwindSafe,
<Zt as ZincTypes<D, FD>>::BinaryZt: RefUnwindSafe,
<Zt as ZincTypes<D, FD>>::ArbitraryZt: RefUnwindSafe,
<Zt as ZincTypes<D, FD>>::IntZt: RefUnwindSafe,
<C as SetConfig>::Element: RefUnwindSafe,
<Zt as ZincTypes<D, FD>>::Fmod: RefUnwindSafe,
<Zt as ZincTypes<D, FD>>::Int: RefUnwindSafe,
impl<'a, Zt, U, C, IdealOverF, const D: usize, const FD: usize> Send for VerifierIdealChecked<'a, Zt, U, C, IdealOverF, D, FD>
impl<'a, Zt, U, C, IdealOverF, const D: usize, const FD: usize> Sync for VerifierIdealChecked<'a, Zt, U, C, IdealOverF, D, FD>
impl<'a, Zt, U, C, IdealOverF, const D: usize, const FD: usize> Unpin for VerifierIdealChecked<'a, Zt, U, C, IdealOverF, D, FD>
impl<'a, Zt, U, C, IdealOverF, const D: usize, const FD: usize> UnsafeUnpin for VerifierIdealChecked<'a, Zt, U, C, IdealOverF, D, FD>where
C: UnsafeUnpin,
impl<'a, Zt, U, C, IdealOverF, const D: usize, const FD: usize> UnwindSafe for VerifierIdealChecked<'a, Zt, U, C, IdealOverF, D, FD>where
C: UnwindSafe,
U: UnwindSafe,
IdealOverF: UnwindSafe,
<Zt as ZincTypes<D, FD>>::BinaryLc: RefUnwindSafe,
<Zt as ZincTypes<D, FD>>::ArbitraryLc: RefUnwindSafe,
<Zt as ZincTypes<D, FD>>::IntLc: RefUnwindSafe,
<Zt as ZincTypes<D, FD>>::BinaryZt: RefUnwindSafe,
<Zt as ZincTypes<D, FD>>::ArbitraryZt: RefUnwindSafe,
<Zt as ZincTypes<D, FD>>::IntZt: RefUnwindSafe,
<C as SetConfig>::Element: UnwindSafe,
<Zt as ZincTypes<D, FD>>::Fmod: UnwindSafe,
<Zt as ZincTypes<D, FD>>::Int: RefUnwindSafe,
Blanket Implementations§
§impl<T> AsMaybeUninit for T
impl<T> AsMaybeUninit for T
§type Uninit = MaybeUninit<T>
type Uninit = MaybeUninit<T>
This type in its maybe-uninitialized form.
§fn as_ref_uninit(&self) -> &<T as AsMaybeUninit>::Uninit
fn as_ref_uninit(&self) -> &<T as AsMaybeUninit>::Uninit
Converts a
&self to its maybe-initialized equivalent.§unsafe fn as_mut_uninit(&mut self) -> &mut <T as AsMaybeUninit>::Uninit
unsafe fn as_mut_uninit(&mut self) -> &mut <T as AsMaybeUninit>::Uninit
Converts a
&mut T to its maybe-initialized equivalent. Read more§unsafe fn raw_as_uninit<'a>(raw: *const T) -> &'a <T as AsMaybeUninit>::Uninit
unsafe fn raw_as_uninit<'a>(raw: *const T) -> &'a <T as AsMaybeUninit>::Uninit
Converts a raw pointer to a reference to maybe-uninit. Read more
§unsafe fn raw_mut_as_uninit<'a>(
raw: *mut T,
) -> &'a mut <T as AsMaybeUninit>::Uninit
unsafe fn raw_mut_as_uninit<'a>( raw: *mut T, ) -> &'a mut <T as AsMaybeUninit>::Uninit
Converts a raw mutable pointer to a mutable reference to maybe-uninit. Read more
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
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
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