pub fn eval<F: FieldWitness>(
e: &Expr<ConstantExpr<F, BerkeleyChallengeTerm>, Column>,
ctx: &mut EvalContext<'_, F>,
) -> F
pub fn eval<F: FieldWitness>(
e: &Expr<ConstantExpr<F, BerkeleyChallengeTerm>, Column>,
ctx: &mut EvalContext<'_, F>,
) -> F