Struct binius_core::protocols::gkr_sumcheck::GkrSumcheckWitness

pub struct GkrSumcheckWitness<P, C, M>
where
    P: PackedField,
    C: CompositionPoly<P>,
    M: MultilinearPoly<P> + Clone + Send + Sync,
{
    pub poly: MultilinearComposite<P, C, M>,
    pub current_layer: M,
}

Witness for the GKR Sumcheck protocol

The prover will prove a claim of the following flavor

• $\sum_{x \in {0, 1}^n} f(x) * \mathsf{eq}(x, r) = s$.

Fields

poly: MultilinearComposite<P, C, M>

The $n$-variate multilinear composite polynomial $f(x)$

current_layer: M

The $n$-variate multilinear witness $R_0(x)$ of the values of the evaluated GKR circuit at the current layer. This is useful advice to the honest prover as it will equal the multilinear witness of the boolean hypercube evaluations of $f(x)$ This fact allows for less computation in round 0.

Specifically $\forall x \in {0, 1}^n, f(x) = R_0(x)$

Trait Implementations

impl<P, C, M> AbstractSumcheckWitness<P> for GkrSumcheckWitness<P, C, M>

where P: PackedField, C: CompositionPoly<P>, M: MultilinearPoly<P> + Clone + Send + Sync,

type MultilinearId = (usize, usize)

Some identifier of a multilinear witness that is used to deduplicate the witness index when folding.

type Composition = C

type Multilinear = M

fn composition(&self) -> &C

fn multilinears( &self, seq_id: usize, _claim_multilinear_ids: &[(usize, usize)] ) -> Result<impl IntoIterator<Item = ((usize, usize), M)>, AbstractSumcheckError>

Extract multilinear witnesses out of composite sumcheck witness.

impl<P, C, M> Clone for GkrSumcheckWitness<P, C, M>

where P: PackedField + Clone, C: CompositionPoly<P> + Clone, M: MultilinearPoly<P> + Clone + Send + Sync + Clone,

fn clone(&self) -> GkrSumcheckWitness<P, C, M>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<P, C, M> Debug for GkrSumcheckWitness<P, C, M>

where P: PackedField + Debug, C: CompositionPoly<P> + Debug, M: MultilinearPoly<P> + Clone + Send + Sync + Debug,

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

Formats the value using the given formatter.