import { Field } from "o1js";
export { NullifierMTH16Witness, NullifierMTH16, MERKLE_HEIGHT, };
declare const MERKLE_HEIGHT = 16;
declare const NullifierMTH16Witness_base: typeof import("o1js/dist/node/lib/provable/merkle-tree.js").BaseMerkleWitness;
declare class NullifierMTH16Witness extends NullifierMTH16Witness_base {
}
declare class NullifierMTH16 {
    private merkleTree;
    private index;
    private leafs;
    constructor();
    build(leafs: {
        value: Field;
    }[]): this;
    toJSON(): string;
    fromJSON(json: string): this;
    addLeafs(leafs: {
        value: Field;
    }[]): this;
    /** Total number of active leafs in the tree */
    size(): bigint;
    /** Index of last leaf in the tree */
    lastIndex(): bigint;
    root(): Field;
    witness(index: bigint): NullifierMTH16Witness;
    /** Assert this leaf(index,value) belongs to this Nullifier */
    assertLeaf(root: Field, index: bigint, value: Field): boolean;
}