Function eval_check_impl

pub fn eval_check_impl<H, C>(
    params: &EvalCheckParams,
    hal: &H,
    eval: &C,
) -> Vec<H::Elem>
where
    H: Hal<Elem = BabyBearElem, ExtElem = BabyBearExtElem>,
    C: CircuitHal<H>,