import { BaseProofParam, BaseProofResult, DarkSwapNote } from "../../types";
export declare type WithdrawProofParam = BaseProofParam & {
    merkleRoot: string;
    merkleIndex: number[];
    merklePath: string[];
    oldBalance: DarkSwapNote;
    newBalance: DarkSwapNote;
};
export declare type WithdrawProofResult = BaseProofResult & {
    oldBalanceNullifier: string;
    newBalanceFooter: string;
};
export declare function generateWithdrawProof(param: WithdrawProofParam): Promise<WithdrawProofResult>;