IVerifier

an interface for a Groth16 verifier contract

verify

function verify(uint256[8] _proof, struct SnarkCommon.VerifyingKey vk, uint256 input) external view returns (bool)

Verify a zk-SNARK proof

Parameters

Name	Type	Description
_proof	uint256[8]	The proof
vk	struct SnarkCommon.VerifyingKey	The verifying key
input	uint256	The public inputs to the circuit

Return Values

Name	Type	Description
[0]	bool	Whether the proof is valid given the verifying key and public input. Note that this function only supports one public input. Refer to the Semaphore source code for a verifier that supports multiple public inputs.