Skip to main content

Module sparse_dense_product

binius_ip_prover::sumcheck

Module sparse_dense_product 

Source
Expand description

Sumcheck prover for the product of a sparse and a dense multilinear.

Structs§

SparseDenseProductSumcheckProver
Proves the hypercube sum of the product of a sparse and a dense multilinear.
SparseMultiDenseProductSumcheckProver
Proves the hypercube sums of one sparse multilinear against several dense ones.

Type Aliases§

SparseEntry
One entry of a sparse multilinear: a hypercube index and the value carried there.