[Zenith] L-1 Calculating inverse of Z in projective_to_affine_montgomery may cause panic #61
Description
In projective_to_affine_montgomery, there is no zero check on point Z. If a user provides
an incorrect proof, it might cause the Groth16 verification to panic instead of returning the
expected result.
Recommendations:
Add explicit zero check in projective_to_affine_montgomery