import type { ABIParameter, ABIParameterVisibility, AbiErrorType, AbiType, AbiValue, DebugFileMap, DebugInfo } from '../abi/abi.js';
export declare const AZTEC_PRIVATE_ATTRIBUTE = "abi_private";
export declare const AZTEC_PUBLIC_ATTRIBUTE = "abi_public";
export declare const AZTEC_UTILITY_ATTRIBUTE = "abi_utility";
export declare const AZTEC_ONLY_SELF_ATTRIBUTE = "abi_only_self";
export declare const AZTEC_INITIALIZER_ATTRIBUTE = "abi_initializer";
export declare const AZTEC_VIEW_ATTRIBUTE = "abi_view";
/** The ABI of an Aztec.nr function. */
export interface NoirFunctionAbi {
    /** The parameters of the function. */
    parameters: ABIParameter[];
    /** The return type of the function, or null for void functions. */
    return_type: {
        /**
         * The type of the return value.
         */
        abi_type: AbiType;
        /**
         * The visibility of the return value.
         */
        visibility: ABIParameterVisibility;
    } | null;
    /** Mapping of error selector => error type */
    error_types: Partial<Record<string, AbiErrorType>>;
}
/**
 * The compilation result of an Aztec.nr function.
 */
interface NoirFunctionEntry {
    /** The name of the function. */
    name: string;
    /** Whether the function is unconstrained. */
    is_unconstrained: boolean;
    /** Custom attributes attached to function */
    custom_attributes: string[];
    /** The ABI of the function. */
    abi: NoirFunctionAbi;
    /** The bytecode of the function in base64. */
    bytecode: string;
    /** The proving key. */
    proving_key?: string;
    /** The verification key. */
    verification_key?: string;
    /** The debug information, compressed and base64 encoded. */
    debug_symbols: string;
    /** Map opcode index to assert message for public functions */
    assert_messages?: Record<number, string>;
}
/**
 * The compilation result of an Aztec.nr contract.
 */
export interface NoirCompiledContract {
    /** The name of the contract. */
    name: string;
    /** The version of the Aztec stack that compiled this contract. */
    aztec_version: string;
    /** Is the contract's public bytecode transpiled? */
    transpiled?: boolean;
    /** The functions of the contract. */
    functions: NoirFunctionEntry[];
    /** The events of the contract */
    outputs: {
        structs: Record<string, AbiType[]>;
        globals: Record<string, AbiValue[]>;
    };
    /** The map of file ID to the source code and path of the file. */
    file_map: DebugFileMap;
}
/**
 * The compilation result of a protocol (non-contract) circuit.
 */
export interface NoirCompiledCircuit {
    /** The hash of the circuit. */
    hash?: number;
    /**
     * The ABI of the function.
     */
    abi: NoirFunctionAbi;
    /** The bytecode of the circuit in base64. */
    bytecode: string;
    /** The verification key of the circuit. */
    verificationKey: {
        /** hex-encoded binary */
        bytes: string;
        /** list of hex-encoded fields */
        fields: string[];
        /** The hex-encoded hash. */
        hash: string;
    };
    /** The debug information, compressed and base64 encoded. */
    debug_symbols: string;
    /** The map of file ID to the source code and path of the file. */
    file_map: DebugFileMap;
}
export interface NoirCompiledCircuitWithName extends NoirCompiledCircuit {
    /** The name of the circuit. */
    name: string;
}
/**
 * The debug metadata of an Aztec.nr contract.
 */
export interface NoirDebugMetadata {
    /**
     * The debug information for each function.
     */
    debug_symbols: DebugInfo[];
    /**
     * The map of file ID to the source code and path of the file.
     */
    file_map: DebugFileMap;
}
/**
 * The compilation artifacts of a given contract.
 */
export interface NoirContractCompilationArtifacts {
    /**
     * The compiled contract.
     */
    contract: NoirCompiledContract;
}
/**
 * The compilation artifacts of a given program.
 */
export interface NoirProgramCompilationArtifacts {
    /**
     * not part of the compilation output, injected later
     */
    name: string;
    /**
     * The compiled contract.
     */
    program: NoirCompiledCircuit;
}
/**
 * output of Noir Wasm compilation, can be for a contract or lib/binary
 */
export type NoirCompilationResult = NoirContractCompilationArtifacts | NoirProgramCompilationArtifacts;
/**
 * Check if it has Contract unique property
 */
export declare function isNoirContractCompilationArtifacts(artifact: NoirCompilationResult): artifact is NoirContractCompilationArtifacts;
/**
 * Check if it has Contract unique property
 */
export declare function isNoirProgramCompilationArtifacts(artifact: NoirCompilationResult): artifact is NoirProgramCompilationArtifacts;
export {};
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9ub2lyL2luZGV4LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sS0FBSyxFQUNWLFlBQVksRUFDWixzQkFBc0IsRUFDdEIsWUFBWSxFQUNaLE9BQU8sRUFDUCxRQUFRLEVBQ1IsWUFBWSxFQUNaLFNBQVMsRUFDVixNQUFNLGVBQWUsQ0FBQztBQUV2QixlQUFPLE1BQU0sdUJBQXVCLGdCQUFnQixDQUFDO0FBQ3JELGVBQU8sTUFBTSxzQkFBc0IsZUFBZSxDQUFDO0FBQ25ELGVBQU8sTUFBTSx1QkFBdUIsZ0JBQWdCLENBQUM7QUFDckQsZUFBTyxNQUFNLHlCQUF5QixrQkFBa0IsQ0FBQztBQUN6RCxlQUFPLE1BQU0sMkJBQTJCLG9CQUFvQixDQUFDO0FBQzdELGVBQU8sTUFBTSxvQkFBb0IsYUFBYSxDQUFDO0FBRS9DLHVDQUF1QztBQUN2QyxNQUFNLFdBQVcsZUFBZTtJQUM5QixzQ0FBc0M7SUFDdEMsVUFBVSxFQUFFLFlBQVksRUFBRSxDQUFDO0lBQzNCLG1FQUFtRTtJQUNuRSxXQUFXLEVBQUU7UUFDWDs7V0FFRztRQUNILFFBQVEsRUFBRSxPQUFPLENBQUM7UUFDbEI7O1dBRUc7UUFDSCxVQUFVLEVBQUUsc0JBQXNCLENBQUM7S0FDcEMsR0FBRyxJQUFJLENBQUM7SUFDVCw4Q0FBOEM7SUFDOUMsV0FBVyxFQUFFLE9BQU8sQ0FBQyxNQUFNLENBQUMsTUFBTSxFQUFFLFlBQVksQ0FBQyxDQUFDLENBQUM7Q0FDcEQ7QUFFRDs7R0FFRztBQUNILFVBQVUsaUJBQWlCO0lBQ3pCLGdDQUFnQztJQUNoQyxJQUFJLEVBQUUsTUFBTSxDQUFDO0lBQ2IsNkNBQTZDO0lBQzdDLGdCQUFnQixFQUFFLE9BQU8sQ0FBQztJQUMxQiw2Q0FBNkM7SUFDN0MsaUJBQWlCLEVBQUUsTUFBTSxFQUFFLENBQUM7SUFDNUIsK0JBQStCO0lBQy9CLEdBQUcsRUFBRSxlQUFlLENBQUM7SUFDckIsOENBQThDO0lBQzlDLFFBQVEsRUFBRSxNQUFNLENBQUM7SUFDakIsdUJBQXVCO0lBQ3ZCLFdBQVcsQ0FBQyxFQUFFLE1BQU0sQ0FBQztJQUNyQiw0QkFBNEI7SUFDNUIsZ0JBQWdCLENBQUMsRUFBRSxNQUFNLENBQUM7SUFDMUIsNERBQTREO0lBQzVELGFBQWEsRUFBRSxNQUFNLENBQUM7SUFDdEIsOERBQThEO0lBQzlELGVBQWUsQ0FBQyxFQUFFLE1BQU0sQ0FBQyxNQUFNLEVBQUUsTUFBTSxDQUFDLENBQUM7Q0FDMUM7QUFFRDs7R0FFRztBQUNILE1BQU0sV0FBVyxvQkFBb0I7SUFDbkMsZ0NBQWdDO0lBQ2hDLElBQUksRUFBRSxNQUFNLENBQUM7SUFDYixrRUFBa0U7SUFDbEUsYUFBYSxFQUFFLE1BQU0sQ0FBQztJQUN0QixvREFBb0Q7SUFDcEQsVUFBVSxDQUFDLEVBQUUsT0FBTyxDQUFDO0lBQ3JCLHFDQUFxQztJQUNyQyxTQUFTLEVBQUUsaUJBQWlCLEVBQUUsQ0FBQztJQUMvQixpQ0FBaUM7SUFDakMsT0FBTyxFQUFFO1FBQ1AsT0FBTyxFQUFFLE1BQU0sQ0FBQyxNQUFNLEVBQUUsT0FBTyxFQUFFLENBQUMsQ0FBQztRQUNuQyxPQUFPLEVBQUUsTUFBTSxDQUFDLE1BQU0sRUFBRSxRQUFRLEVBQUUsQ0FBQyxDQUFDO0tBQ3JDLENBQUM7SUFDRixrRUFBa0U7SUFDbEUsUUFBUSxFQUFFLFlBQVksQ0FBQztDQUN4QjtBQUVEOztHQUVHO0FBQ0gsTUFBTSxXQUFXLG1CQUFtQjtJQUNsQywrQkFBK0I7SUFDL0IsSUFBSSxDQUFDLEVBQUUsTUFBTSxDQUFDO0lBQ2Q7O09BRUc7SUFDSCxHQUFHLEVBQUUsZUFBZSxDQUFDO0lBQ3JCLDZDQUE2QztJQUM3QyxRQUFRLEVBQUUsTUFBTSxDQUFDO0lBQ2pCLDJDQUEyQztJQUMzQyxlQUFlLEVBQUU7UUFDZix5QkFBeUI7UUFDekIsS0FBSyxFQUFFLE1BQU0sQ0FBQztRQUNkLGlDQUFpQztRQUNqQyxNQUFNLEVBQUUsTUFBTSxFQUFFLENBQUM7UUFDakIsNEJBQTRCO1FBQzVCLElBQUksRUFBRSxNQUFNLENBQUM7S0FDZCxDQUFDO0lBQ0YsNERBQTREO0lBQzVELGFBQWEsRUFBRSxNQUFNLENBQUM7SUFDdEIsa0VBQWtFO0lBQ2xFLFFBQVEsRUFBRSxZQUFZLENBQUM7Q0FDeEI7QUFFRCxNQUFNLFdBQVcsMkJBQTRCLFNBQVEsbUJBQW1CO0lBQ3RFLCtCQUErQjtJQUMvQixJQUFJLEVBQUUsTUFBTSxDQUFDO0NBQ2Q7QUFFRDs7R0FFRztBQUNILE1BQU0sV0FBVyxpQkFBaUI7SUFDaEM7O09BRUc7SUFDSCxhQUFhLEVBQUUsU0FBUyxFQUFFLENBQUM7SUFDM0I7O09BRUc7SUFDSCxRQUFRLEVBQUUsWUFBWSxDQUFDO0NBQ3hCO0FBRUQ7O0dBRUc7QUFDSCxNQUFNLFdBQVcsZ0NBQWdDO0lBQy9DOztPQUVHO0lBQ0gsUUFBUSxFQUFFLG9CQUFvQixDQUFDO0NBQ2hDO0FBRUQ7O0dBRUc7QUFDSCxNQUFNLFdBQVcsK0JBQStCO0lBQzlDOztPQUVHO0lBQ0gsSUFBSSxFQUFFLE1BQU0sQ0FBQztJQUNiOztPQUVHO0lBQ0gsT0FBTyxFQUFFLG1CQUFtQixDQUFDO0NBQzlCO0FBRUQ7O0dBRUc7QUFDSCxNQUFNLE1BQU0scUJBQXFCLEdBQUcsZ0NBQWdDLEdBQUcsK0JBQStCLENBQUM7QUFFdkc7O0dBRUc7QUFDSCx3QkFBZ0Isa0NBQWtDLENBQ2hELFFBQVEsRUFBRSxxQkFBcUIsR0FDOUIsUUFBUSxJQUFJLGdDQUFnQyxDQUU5QztBQUVEOztHQUVHO0FBQ0gsd0JBQWdCLGlDQUFpQyxDQUMvQyxRQUFRLEVBQUUscUJBQXFCLEdBQzlCLFFBQVEsSUFBSSwrQkFBK0IsQ0FFN0MifQ==