Verifies if a Groth16 proof is valid or not.
The verification key used to verify the proof.
The proof containing public signals and zero-knowledge parameters.
True if the proof is valid, and false otherwise.
Verifies if a Groth16 proof is valid or not.