import { LegoProvingKey } from '../legosnark';
import { BytearrayWrapper } from '../bytearray-wrapper';
import { ICompressed, IUncompressed } from '../ICompressed';
/**
 * Create SNARK proving key for verifying bounds of a message, i.e. range proof.
 * This protocol only works with positive integers so any negative integers or decimal numbers
 * must be converted to positive integers
 */
export declare function BoundCheckSnarkSetup(): LegoProvingKey;
/**
 * Setup for verifying bounds of a message, i.e. range proof. This uses set-membership check based
 * range proof with Keyed-Verification, i.e. the verifier possess a secret key to verify the proofs.
 * This is more efficient than the set membership check where the public params are same for everyone.
 * This returns separate params for prover and verifier and the verifier should never share his params
 * with the prover as they contain a secret.
 * This protocol only works with positive integers so any negative integers or decimal numbers
 * must be converted to positive integers
 */
export declare function BoundCheckSmcWithKVSetup(label: Uint8Array, base?: number): [BoundCheckSmcWithKVProverParams, BoundCheckSmcWithKVVerifierParams];
/**
 * Uncompressed version of `BoundCheckBppParams`
 */
export declare class BoundCheckBppParamsUncompressed extends BytearrayWrapper implements IUncompressed {
}
/**
 * Setup params for verifying bounds of a message, i.e. range proof using Bulletproofs++
 * This protocol only works with positive integers so any negative integers or decimal numbers
 * must be converted to positive integers
 * @constructor
 */
export declare class BoundCheckBppParams extends BytearrayWrapper implements ICompressed<BoundCheckBppParamsUncompressed> {
    /**
     *
     * @param label - Some publicly known bytes that are hashed to create the params. The same label will generate
     * the same params
     * @param base
     * @param valueBitSize
     */
    constructor(label: Uint8Array, base?: number, valueBitSize?: number);
    decompress(): BoundCheckBppParamsUncompressed;
}
/**
 * Uncompressed version of `BoundCheckSmcParams`
 */
export declare class BoundCheckSmcParamsUncompressed extends BytearrayWrapper implements IUncompressed {
}
/**
 * Setup params for verifying bounds of a message, i.e. range proof using set-membership check
 * This protocol only works with positive integers so any negative integers or decimal numbers
 * must be converted to positive integers
 * @constructor
 */
export declare class BoundCheckSmcParams extends BytearrayWrapper implements ICompressed<BoundCheckSmcParamsUncompressed> {
    /**
     *
     * @param label - Some publicly known bytes that are hashed to create the params. The same label will not
     * generate the same params
     * @param base
     */
    constructor(label: Uint8Array, base?: number);
    decompress(): BoundCheckSmcParamsUncompressed;
}
/**
 * Uncompressed version of `BoundCheckSmcWithKVVerifierParams`
 */
export declare class BoundCheckSmcWithKVProverParamsUncompressed extends BytearrayWrapper implements IUncompressed {
}
/**
 * Params used by the prover for set-membership check based range proof with keyed verification
 */
export declare class BoundCheckSmcWithKVProverParams extends BytearrayWrapper implements ICompressed<BoundCheckSmcWithKVProverParamsUncompressed> {
    decompress(): BoundCheckSmcWithKVProverParamsUncompressed;
}
/**
 * Uncompressed version of `BoundCheckSmcWithKVVerifierParams`
 */
export declare class BoundCheckSmcWithKVVerifierParamsUncompressed extends BytearrayWrapper implements IUncompressed {
}
/**
 * Params used by the verifier for set-membership check based range proof with keyed verification. The verifier should not share these
 * with anyone as they contain a secret
 */
export declare class BoundCheckSmcWithKVVerifierParams extends BytearrayWrapper implements ICompressed<BoundCheckSmcWithKVVerifierParamsUncompressed> {
    decompress(): BoundCheckSmcWithKVVerifierParamsUncompressed;
}
//# sourceMappingURL=index.d.ts.map