binius_core::protocols::sumcheck::prove::oracles

Type Alias OracleSumcheckProver

Source
pub type OracleSumcheckProver<'a, FDomain, P, Backend> = RegularSumcheckProver<'a, FDomain, P, ArithCircuitPoly<<P as PackedField>::Scalar>, MultilinearWitness<'a, P>, Backend>;

Aliased Typeยง

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