import type { BaseContract, BigNumber, 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 SP1AutoVerifierInterface extends utils.Interface {
    functions: {
        "verifyProof(bytes32,bytes,bytes)": FunctionFragment;
    };
    getFunction(nameOrSignatureOrTopic: "verifyProof"): FunctionFragment;
    encodeFunctionData(functionFragment: "verifyProof", values: [BytesLike, BytesLike, BytesLike]): string;
    decodeFunctionResult(functionFragment: "verifyProof", data: BytesLike): Result;
    events: {};
}
export interface SP1AutoVerifier extends BaseContract {
    connect(signerOrProvider: Signer | Provider | string): this;
    attach(addressOrName: string): this;
    deployed(): Promise<this>;
    interface: SP1AutoVerifierInterface;
    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(arg0: BytesLike, arg1: BytesLike, arg2: BytesLike, overrides?: CallOverrides): Promise<[void]>;
    };
    verifyProof(arg0: BytesLike, arg1: BytesLike, arg2: BytesLike, overrides?: CallOverrides): Promise<void>;
    callStatic: {
        verifyProof(arg0: BytesLike, arg1: BytesLike, arg2: BytesLike, overrides?: CallOverrides): Promise<void>;
    };
    filters: {};
    estimateGas: {
        verifyProof(arg0: BytesLike, arg1: BytesLike, arg2: BytesLike, overrides?: CallOverrides): Promise<BigNumber>;
    };
    populateTransaction: {
        verifyProof(arg0: BytesLike, arg1: BytesLike, arg2: BytesLike, overrides?: CallOverrides): Promise<PopulatedTransaction>;
    };
}
