// This file was autogenerated by Hardhat, do not edit it.
// prettier-ignore
// tslint:disable
// eslint-disable
// biome-ignore format: see above

export interface ICircuitVerifier$Type {
  readonly _format: "hh3-artifact-1";
  readonly contractName: "ICircuitVerifier";
  readonly sourceName: "contracts/interfaces/ICircuitVerifier.sol";
  readonly abi: [{"inputs":[{"internalType":"bytes","name":"_proof","type":"bytes"},{"internalType":"bytes32[]","name":"_publicInputs","type":"bytes32[]"}],"name":"verify","outputs":[{"internalType":"bool","name":"","type":"bool"}],"stateMutability":"view","type":"function"}];
  readonly bytecode: "0x";
  readonly deployedBytecode: "0x";
  readonly linkReferences: {};
  readonly deployedLinkReferences: {};
  readonly immutableReferences: {};
  readonly inputSourceName: "project/contracts/interfaces/ICircuitVerifier.sol";
  readonly buildInfoId: "solc-0_8_28-58b894a0ac77a2d784be77b69288a062b8f6f518";
};

import "hardhat/types/artifacts";
declare module "hardhat/types/artifacts" {
  interface ArtifactMap {
    ["ICircuitVerifier"]: ICircuitVerifier$Type;
    ["contracts/interfaces/ICircuitVerifier.sol:ICircuitVerifier"]: ICircuitVerifier$Type;
  }
}