Function compute_witness

pub fn compute_witness<C: ProofConstants, F: FieldWitness>(
    prover: &Prover<F>,
    w: &Witness<F>,
) -> [Vec<F>; 15]