IVerifier
Author: Matter Labs
Note: security-contact: security@matterlabs.dev
Functions
verify
Verifies a zk-SNARK proof.
function verify(uint256[] calldata _publicInputs, uint256[] calldata _proof)
external
view
returns (bool);
Returns
| Name | Type | Description |
|---|---|---|
<none> | bool | A boolean value indicating whether the zk-SNARK proof is valid. Note: The function may revert execution instead of returning false in some cases. |
verificationKeyHash
Calculates a keccak256 hash of the runtime loaded verification keys.
function verificationKeyHash() external view returns (bytes32);
Returns
| Name | Type | Description |
|---|---|---|
<none> | bytes32 | vkHash The keccak256 hash of the loaded verification keys. |