Struct ark_linear_sumcheck::ml_sumcheck::MLSumcheck [−][src]
pub struct MLSumcheck<F: Field>(_);
Expand description
Sumcheck for products of multilinear polynomial
Implementations
extract sum from the proof
generate proof of the sum of polynomial over {0,1}^num_vars
The polynomial is represented by a list of products of polynomials along with its coefficient that is meant to be added together.
This data structure of the polynomial is a list of list of (coefficient, DenseMultilinearExtension)
.
- Number of products n =
polynomial.products.len()
, - Number of multiplicands of ith product m_i =
polynomial.products[i].1.len()
, - Coefficient of ith product c_i =
polynomial.products[i].0
The resulting polynomial is
$$\sum_{i=0}^{n}C_i\cdot\prod_{j=0}^{m_i}P_{ij}$$
Auto Trait Implementations
impl<F> RefUnwindSafe for MLSumcheck<F> where
F: RefUnwindSafe,
impl<F> Send for MLSumcheck<F>
impl<F> Sync for MLSumcheck<F>
impl<F> Unpin for MLSumcheck<F> where
F: Unpin,
impl<F> UnwindSafe for MLSumcheck<F> where
F: UnwindSafe,