import type { BaseContract, BigNumberish, BytesLike, FunctionFragment, Result, Interface, ContractRunner, ContractMethod, Listener } from "ethers";
import type { TypedContractEvent, TypedDeferredTopicFilter, TypedEventLog, TypedListener, TypedContractMethod } from "../../common";
export declare namespace Pairing {
    type G1PointStruct = {
        x: BigNumberish;
        y: BigNumberish;
    };
    type G1PointStructOutput = [x: bigint, y: bigint] & {
        x: bigint;
        y: bigint;
    };
    type G2PointStruct = {
        x: [BigNumberish, BigNumberish];
        y: [BigNumberish, BigNumberish];
    };
    type G2PointStructOutput = [
        x: [bigint, bigint],
        y: [bigint, bigint]
    ] & {
        x: [bigint, bigint];
        y: [bigint, bigint];
    };
}
export declare namespace SnarkCommon {
    type VerifyingKeyStruct = {
        alpha1: Pairing.G1PointStruct;
        beta2: Pairing.G2PointStruct;
        gamma2: Pairing.G2PointStruct;
        delta2: Pairing.G2PointStruct;
        ic: Pairing.G1PointStruct[];
    };
    type VerifyingKeyStructOutput = [
        alpha1: Pairing.G1PointStructOutput,
        beta2: Pairing.G2PointStructOutput,
        gamma2: Pairing.G2PointStructOutput,
        delta2: Pairing.G2PointStructOutput,
        ic: Pairing.G1PointStructOutput[]
    ] & {
        alpha1: Pairing.G1PointStructOutput;
        beta2: Pairing.G2PointStructOutput;
        gamma2: Pairing.G2PointStructOutput;
        delta2: Pairing.G2PointStructOutput;
        ic: Pairing.G1PointStructOutput[];
    };
}
export interface VerifierInterface extends Interface {
    getFunction(nameOrSignature: "PRIME_Q" | "verify"): FunctionFragment;
    encodeFunctionData(functionFragment: "PRIME_Q", values?: undefined): string;
    encodeFunctionData(functionFragment: "verify", values: [BigNumberish[], SnarkCommon.VerifyingKeyStruct, BigNumberish[]]): string;
    decodeFunctionResult(functionFragment: "PRIME_Q", data: BytesLike): Result;
    decodeFunctionResult(functionFragment: "verify", data: BytesLike): Result;
}
export interface Verifier extends BaseContract {
    connect(runner?: ContractRunner | null): Verifier;
    waitForDeployment(): Promise<this>;
    interface: VerifierInterface;
    queryFilter<TCEvent extends TypedContractEvent>(event: TCEvent, fromBlockOrBlockhash?: string | number | undefined, toBlock?: string | number | undefined): Promise<Array<TypedEventLog<TCEvent>>>;
    queryFilter<TCEvent extends TypedContractEvent>(filter: TypedDeferredTopicFilter<TCEvent>, fromBlockOrBlockhash?: string | number | undefined, toBlock?: string | number | undefined): Promise<Array<TypedEventLog<TCEvent>>>;
    on<TCEvent extends TypedContractEvent>(event: TCEvent, listener: TypedListener<TCEvent>): Promise<this>;
    on<TCEvent extends TypedContractEvent>(filter: TypedDeferredTopicFilter<TCEvent>, listener: TypedListener<TCEvent>): Promise<this>;
    once<TCEvent extends TypedContractEvent>(event: TCEvent, listener: TypedListener<TCEvent>): Promise<this>;
    once<TCEvent extends TypedContractEvent>(filter: TypedDeferredTopicFilter<TCEvent>, listener: TypedListener<TCEvent>): Promise<this>;
    listeners<TCEvent extends TypedContractEvent>(event: TCEvent): Promise<Array<TypedListener<TCEvent>>>;
    listeners(eventName?: string): Promise<Array<Listener>>;
    removeAllListeners<TCEvent extends TypedContractEvent>(event?: TCEvent): Promise<this>;
    PRIME_Q: TypedContractMethod<[], [bigint], "view">;
    verify: TypedContractMethod<[
        _proof: BigNumberish[],
        verifyingKey: SnarkCommon.VerifyingKeyStruct,
        inputs: BigNumberish[]
    ], [
        boolean
    ], "view">;
    getFunction<T extends ContractMethod = ContractMethod>(key: string | FunctionFragment): T;
    getFunction(nameOrSignature: "PRIME_Q"): TypedContractMethod<[], [bigint], "view">;
    getFunction(nameOrSignature: "verify"): TypedContractMethod<[
        _proof: BigNumberish[],
        verifyingKey: SnarkCommon.VerifyingKeyStruct,
        inputs: BigNumberish[]
    ], [
        boolean
    ], "view">;
    filters: {};
}
//# sourceMappingURL=Verifier.d.ts.map