Struct VerifierLiftedEvalsChecked 

pub struct VerifierLiftedEvalsChecked<'a, Zt: ZincTypes<D, FD>, C: BaseFieldConfig, IdealOverF, const D: usize, const FD: usize> { /* private fields */ }

After step 6 (lifted evals verification).

Implementations

impl<'a, Zt, C, IdealOverF, const D: usize, const FD: usize> VerifierLiftedEvalsChecked<'a, Zt, C, IdealOverF, D, FD>

where Zt: ZincTypes<D, FD>, C: BaseFieldConfig<Integer = Zt::Fmod> + ProjectPrimitiveIntegersWithConfig + ProjectElementWithConfig<Zt::CombR> + ProjectElementWithConfig<Zt::Chal> + Clone + Send + Sync + 'static, IdealOverF: Ideal,

pub fn step7_pcs_verify<U: Uair, const CHECK_FOR_OVERFLOW: bool>( self, ) -> Result<VerifierPcsVerified<IdealOverF>, ProtocolError<C::Element>>

Step 7: PCS verification at $r^\star := r_0 \bmod q’‘$, using the $q’’$-family lifted evals sent by the prover and recovered into lifted_evals_pp during step 6.

$q’‘$ was sampled at the start of step 6. Here we sample binary folding challenges under $q’’$ and run the per-commitment PCS verify.

Per-poly claims for verify_with_alphas are computed directly from lifted_evals_pp[witness_range] — no per-coefficient $\phi_{q’‘}$ lift is needed because the prover already sent each $\bar u_j^{(q’‘)} \in F_{q’’}[X]$.

Trait Implementations

impl<'a, Zt: Clone + ZincTypes<D, FD>, C: Clone + BaseFieldConfig, IdealOverF: Clone, const D: usize, const FD: usize> Clone for VerifierLiftedEvalsChecked<'a, Zt, C, IdealOverF, D, FD>

where C::Element: Clone,

fn clone(&self) -> VerifierLiftedEvalsChecked<'a, Zt, C, IdealOverF, D, FD>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a, Zt: Debug + ZincTypes<D, FD>, C: Debug + BaseFieldConfig, IdealOverF: Debug, const D: usize, const FD: usize> Debug for VerifierLiftedEvalsChecked<'a, Zt, C, IdealOverF, D, FD>

where C::Element: Debug,

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

Formats the value using the given formatter.