Function binius_core::protocols::msetcheck::verify

pub fn verify<F: TowerField>(
    oracles: &mut MultilinearOracleSet<F>,
    claim: &MsetcheckClaim<F>,
    gamma: F,
    alpha: Option<F>,
    msetcheck_proof: MsetcheckProof<F>
) -> Result<Vec<GrandProductClaim<F>>, Error>

Verify a multiset check instance reduction.