Function complete_add

pub fn complete_add<F: FieldWitness>(
    evals: &ProofEvaluations<[F; 2]>,
    powers_of_alpha: &[F; 24],
) -> F