Function construct_gkr_exp_claims

Source
pub fn construct_gkr_exp_claims<F>(
    exponents_ids: &[Vec<OracleId>],
    evals: &[F],
    static_bases: Vec<Option<F>>,
    oracles: &MultilinearOracleSet<F>,
    eval_point: &[F],
) -> Result<Vec<ExpClaim<F>>, Error>
where F: TowerField,