Function binius_core::protocols::lasso::verify

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>
where
    C: TowerField,
    F: TowerField + ExtensionField<C>,
    Backend: ComputationBackend + 'static,

Verify a Lasso instance reduction.