import { BigNumberish } from "ethers";
import { Inputs } from "./types";
import { SnarkProof } from "./snark-proof";
export declare type CircuitPath = {
    wasmPath: string;
    zkeyPath: string;
} | null;
export declare type UserParams = {
    secret: BigNumberish;
    value: BigNumberish;
    destinationIdentifier: BigNumberish;
    chainId: BigNumberish;
    commitmentReceipt: [BigNumberish, BigNumberish, BigNumberish];
    commitmentSignerPubKey: [BigNumberish, BigNumberish];
    groupId: BigNumberish;
    ticketIdentifier: BigNumberish;
    claimedValue: BigNumberish;
    isStrict: boolean;
};
export declare class Pythia1Prover {
    private esmOverrideCircuitPath;
    constructor(esmOverrideCircuitPath?: CircuitPath);
    generateInputs({ secret, value, destinationIdentifier, chainId, commitmentReceipt, groupId, commitmentSignerPubKey, ticketIdentifier, claimedValue, isStrict, }: UserParams): Promise<Inputs>;
    userParamsValidation({ secret, value, destinationIdentifier, chainId, commitmentReceipt, commitmentSignerPubKey, groupId, ticketIdentifier, claimedValue, isStrict, }: UserParams): Promise<void>;
    generateSnarkProof({ secret, value, destinationIdentifier, chainId, commitmentReceipt, commitmentSignerPubKey, groupId, ticketIdentifier, claimedValue, isStrict, }: UserParams): Promise<SnarkProof>;
}