Struct ProverProjectedCombined 

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

After step 2 via step2_combined (row-major / “combined” projection).

Implementations

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

Step 3 (combined): Ideal check via prove_combined on the row-major trace. Works for both linear and non-linear constraints.

Also runs one per-prime $F_{q_i}[X]$ ideal check per declared prime in UairSignature::primes(), in order. The per-prime trace and scalars are projected deterministically with q_i’s field_cfg.

Shared evaluation point. All $n + 1$ families share a single MLE evaluation point $r \in [0, q^*)^\mu$ sampled once from the transcript at the start of this step. Each family lifts the shared integer vector into its own field via $C::Element::from_with_cfg$. Since each shared integer is strictly less than every $q_i$, the lift is a type cast: all families agree on the underlying integer.

Trait Implementations

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

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

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