Previously, we could not pre-load the Constraint Matrices (e.g. such as in the case of SnarkJS outputting ZKey files containing the coeffs). This PR enables this
How
extends the R1CStoQAP trait to directly compute the witness map from the Constraint Matrices
Creates a new function create_proof_with_qap_and_matrices & refactors the proof generation to be shared between the _matrices and _with_reduction call
Problem
Previously, we could not pre-load the Constraint Matrices (e.g. such as in the case of SnarkJS outputting ZKey files containing the coeffs). This PR enables this
How
create_proof_with_qap_and_matrices
& refactors the proof generation to be shared between the_matrices
and_with_reduction
call