Module ark_gm17::verifier

Verify proofs for the GM17 zkSNARK construction.

Functions

prepare_verifying_key	Prepare the verifying key vk for use in proof verification.
verify_proof	Verify a GrothMaller17 proof proof against the prepared verification key pvk, with respect to the instance public_inputs.