import { ZkTx } from '@zkopru/transaction';
export interface VerifyingKey {
    protocol: string;
    nPublic: number;
    curve: string;
    vk_alpha_1: BigInt[];
    vk_beta_2: BigInt[][];
    vk_gamma_2: BigInt[][];
    vk_delta_2: BigInt[][];
    vk_alphabeta_12: BigInt;
    IC: BigInt[][];
}
export declare function verifyingKeyIdentifier(nI: number, nO: number): string;
export declare class SNARKVerifier {
    vks: {
        [txType: string]: VerifyingKey;
    };
    constructor(vks?: {
        [txType: string]: VerifyingKey;
    });
    hasVK(inflowLen: number, outflowLen: number): boolean;
    addVerifyingKey(nI: number, nO: number, vk: VerifyingKey): void;
    verifyTx(tx: ZkTx): Promise<boolean>;
    verifyTxs(txs: ZkTx[]): Promise<{
        result: boolean;
        index?: number;
    }>;
}
//# sourceMappingURL=snark-verifier.d.ts.map