Verifier
https://docs.hazbase.com/en/smart-contracts/contracts/verifier/

SMART CONTRACTS
 ← Contract catalog Verifier
 Verify zero-knowledge proofs against a circuit-specific verification key.
 Overview Contract catalog Choose by use case Permissions & operations Agreements, credentials & debt Verifier .sol 
 Role and use
 Generate proofs in the application and verify the proof and public inputs on chain.
 Integration considerations Verifiers are circuit-specific. Match the source verifyProof interface to the proof’s public inputs.

 Key contract operations
 Key entry points for direct contract calls. Consult the linked implementation and matching ABI for parameters, types and access conditions.
 Operation Purpose 
 verifyProof Verify a proof and its public inputs 

 Proof generation and ZK SDK reference 
 Related contracts
 MultiTrustCredential Manage participant metrics, credentials and proofs.
 Whitelist Manage eligibility records used by token and transfer policies.

 Put it into practice
 Evidence & disclosure
 See the data model, processing sequence and SDK code for an application-level implementation.
 Read the implementation pattern 
 Specification and source
 The Solidity source is pinned to the revision below. Match it with the SDK version and your network’s implementation address and ABI.
 verifier/contracts/Verifier.sol Source revision : b53a5b5 

 ← Back to the contract catalog Permissions & operations