Struct ProverIdealChecked 

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

After step 3 (ideal check).

Implementations

impl<'a, Zt, U, C, const D: usize, const FD: usize> ProverIdealChecked<'a, Zt, U, C, D, FD>

where Zt: ZincTypes<D, FD>, Zt::Int: ProjectableToField<C>, Zt::CombR: MulByScalar<Zt::Chal>, <Zt::ArbitraryZt as ZipTypes>::Eval: ProjectableToField<C>, U: Uair<Prime = Zt::Fmod> + 'static, C: BaseFieldConfig<Integer = Zt::Fmod> + ProjectPrimitiveIntegersWithConfig + ProjectElementWithConfig<Zt::Int> + ProjectElementWithConfig<Zt::CombR> + ProjectElementWithConfig<Zt::Chal> + 'static, C::Integer: ConstTranscribable,

pub fn step4_eval_projection( self, ) -> Result<ProverEvalProjected<'a, Zt, U, C, D, FD>, ProtocolError<C::Element>>

Step 4: Evaluation projection ($\psi_a$: $F_q[X] \to F_q$).

Shared projecting element.

Sample one shared integer $a \in [0, q^*)$ once via shared_challenge::sample_shared_field_challenge 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 the per-prime $\psi$-projected trace MLEs / scalars from each fq_staging[i] using projecting_elements[i + 1], and threads them forward as projected_trace_f_fq / projected_scalars_f_fq for the per-prime CPR sumcheck in step 5.

Trait Implementations

impl<'a, Zt: Clone + ZincTypes<D, FD>, U: Clone + Uair, C: Clone + BaseFieldConfig, const D: usize, const FD: usize> Clone for ProverIdealChecked<'a, Zt, U, C, D, FD>

where C::Element: Clone, U::Scalar: Clone,

fn clone(&self) -> ProverIdealChecked<'a, Zt, U, C, 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>, U: Debug + Uair, C: Debug + BaseFieldConfig, const D: usize, const FD: usize> Debug for ProverIdealChecked<'a, Zt, U, C, D, FD>

where C::Element: Debug, U::Scalar: Debug,

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

Formats the value using the given formatter.