This PR adds a "dummy verifier" to Groth16 and a test which swaps G2 for the scalar field. This allows checking correctness without pairings. One change to the prover that was needed for everything to work is zero padding to the power of two without which verifier fails.
One small fix also added which corrects Projective::from_affine function for zero input.
This PR adds a "dummy verifier" to Groth16 and a test which swaps G2 for the scalar field. This allows checking correctness without pairings. One change to the prover that was needed for everything to work is zero padding to the power of two without which verifier fails. One small fix also added which corrects
Projective::from_affinefunction for zero input.