Skip to content
    hazBasehazBaseDocs
    API accessGitHub
    GuidesQuickstartMCPSDKHTTP APIPatternsBUILD WITH hazBase
    SMART CONTRACTS
    ← Contract catalog

    Verifier

    Verify zero-knowledge proofs against a circuit-specific verification key.

    Agreements, credentials & debtVerifier.sol

    Role and use

    Generate proofs in the application and verify the proof and public inputs on chain.

    Integration considerationsVerifiers 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.

    OperationPurpose
    verifyProofVerify 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 catalogPermissions & operations