Refactor compute_proving_key and compute_witness #51

Closed arielgabizon closed 4 years ago