binius_core::protocols::sumcheck::prove::univariate

Type Alias Prover

Source
pub type Prover<'a, FDomain, P, Backend> = RegularSumcheckProver<'a, FDomain, P, IndexComposition<BivariateProduct, 2>, MLEDirectAdapter<P>, Backend>;

Aliased Typeยง

struct Prover<'a, FDomain, P, Backend> { /* private fields */ }