Function read_witnesses 

fn read_witnesses<F: FieldWitness>(path: &str) -> Vec<F>