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

Type Alias OracleZerocheckProver

source 
pub type OracleZerocheckProver<'a, FDomain, PBase, P, Backend> = ZerocheckProver<'a, FDomain, PBase, P, TypeErasedComposition<PBase>, TypeErasedComposition<P>, MultilinearWitness<'a, P>, Backend>;

Aliased Typeยง

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