binius_core::constraint_system::exp

Function make_eval_claims

Source 
pub fn make_eval_claims<F: TowerField>(
    exponents: &[Exp<F>],
    base_exp_output: BaseExpReductionOutput<F>,
) -> Result<Vec<EvalcheckMultilinearClaim<F>>, Error>