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 */ }