Skip to main content
Version: v1.3_alpha

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

NameTypeDescription
_proofuint256[8]The proof
vkstruct SnarkCommon.VerifyingKeyThe verifying key
inputuint256The public inputs to the circuit

Return Values

NameTypeDescription
[0]boolWhether 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.