Refactor compute_witness and compute_proving_key #52

Closed arielgabizon closed 4 years ago