binius_core::protocols::abstract_sumcheck

Trait AbstractSumcheckClaim

source 
pub trait AbstractSumcheckClaim<F: Field> {
    // Required methods
    fn n_vars(&self) -> usize;
    fn max_individual_degree(&self) -> usize;
    fn sum(&self) -> F;
}
Expand description

A sumcheck protocol claim.

A claim implicitly refers to a multivariate polynomial with a number of variables $\nu$, where the degree of each individual variable is bounded by $d$.

Required Methods§

source

fn n_vars(&self) -> usize

Returns the number of variables $\nu$ of the multivariate polynomial.

source

fn max_individual_degree(&self) -> usize

Returns the maximum individual degree $d$ of all variables.

source

fn sum(&self) -> F

Returns the claimed sum of the polynomial values over the $\nu$-dimensional boolean hypercube.

Implementors§