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

Type Alias OracleZerocheckProver

Source 
pub type OracleZerocheckProver<'a, PBase, P, FDomain, Backend> = UnivariateZerocheck<'a, 'a, FDomain, PBase, P, ArithCircuitPoly<<PBase as PackedField>::Scalar>, ArithCircuitPoly<<P as PackedField>::Scalar>, MultilinearWitness<'a, P>, Backend>;

Aliased Typeยง

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