import { ProjectivePoint } from "../types.js";
export interface ProofOfBit {
    A0: ProjectivePoint;
    A1: ProjectivePoint;
    c0: bigint;
    s0: bigint;
    s1: bigint;
}
export interface Range {
    commitments: ProjectivePoint[];
    proofs: ProofOfBit[];
}
export declare function generateRangeProof(amount: bigint, bit_size: number, randomness: bigint[], initial_prefix: bigint): {
    r: bigint;
    range: Range;
};
export declare function verifyRangeProof(range_proof: Range, bit_size: number, initial_prefix: bigint): false | ProjectivePoint;