Type Alias binius_core::protocols::sumcheck_v2::prove::oracles::OracleZerocheckProver
source · pub type OracleZerocheckProver<'a, FDomain, P, Backend> = ZerocheckProver<FDomain, P, TypeErasedComposition<P>, MultilinearWitness<'a, P>, Backend>;
Aliased Type§
struct OracleZerocheckProver<'a, FDomain, P, Backend> { /* private fields */ }