Struct ProverSumchecked 

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

After step 5 (sumcheck).

Implementations

impl<'a, Zt, U, C, const D: usize, const FD: usize> ProverSumchecked<'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 step6_multipoint_eval( self, ) -> Result<ProverMultipointEvaled<'a, Zt, U, C, D, FD>, ProtocolError<C::Element>>

Step 6: Multi-point evaluation sumcheck. Combines up_evals and down_evals at r* into a single evaluation point r_0. Only the sumcheck proof is sent; scalar evaluations at r_0 are derived from the polynomial-valued lifted_evals in Step 7.

When the booleanity argument ran (witness binary-poly columns present), the multipoint-eval inputs are extended with one extra $\alpha’$-projected column MLE and one extra scalar up_eval $c_j = \sum_i b_{j,i},(\alpha’)^{i}$ per witness binary-poly column, placed at indices [num_total_cols, num_total_cols + num_wit_bin). On the Q-family these carry the real bit-slice bridge claim; on the per-prime families they are zero-padded so all families share the same column layout (UAIR rule D6: binary witness columns live only in Q[X], so per-prime families have no booleanity-bridge claim to make there). The shared layout lets a single $(n+1)$-family lockstep MP-eval produce a single shared $r_0$ across all families, which Phases H/I rely on for the lift-to-$Z$ + $q’‘$-anchored PCS open. No ShiftSpec references those indices, so down_evals/shifts are untouched and shifted booleanity is inherited from the un-shifted column (which continues to live at its original $\psi_a$-projected slot). See the module-level BooleanityChecker docs for the soundness argument (Schwartz-Zippel at $\alpha’$ + MP/PCS chain at $r_0$).

Trait Implementations

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

where C::Element: Clone,

fn clone(&self) -> ProverSumchecked<'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 ProverSumchecked<'a, Zt, U, C, D, FD>

where C::Element: Debug,

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

Formats the value using the given formatter.