binius_core::protocols::sumcheck_v2::prove::oracles

Type Alias OracleSumcheckProver

source 
pub type OracleSumcheckProver<'a, FDomain, P, Backend> = RegularSumcheckProver<FDomain, P, TypeErasedComposition<P>, MultilinearWitness<'a, P>, Backend>;

Aliased Typeยง

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