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>Expand description
Verify a multiset check instance reduction.