Function binius_core::protocols::lasso::verify
source · pub fn verify<C, F, Backend>(
oracles: &mut MultilinearOracleSet<F>,
claim: &LassoClaim<F>,
batch: &LassoBatches,
gamma: F,
alpha: F,
lasso_proof: LassoProof<F>,
backend: Backend
) -> Result<Vec<GrandProductClaim<F>>, Error>
Expand description
Verify a Lasso instance reduction.