import { Fr } from '@aztec/foundation/curves/bn254';
import { BufferReader } from '@aztec/foundation/serialize';
/**
 * The Proof class is a wrapper around the circuits proof.
 * Underlying it is a buffer of proof data in a form a barretenberg prover understands.
 * It provides methods to easily create, serialize, and deserialize the proof data for efficient
 * communication and storage.
 */
export declare class Proof {
    /**
     * Holds the serialized proof data in a binary buffer format.
     */
    buffer: Buffer;
    numPublicInputs: number;
    readonly __proofBrand: any;
    constructor(
    /**
     * Holds the serialized proof data in a binary buffer format.
     */
    buffer: Buffer, numPublicInputs: number);
    /**
     * Create a Proof from a Buffer or BufferReader.
     * Expects a length-encoding.
     *
     * @param buffer - A Buffer or BufferReader containing the length-encoded proof data.
     * @returns A Proof instance containing the decoded proof data.
     */
    static fromBuffer(buffer: Buffer | BufferReader): Proof;
    /**
     * Convert the Proof instance to a custom Buffer format.
     * This function serializes the Proof's buffer length and data sequentially into a new Buffer.
     *
     * @returns A Buffer containing the serialized proof data in custom format.
     */
    toBuffer(): Buffer<ArrayBufferLike>;
    /**
     * Serialize the Proof instance to a hex string.
     * @returns The hex string representation of the proof data.
     */
    toString(): `0x${string}`;
    /**
     * Returns the proof without the public inputs, but includes the pairing point object as part of the proof.
     * @returns Proof in bytes form, including the pairing point object at the start.
     */
    withoutPublicInputs(): Buffer;
    extractPublicInputs(): Fr[];
    /**
     * Deserialize a Proof instance from a hex string.
     * @param str - A hex string to deserialize from.
     * @returns - A new Proof instance.
     */
    static fromString(str: string): Proof;
    /** Returns whether this proof is actually empty. */
    isEmpty(): boolean;
    /** Returns an empty proof. */
    static empty(): Proof;
}
/**
 * Makes an empty proof.
 * Note: Used for local devnet milestone where we are not proving anything yet.
 * @returns The empty "proof".
 */
export declare function makeEmptyProof(): Proof;
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJvb2YuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9wcm9vZnMvcHJvb2YudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQ0EsT0FBTyxFQUFFLEVBQUUsRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBQ3BELE9BQU8sRUFBRSxZQUFZLEVBQXFCLE1BQU0sNkJBQTZCLENBQUM7QUFPOUU7Ozs7O0dBS0c7QUFDSCxxQkFBYSxLQUFLO0lBS2Q7O09BRUc7SUFDSSxNQUFNLEVBQUUsTUFBTTtJQUVkLGVBQWUsRUFBRSxNQUFNO0lBUmhDLFFBQVEsQ0FBQyxZQUFZLEVBQUUsR0FBRyxDQUFDO0lBRTNCO0lBQ0U7O09BRUc7SUFDSSxNQUFNLEVBQUUsTUFBTSxFQUVkLGVBQWUsRUFBRSxNQUFNLEVBQzVCO0lBRUo7Ozs7OztPQU1HO0lBQ0gsTUFBTSxDQUFDLFVBQVUsQ0FBQyxNQUFNLEVBQUUsTUFBTSxHQUFHLFlBQVksR0FBRyxLQUFLLENBTXREO0lBRUQ7Ozs7O09BS0c7SUFDSSxRQUFRLDRCQUVkO0lBRUQ7OztPQUdHO0lBQ0ksUUFBUSxrQkFFZDtJQUVEOzs7T0FHRztJQUNJLG1CQUFtQixJQUFJLE1BQU0sQ0FXbkM7SUFLTSxtQkFBbUIsSUFBSSxFQUFFLEVBQUUsQ0FVakM7SUFFRDs7OztPQUlHO0lBQ0gsTUFBTSxDQUFDLFVBQVUsQ0FBQyxHQUFHLEVBQUUsTUFBTSxTQUU1QjtJQUVELG9EQUFvRDtJQUM3QyxPQUFPLFlBSWI7SUFFRCw4QkFBOEI7SUFDOUIsTUFBTSxDQUFDLEtBQUssVUFFWDtDQUNGO0FBRUQ7Ozs7R0FJRztBQUNILHdCQUFnQixjQUFjLFVBRTdCIn0=