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

Type Alias OracleZerocheckProver

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

Aliased Typeยง

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