Struct ProverEvalProjected 

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

After step 4 (eval projection). projected_scalars_fx has been consumed.

Implementations

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

Step 5: Combined CPR + Booleanity + Lookup multi-degree sumcheck over F_q. Batches the CPR constraint claim (degree max_deg+2), the booleanity argument (degree 3), and lookup groups (one per table type) into a single sumcheck sharing one evaluation point r*. Produces up_evals/down_evals (CPR), bit_slice_evals (booleanity), and lookup auxiliary witnesses at r*.

After booleanity’s finalize_prover absorbs all committed and affine bit_slice_evals into the transcript, this step squeezes a fresh challenge $\alpha’$ and stores it on ProverSumchecked. The actual Schwartz-Zippel bridge is installed in step6_multipoint_eval, which appends one extra $\alpha’$-projected witness-bin column MLE (and matching up_eval $c_j = \sum_i b_{j,i} (\alpha’)^i$) per witness binary-poly column to the multipoint-eval inputs. Unshifted affine virtuals are collapsed at the same $\alpha’$ and checked directly by the verifier against their source projections at $r^*$. Shifts continue to reference the original $\psi_a$-projected witness-bin slot, so down_evals are untouched: shifted booleanity is inherited from un-shifted booleanity (same committed column).

The PCS chain (step6_multipoint_eval + lifted-evals + Zip+ open) closes the bridge: at the random sumcheck output $r_0$, $\overline{u_j}(\alpha’) = \widetilde{g_j}(r_0)$ pins the appended column’s multilinear extension to the true $\alpha’$-projection $g_j$ of the committed $u_j$, replacing the previous underconstrained $\psi_a$ linear pin-down (sound only for $D=1$).

Trait Implementations

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

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

fn clone(&self) -> ProverEvalProjected<'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 ProverEvalProjected<'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.