import type { WitnessMap } from '@aztec/noir-acvm_js';
import type { Abi } from '@aztec/noir-types';
import type { HidingKernelToPublicPrivateInputs, HidingKernelToRollupPrivateInputs, PrivateKernelCircuitPublicInputs, PrivateKernelInit2CircuitPrivateInputs, PrivateKernelInit3CircuitPrivateInputs, PrivateKernelInitCircuitPrivateInputs, PrivateKernelInner2CircuitPrivateInputs, PrivateKernelInner3CircuitPrivateInputs, PrivateKernelInnerCircuitPrivateInputs, PrivateKernelResetCircuitPrivateInputsVariants, PrivateKernelResetTailCircuitPrivateInputs, PrivateKernelTailCircuitPublicInputs } from '@aztec/stdlib/kernel';
/**
 * Converts the inputs of the private kernel init circuit into a witness map
 * @param inputs - The private kernel inputs.
 * @returns The witness map
 */
export declare function convertPrivateKernelInitInputsToWitnessMapWithAbi(privateKernelInitCircuitPrivateInputs: PrivateKernelInitCircuitPrivateInputs, privateKernelInitAbi: Abi): WitnessMap;
/**
 * Converts the inputs of the batched private kernel init-2 circuit (two app calls) into a witness map.
 * @param inputs - The batched private kernel inputs.
 * @returns The witness map
 */
export declare function convertPrivateKernelInit2InputsToWitnessMapWithAbi(inputs: PrivateKernelInit2CircuitPrivateInputs, privateKernelInit2Abi: Abi): WitnessMap;
/**
 * Converts the inputs of the batched private kernel init-3 circuit (three app calls) into a witness map.
 * @param inputs - The batched private kernel inputs.
 * @returns The witness map
 */
export declare function convertPrivateKernelInit3InputsToWitnessMapWithAbi(inputs: PrivateKernelInit3CircuitPrivateInputs, privateKernelInit3Abi: Abi): WitnessMap;
/**
 * Converts the inputs of the private kernel inner circuit into a witness map
 * @param inputs - The private kernel inputs.
 * @returns The witness map
 */
export declare function convertPrivateKernelInnerInputsToWitnessMapWithAbi(privateKernelInnerCircuitPrivateInputs: PrivateKernelInnerCircuitPrivateInputs, privateKernelInnerAbi: Abi): WitnessMap;
/**
 * Converts the inputs of the batched private kernel inner-2 circuit (two app calls) into a witness map.
 * @param inputs - The batched private kernel inputs.
 * @returns The witness map
 */
export declare function convertPrivateKernelInner2InputsToWitnessMapWithAbi(inputs: PrivateKernelInner2CircuitPrivateInputs, privateKernelInner2Abi: Abi): WitnessMap;
/**
 * Converts the inputs of the batched private kernel inner-3 circuit (three app calls) into a witness map.
 * @param inputs - The batched private kernel inputs.
 * @returns The witness map
 */
export declare function convertPrivateKernelInner3InputsToWitnessMapWithAbi(inputs: PrivateKernelInner3CircuitPrivateInputs, privateKernelInner3Abi: Abi): WitnessMap;
/**
 * Converts the inputs of the private kernel reset circuit into a witness map
 * @param inputs - The private kernel inputs.
 * @returns The witness map
 */
export declare function convertPrivateKernelResetInputsToWitnessMapWithAbi<NH_RR_PENDING extends number, NH_RR_SETTLED extends number, NLL_RR_PENDING extends number, NLL_RR_SETTLED extends number, KEY_VALIDATION_HINTS_LEN extends number, TRANSIENT_DATA_HINTS_LEN extends number>(privateKernelResetCircuitPrivateInputs: PrivateKernelResetCircuitPrivateInputsVariants<NH_RR_PENDING, NH_RR_SETTLED, NLL_RR_PENDING, NLL_RR_SETTLED, KEY_VALIDATION_HINTS_LEN, TRANSIENT_DATA_HINTS_LEN>, resetAbi: Abi): WitnessMap;
/**
 * Converts the inputs of the rollup-bound reset+tail circuit into a witness map.
 */
export declare function convertPrivateKernelResetTailInputsToWitnessMapWithAbi(inputs: PrivateKernelResetTailCircuitPrivateInputs, abi: Abi): WitnessMap;
/**
 * Converts the inputs of the public-bound reset+tail-to-public circuit into a witness map.
 */
export declare function convertPrivateKernelResetTailToPublicInputsToWitnessMapWithAbi(inputs: PrivateKernelResetTailCircuitPrivateInputs, abi: Abi): WitnessMap;
export declare function convertHidingKernelToRollupInputsToWitnessMapWithAbi(inputs: HidingKernelToRollupPrivateInputs, abi: Abi): WitnessMap;
export declare function convertHidingKernelPublicInputsToWitnessMapWithAbi(inputs: HidingKernelToPublicPrivateInputs, abi: Abi): WitnessMap;
/**
 * Converts the outputs of the private kernel init circuit from a witness map.
 * @param outputs - The private kernel outputs as a witness map.
 * @returns The public inputs.
 */
export declare function convertPrivateKernelInitOutputsFromWitnessMapWithAbi(outputs: WitnessMap, privateKernelInitAbi: Abi): PrivateKernelCircuitPublicInputs;
/**
 * Converts the outputs of the batched private kernel init-2 circuit from a witness map.
 * @param outputs - The private kernel outputs as a witness map.
 * @returns The public inputs.
 */
export declare function convertPrivateKernelInit2OutputsFromWitnessMapWithAbi(outputs: WitnessMap, privateKernelInit2Abi: Abi): PrivateKernelCircuitPublicInputs;
/**
 * Converts the outputs of the batched private kernel init-3 circuit from a witness map.
 * @param outputs - The private kernel outputs as a witness map.
 * @returns The public inputs.
 */
export declare function convertPrivateKernelInit3OutputsFromWitnessMapWithAbi(outputs: WitnessMap, privateKernelInit3Abi: Abi): PrivateKernelCircuitPublicInputs;
/**
 * Converts the outputs of the private kernel inner circuit from a witness map.
 * @param outputs - The private kernel outputs as a witness map.
 * @returns The public inputs.
 */
export declare function convertPrivateKernelInnerOutputsFromWitnessMapWithAbi(outputs: WitnessMap, privateKernelInnerAbi: Abi): PrivateKernelCircuitPublicInputs;
/**
 * Converts the outputs of the batched private kernel inner-2 circuit from a witness map.
 * @param outputs - The private kernel outputs as a witness map.
 * @returns The public inputs.
 */
export declare function convertPrivateKernelInner2OutputsFromWitnessMapWithAbi(outputs: WitnessMap, privateKernelInner2Abi: Abi): PrivateKernelCircuitPublicInputs;
/**
 * Converts the outputs of the batched private kernel inner-3 circuit from a witness map.
 * @param outputs - The private kernel outputs as a witness map.
 * @returns The public inputs.
 */
export declare function convertPrivateKernelInner3OutputsFromWitnessMapWithAbi(outputs: WitnessMap, privateKernelInner3Abi: Abi): PrivateKernelCircuitPublicInputs;
/**
 * Converts the outputs of the private kernel reset circuit from a witness map.
 * @param outputs - The private kernel outputs as a witness map.
 * @returns The public inputs.
 */
export declare function convertPrivateKernelResetOutputsFromWitnessMapWithAbi(outputs: WitnessMap, resetAbi: Abi): PrivateKernelCircuitPublicInputs;
/**
 * Converts the outputs of the private kernel tail circuit from a witness map.
 * @param outputs - The private kernel outputs as a witness map.
 * @returns The public inputs.
 */
export declare function convertPrivateKernelTailOutputsFromWitnessMapWithAbi(outputs: WitnessMap, privateKernelTailAbi: Abi): PrivateKernelTailCircuitPublicInputs;
/**
 * Converts the outputs of the private kernel tail for public circuit from a witness map.
 * @param outputs - The private kernel outputs as a witness map.
 * @returns The public inputs.
 */
export declare function convertPrivateKernelTailForPublicOutputsFromWitnessMapWithAbi(outputs: WitnessMap, privateKernelTailToPublicAbi: Abi): PrivateKernelTailCircuitPublicInputs;
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY2xpZW50LmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvZXhlY3V0aW9uL2NsaWVudC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFFQSxPQUFPLEtBQUssRUFBRSxVQUFVLEVBQUUsTUFBTSxxQkFBcUIsQ0FBQztBQUV0RCxPQUFPLEtBQUssRUFBRSxHQUFHLEVBQVksTUFBTSxtQkFBbUIsQ0FBQztBQUN2RCxPQUFPLEtBQUssRUFDVixpQ0FBaUMsRUFDakMsaUNBQWlDLEVBQ2pDLGdDQUFnQyxFQUNoQyxzQ0FBc0MsRUFDdEMsc0NBQXNDLEVBQ3RDLHFDQUFxQyxFQUNyQyx1Q0FBdUMsRUFDdkMsdUNBQXVDLEVBQ3ZDLHNDQUFzQyxFQUN0Qyw4Q0FBOEMsRUFDOUMsMENBQTBDLEVBQzFDLG9DQUFvQyxFQUNyQyxNQUFNLHNCQUFzQixDQUFDO0FBK0M5Qjs7OztHQUlHO0FBQ0gsd0JBQWdCLGlEQUFpRCxDQUMvRCxxQ0FBcUMsRUFBRSxxQ0FBcUMsRUFDNUUsb0JBQW9CLEVBQUUsR0FBRyxHQUN4QixVQUFVLENBZVo7QUFFRDs7OztHQUlHO0FBQ0gsd0JBQWdCLGtEQUFrRCxDQUNoRSxNQUFNLEVBQUUsc0NBQXNDLEVBQzlDLHFCQUFxQixFQUFFLEdBQUcsR0FDekIsVUFBVSxDQWNaO0FBRUQ7Ozs7R0FJRztBQUNILHdCQUFnQixrREFBa0QsQ0FDaEUsTUFBTSxFQUFFLHNDQUFzQyxFQUM5QyxxQkFBcUIsRUFBRSxHQUFHLEdBQ3pCLFVBQVUsQ0FnQlo7QUFFRDs7OztHQUlHO0FBQ0gsd0JBQWdCLGtEQUFrRCxDQUNoRSxzQ0FBc0MsRUFBRSxzQ0FBc0MsRUFDOUUscUJBQXFCLEVBQUUsR0FBRyxHQUN6QixVQUFVLENBY1o7QUFFRDs7OztHQUlHO0FBQ0gsd0JBQWdCLG1EQUFtRCxDQUNqRSxNQUFNLEVBQUUsdUNBQXVDLEVBQy9DLHNCQUFzQixFQUFFLEdBQUcsR0FDMUIsVUFBVSxDQVdaO0FBRUQ7Ozs7R0FJRztBQUNILHdCQUFnQixtREFBbUQsQ0FDakUsTUFBTSxFQUFFLHVDQUF1QyxFQUMvQyxzQkFBc0IsRUFBRSxHQUFHLEdBQzFCLFVBQVUsQ0FhWjtBQUVEOzs7O0dBSUc7QUFDSCx3QkFBZ0Isa0RBQWtELENBQ2hFLGFBQWEsU0FBUyxNQUFNLEVBQzVCLGFBQWEsU0FBUyxNQUFNLEVBQzVCLGNBQWMsU0FBUyxNQUFNLEVBQzdCLGNBQWMsU0FBUyxNQUFNLEVBQzdCLHdCQUF3QixTQUFTLE1BQU0sRUFDdkMsd0JBQXdCLFNBQVMsTUFBTSxFQUV2QyxzQ0FBc0MsRUFBRSw4Q0FBOEMsQ0FDcEYsYUFBYSxFQUNiLGFBQWEsRUFDYixjQUFjLEVBQ2QsY0FBYyxFQUNkLHdCQUF3QixFQUN4Qix3QkFBd0IsQ0FDekIsRUFDRCxRQUFRLEVBQUUsR0FBRyxHQUNaLFVBQVUsQ0FXWjtBQUVEOztHQUVHO0FBQ0gsd0JBQWdCLHNEQUFzRCxDQUNwRSxNQUFNLEVBQUUsMENBQTBDLEVBQ2xELEdBQUcsRUFBRSxHQUFHLEdBQ1AsVUFBVSxDQW1CWjtBQUVEOztHQUVHO0FBQ0gsd0JBQWdCLDhEQUE4RCxDQUM1RSxNQUFNLEVBQUUsMENBQTBDLEVBQ2xELEdBQUcsRUFBRSxHQUFHLEdBQ1AsVUFBVSxDQW1CWjtBQUVELHdCQUFnQixvREFBb0QsQ0FDbEUsTUFBTSxFQUFFLGlDQUFpQyxFQUN6QyxHQUFHLEVBQUUsR0FBRyxHQUNQLFVBQVUsQ0FNWjtBQUVELHdCQUFnQixrREFBa0QsQ0FDaEUsTUFBTSxFQUFFLGlDQUFpQyxFQUN6QyxHQUFHLEVBQUUsR0FBRyxHQUNQLFVBQVUsQ0FNWjtBQUVEOzs7O0dBSUc7QUFDSCx3QkFBZ0Isb0RBQW9ELENBQ2xFLE9BQU8sRUFBRSxVQUFVLEVBQ25CLG9CQUFvQixFQUFFLEdBQUcsR0FDeEIsZ0NBQWdDLENBUWxDO0FBRUQ7Ozs7R0FJRztBQUNILHdCQUFnQixxREFBcUQsQ0FDbkUsT0FBTyxFQUFFLFVBQVUsRUFDbkIscUJBQXFCLEVBQUUsR0FBRyxHQUN6QixnQ0FBZ0MsQ0FJbEM7QUFFRDs7OztHQUlHO0FBQ0gsd0JBQWdCLHFEQUFxRCxDQUNuRSxPQUFPLEVBQUUsVUFBVSxFQUNuQixxQkFBcUIsRUFBRSxHQUFHLEdBQ3pCLGdDQUFnQyxDQUlsQztBQUVEOzs7O0dBSUc7QUFDSCx3QkFBZ0IscURBQXFELENBQ25FLE9BQU8sRUFBRSxVQUFVLEVBQ25CLHFCQUFxQixFQUFFLEdBQUcsR0FDekIsZ0NBQWdDLENBUWxDO0FBRUQ7Ozs7R0FJRztBQUNILHdCQUFnQixzREFBc0QsQ0FDcEUsT0FBTyxFQUFFLFVBQVUsRUFDbkIsc0JBQXNCLEVBQUUsR0FBRyxHQUMxQixnQ0FBZ0MsQ0FJbEM7QUFFRDs7OztHQUlHO0FBQ0gsd0JBQWdCLHNEQUFzRCxDQUNwRSxPQUFPLEVBQUUsVUFBVSxFQUNuQixzQkFBc0IsRUFBRSxHQUFHLEdBQzFCLGdDQUFnQyxDQUlsQztBQUVEOzs7O0dBSUc7QUFDSCx3QkFBZ0IscURBQXFELENBQ25FLE9BQU8sRUFBRSxVQUFVLEVBQ25CLFFBQVEsRUFBRSxHQUFHLEdBQ1osZ0NBQWdDLENBUWxDO0FBRUQ7Ozs7R0FJRztBQUNILHdCQUFnQixvREFBb0QsQ0FDbEUsT0FBTyxFQUFFLFVBQVUsRUFDbkIsb0JBQW9CLEVBQUUsR0FBRyxHQUN4QixvQ0FBb0MsQ0FRdEM7QUFFRDs7OztHQUlHO0FBQ0gsd0JBQWdCLDZEQUE2RCxDQUMzRSxPQUFPLEVBQUUsVUFBVSxFQUNuQiw0QkFBNEIsRUFBRSxHQUFHLEdBQ2hDLG9DQUFvQyxDQVF0QyJ9