binius_core::constraint_system::exp

Function make_claims

Source 
pub fn make_claims<F>(
    exponents: &[Exp<F>],
    oracles: &MultilinearOracleSet<F>,
    eval_point: &[F],
    evals: &[F],
) -> Result<Vec<ExpClaim<F>>, Error>
where
    F: TowerField,