pub fn compute<F: FieldWitness>(
gate: Option<GateType>,
minimal: &MinimalForScalar<F>,
evals: &ProofEvaluations<PointEvaluations<F>>,
env: &ScalarsEnv<F>,
w: &mut Witness<F>,
) -> F
pub fn compute<F: FieldWitness>(
gate: Option<GateType>,
minimal: &MinimalForScalar<F>,
evals: &ProofEvaluations<PointEvaluations<F>>,
env: &ScalarsEnv<F>,
w: &mut Witness<F>,
) -> F