Using SRS from ZCash MPC
- Adding function to import srs encoded as json in kzg.ml
- Updating setup_pp in polynomial_protocol.ml to import srs (instead of generating one)
- Adding script which given a power, downloads from ZCash the corresponding file, check its hash, extracts the srs and saves it