import type { BaseContract, BigNumber, BigNumberish, BytesLike, CallOverrides, PopulatedTransaction, Signer, utils } from "ethers";
import type { FunctionFragment, Result } from "@ethersproject/abi";
import type { Listener, Provider } from "@ethersproject/providers";
import type { TypedEventFilter, TypedEvent, TypedListener, OnEvent } from "../../common";
export interface IVerifierInterface extends utils.Interface {
    functions: {
        "verifyProof(uint256[],uint256[8])": FunctionFragment;
    };
    getFunction(nameOrSignatureOrTopic: "verifyProof"): FunctionFragment;
    encodeFunctionData(functionFragment: "verifyProof", values: [BigNumberish[], BigNumberish[]]): string;
    decodeFunctionResult(functionFragment: "verifyProof", data: BytesLike): Result;
    events: {};
}
export interface IVerifier extends BaseContract {
    connect(signerOrProvider: Signer | Provider | string): this;
    attach(addressOrName: string): this;
    deployed(): Promise<this>;
    interface: IVerifierInterface;
    queryFilter<TEvent extends TypedEvent>(event: TypedEventFilter<TEvent>, fromBlockOrBlockhash?: string | number | undefined, toBlock?: string | number | undefined): Promise<Array<TEvent>>;
    listeners<TEvent extends TypedEvent>(eventFilter?: TypedEventFilter<TEvent>): Array<TypedListener<TEvent>>;
    listeners(eventName?: string): Array<Listener>;
    removeAllListeners<TEvent extends TypedEvent>(eventFilter: TypedEventFilter<TEvent>): this;
    removeAllListeners(eventName?: string): this;
    off: OnEvent<this>;
    on: OnEvent<this>;
    once: OnEvent<this>;
    removeListener: OnEvent<this>;
    functions: {
        verifyProof(publicSignals: BigNumberish[], proof: BigNumberish[], overrides?: CallOverrides): Promise<[boolean]>;
    };
    verifyProof(publicSignals: BigNumberish[], proof: BigNumberish[], overrides?: CallOverrides): Promise<boolean>;
    callStatic: {
        verifyProof(publicSignals: BigNumberish[], proof: BigNumberish[], overrides?: CallOverrides): Promise<boolean>;
    };
    filters: {};
    estimateGas: {
        verifyProof(publicSignals: BigNumberish[], proof: BigNumberish[], overrides?: CallOverrides): Promise<BigNumber>;
    };
    populateTransaction: {
        verifyProof(publicSignals: BigNumberish[], proof: BigNumberish[], overrides?: CallOverrides): Promise<PopulatedTransaction>;
    };
}