import { AVM_V2_PROOF_LENGTH_IN_FIELDS } from '@aztec/constants';
import { BLS12Fq, BLS12Fr } from '@aztec/foundation/curves/bls12';
import { type AvmCircuitPublicInputs, RevertCode } from '@aztec/stdlib/avm';
import { PrivateToPublicKernelCircuitPublicInputs } from '@aztec/stdlib/kernel';
import { ParityBasePrivateInputs, ParityPublicInputs, ParityRootPrivateInputs } from '@aztec/stdlib/parity';
import type { ProofDataForFixedVk, RecursiveProof } from '@aztec/stdlib/proofs';
import { BlockMergeRollupPrivateInputs, BlockRollupPublicInputs, BlockRootEmptyTxFirstRollupPrivateInputs, BlockRootFirstRollupPrivateInputs, BlockRootRollupPrivateInputs, BlockRootSingleTxFirstRollupPrivateInputs, BlockRootSingleTxRollupPrivateInputs, CheckpointMergeRollupPrivateInputs, CheckpointRollupPublicInputs, CheckpointRootRollupPrivateInputs, CheckpointRootSingleBlockRollupPrivateInputs, type PrivateTxBaseRollupPrivateInputs, PublicChonkVerifierPrivateInputs, PublicChonkVerifierPublicInputs, type PublicTxBaseRollupPrivateInputs, RootRollupPrivateInputs, RootRollupPublicInputs, type TxMergeRollupPrivateInputs, TxRollupPublicInputs } from '@aztec/stdlib/rollup';
import { TreeSnapshots } from '@aztec/stdlib/tx';
import type { AvmCircuitPublicInputs as AvmCircuitPublicInputsNoir, BLS12_381_Fq as BLS12FqNoir, BLS12_381_Fr as BLS12FrNoir, BlockMergeRollupPrivateInputs as BlockMergeRollupPrivateInputsNoir, BlockRollupPublicInputs as BlockRollupPublicInputsNoir, BlockRootEmptyTxFirstRollupPrivateInputs as BlockRootEmptyTxFirstRollupPrivateInputsNoir, BlockRootFirstRollupPrivateInputs as BlockRootFirstRollupPrivateInputsNoir, BlockRootRollupPrivateInputs as BlockRootRollupPrivateInputsNoir, BlockRootSingleTxFirstRollupPrivateInputs as BlockRootSingleTxFirstRollupPrivateInputsNoir, BlockRootSingleTxRollupPrivateInputs as BlockRootSingleTxRollupPrivateInputsNoir, CheckpointMergeRollupPrivateInputs as CheckpointMergeRollupPrivateInputsNoir, CheckpointRollupPublicInputs as CheckpointRollupPublicInputsNoir, CheckpointRootRollupPrivateInputs as CheckpointRootRollupPrivateInputsNoir, CheckpointRootSingleBlockRollupPrivateInputs as CheckpointRootSingleBlockRollupPrivateInputsNoir, FixedLengthArray, Field as NoirField, ParityBasePrivateInputs as ParityBasePrivateInputsNoir, ParityPublicInputs as ParityPublicInputsNoir, ParityRootPrivateInputs as ParityRootPrivateInputsNoir, PrivateToPublicKernelCircuitPublicInputs as PrivateToPublicKernelCircuitPublicInputsNoir, PrivateTxBaseRollupPrivateInputs as PrivateTxBaseRollupPrivateInputsNoir, ProofDataForFixedVk as ProofDataForFixedVkNoir, PublicChonkVerifierPrivateInputs as PublicChonkVerifierPrivateInputsNoir, PublicChonkVerifierPublicInputs as PublicChonkVerifierPublicInputsNoir, PublicTxBaseRollupPrivateInputs as PublicTxBaseRollupPrivateInputsNoir, RootRollupPrivateInputs as RootRollupPrivateInputsNoir, RootRollupPublicInputs as RootRollupPublicInputsNoir, TreeSnapshots as TreeSnapshotsNoir, TxMergeRollupPrivateInputs as TxMergeRollupPrivateInputsNoir, TxRollupPublicInputs as TxRollupPublicInputsNoir } from '../types/index.js';
/**
 * @param number - The BigNum representing the number.
 * @returns The number
 */
export declare function mapBLS12FrFromNoir(bignum: BLS12FrNoir): BLS12Fr;
export declare function mapBLS12FrToNoir(number: BLS12Fr): BLS12FrNoir;
/**
 * @param number - The BigNum representing the number.
 * @returns The number
 */
export declare function mapBLS12FqFromNoir(bignum: BLS12FqNoir): BLS12Fq;
export declare function mapBLS12FqToNoir(number: BLS12Fq): BLS12FqNoir;
export declare function mapTxRollupPublicInputsFromNoir(publicInputs: TxRollupPublicInputsNoir): TxRollupPublicInputs;
export declare function mapTxRollupPublicInputsToNoir(publicInputs: TxRollupPublicInputs): TxRollupPublicInputsNoir;
export declare function mapRecursiveProofToNoir<PROOF_LENGTH extends number>(proof: RecursiveProof<PROOF_LENGTH>, length?: PROOF_LENGTH): {
    fields: FixedLengthArray<string, PROOF_LENGTH>;
};
export declare function mapAvmProofDataToNoir(proofData: ProofDataForFixedVk<AvmCircuitPublicInputs, typeof AVM_V2_PROOF_LENGTH_IN_FIELDS>): ProofDataForFixedVkNoir;
/**
 * Maps a root rollup public inputs from noir.
 * @param rootRollupPublicInputs - The noir root rollup public inputs.
 * @returns The stdlib root rollup public inputs.
 */
export declare function mapRootRollupPublicInputsFromNoir(rootRollupPublicInputs: RootRollupPublicInputsNoir): RootRollupPublicInputs;
/**
 * Maps a parity public inputs from noir.
 * @param parityPublicInputs - The noir parity public inputs.
 * @returns The stdlib parity public inputs.
 */
export declare function mapParityPublicInputsFromNoir(parityPublicInputs: ParityPublicInputsNoir): ParityPublicInputs;
export declare function mapTreeSnapshotsToNoir(snapshots: TreeSnapshots): TreeSnapshotsNoir;
export declare function mapAvmCircuitPublicInputsToNoir(inputs: AvmCircuitPublicInputs): AvmCircuitPublicInputsNoir;
export declare function mapBlockRollupPublicInputsFromNoir(inputs: BlockRollupPublicInputsNoir): BlockRollupPublicInputs;
export declare function mapBlockRollupPublicInputsToNoir(inputs: BlockRollupPublicInputs): BlockRollupPublicInputsNoir;
export declare function mapCheckpointRollupPublicInputsFromNoir(inputs: CheckpointRollupPublicInputsNoir): CheckpointRollupPublicInputs;
export declare function mapCheckpointRollupPublicInputsToNoir(inputs: CheckpointRollupPublicInputs): CheckpointRollupPublicInputsNoir;
export declare function mapPrivateToPublicKernelCircuitPublicInputsFromNoir(inputs: PrivateToPublicKernelCircuitPublicInputsNoir): PrivateToPublicKernelCircuitPublicInputs;
export declare function mapParityBasePrivateInputsToNoir(inputs: ParityBasePrivateInputs): ParityBasePrivateInputsNoir;
export declare function mapParityRootPrivateInputsToNoir(inputs: ParityRootPrivateInputs): ParityRootPrivateInputsNoir;
export declare function mapPublicChonkVerifierPrivateInputsToNoir(inputs: PublicChonkVerifierPrivateInputs): PublicChonkVerifierPrivateInputsNoir;
export declare function mapPublicChonkVerifierPublicInputsFromNoir(inputs: PublicChonkVerifierPublicInputsNoir): PublicChonkVerifierPublicInputs;
export declare function mapPublicChonkVerifierPublicInputsToNoir(inputs: PublicChonkVerifierPublicInputs): PublicChonkVerifierPublicInputsNoir;
export declare function mapPrivateTxBaseRollupPrivateInputsToNoir(inputs: PrivateTxBaseRollupPrivateInputs): PrivateTxBaseRollupPrivateInputsNoir;
export declare function mapPublicTxBaseRollupPrivateInputsToNoir(inputs: PublicTxBaseRollupPrivateInputs): PublicTxBaseRollupPrivateInputsNoir;
export declare function mapTxMergeRollupPrivateInputsToNoir(inputs: TxMergeRollupPrivateInputs): TxMergeRollupPrivateInputsNoir;
export declare function mapRevertCodeFromNoir(revertCode: NoirField): RevertCode;
export declare function mapRevertCodeToNoir(revertCode: RevertCode): NoirField;
export declare function mapBlockRootFirstRollupPrivateInputsToNoir(inputs: BlockRootFirstRollupPrivateInputs): BlockRootFirstRollupPrivateInputsNoir;
export declare function mapBlockRootSingleTxFirstRollupPrivateInputsToNoir(inputs: BlockRootSingleTxFirstRollupPrivateInputs): BlockRootSingleTxFirstRollupPrivateInputsNoir;
export declare function mapBlockRootEmptyTxFirstRollupPrivateInputsToNoir(inputs: BlockRootEmptyTxFirstRollupPrivateInputs): BlockRootEmptyTxFirstRollupPrivateInputsNoir;
export declare function mapBlockRootRollupPrivateInputsToNoir(inputs: BlockRootRollupPrivateInputs): BlockRootRollupPrivateInputsNoir;
export declare function mapBlockRootSingleTxRollupPrivateInputsToNoir(inputs: BlockRootSingleTxRollupPrivateInputs): BlockRootSingleTxRollupPrivateInputsNoir;
export declare function mapBlockMergeRollupPrivateInputsToNoir(inputs: BlockMergeRollupPrivateInputs): BlockMergeRollupPrivateInputsNoir;
export declare function mapCheckpointRootRollupPrivateInputsToNoir(inputs: CheckpointRootRollupPrivateInputs): CheckpointRootRollupPrivateInputsNoir;
export declare function mapCheckpointRootSingleBlockRollupPrivateInputsToNoir(inputs: CheckpointRootSingleBlockRollupPrivateInputs): CheckpointRootSingleBlockRollupPrivateInputsNoir;
export declare function mapCheckpointMergeRollupPrivateInputsToNoir(inputs: CheckpointMergeRollupPrivateInputs): CheckpointMergeRollupPrivateInputsNoir;
export declare function mapRootRollupPrivateInputsToNoir(rootRollupInputs: RootRollupPrivateInputs): RootRollupPrivateInputsNoir;
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2VydmVyLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvY29udmVyc2lvbi9zZXJ2ZXIudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBT0EsT0FBTyxFQUNMLDZCQUE2QixFQVE5QixNQUFNLGtCQUFrQixDQUFDO0FBRTFCLE9BQU8sRUFBRSxPQUFPLEVBQUUsT0FBTyxFQUFjLE1BQU0sZ0NBQWdDLENBQUM7QUFJOUUsT0FBTyxFQUdMLEtBQUssc0JBQXNCLEVBQzNCLFVBQVUsRUFDWCxNQUFNLG1CQUFtQixDQUFDO0FBQzNCLE9BQU8sRUFHTCx3Q0FBd0MsRUFDekMsTUFBTSxzQkFBc0IsQ0FBQztBQUU5QixPQUFPLEVBQUUsdUJBQXVCLEVBQUUsa0JBQWtCLEVBQUUsdUJBQXVCLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUM1RyxPQUFPLEtBQUssRUFBYSxtQkFBbUIsRUFBRSxjQUFjLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUMzRixPQUFPLEVBRUwsNkJBQTZCLEVBQzdCLHVCQUF1QixFQUN2Qix3Q0FBd0MsRUFDeEMsaUNBQWlDLEVBQ2pDLDRCQUE0QixFQUM1Qix5Q0FBeUMsRUFDekMsb0NBQW9DLEVBRXBDLGtDQUFrQyxFQUNsQyw0QkFBNEIsRUFFNUIsaUNBQWlDLEVBQ2pDLDRDQUE0QyxFQUc1QyxLQUFLLGdDQUFnQyxFQUNyQyxnQ0FBZ0MsRUFDaEMsK0JBQStCLEVBQy9CLEtBQUssK0JBQStCLEVBQ3BDLHVCQUF1QixFQUN2QixzQkFBc0IsRUFFdEIsS0FBSywwQkFBMEIsRUFDL0Isb0JBQW9CLEVBQ3JCLE1BQU0sc0JBQXNCLENBQUM7QUFDOUIsT0FBTyxFQUFFLGFBQWEsRUFBRSxNQUFNLGtCQUFrQixDQUFDO0FBRWpELE9BQU8sS0FBSyxFQUdWLHNCQUFzQixJQUFJLDBCQUEwQixFQUNwRCxZQUFZLElBQUksV0FBVyxFQUMzQixZQUFZLElBQUksV0FBVyxFQUkzQiw2QkFBNkIsSUFBSSxpQ0FBaUMsRUFDbEUsdUJBQXVCLElBQUksMkJBQTJCLEVBQ3RELHdDQUF3QyxJQUFJLDRDQUE0QyxFQUN4RixpQ0FBaUMsSUFBSSxxQ0FBcUMsRUFDMUUsNEJBQTRCLElBQUksZ0NBQWdDLEVBQ2hFLHlDQUF5QyxJQUFJLDZDQUE2QyxFQUMxRixvQ0FBb0MsSUFBSSx3Q0FBd0MsRUFFaEYsa0NBQWtDLElBQUksc0NBQXNDLEVBQzVFLDRCQUE0QixJQUFJLGdDQUFnQyxFQUVoRSxpQ0FBaUMsSUFBSSxxQ0FBcUMsRUFDMUUsNENBQTRDLElBQUksZ0RBQWdELEVBS2hHLGdCQUFnQixFQUNoQixLQUFLLElBQUksU0FBUyxFQUNsQix1QkFBdUIsSUFBSSwyQkFBMkIsRUFDdEQsa0JBQWtCLElBQUksc0JBQXNCLEVBQzVDLHVCQUF1QixJQUFJLDJCQUEyQixFQUl0RCx3Q0FBd0MsSUFBSSw0Q0FBNEMsRUFDeEYsZ0NBQWdDLElBQUksb0NBQW9DLEVBQ3hFLG1CQUFtQixJQUFJLHVCQUF1QixFQUU5QyxnQ0FBZ0MsSUFBSSxvQ0FBb0MsRUFDeEUsK0JBQStCLElBQUksbUNBQW1DLEVBRXRFLCtCQUErQixJQUFJLG1DQUFtQyxFQUN0RSx1QkFBdUIsSUFBSSwyQkFBMkIsRUFDdEQsc0JBQXNCLElBQUksMEJBQTBCLEVBR3BELGFBQWEsSUFBSSxpQkFBaUIsRUFDbEMsMEJBQTBCLElBQUksOEJBQThCLEVBQzVELG9CQUFvQixJQUFJLHdCQUF3QixFQUNqRCxNQUFNLG1CQUFtQixDQUFDO0FBOEMzQjs7O0dBR0c7QUFDSCx3QkFBZ0Isa0JBQWtCLENBQUMsTUFBTSxFQUFFLFdBQVcsR0FBRyxPQUFPLENBRS9EO0FBRUQsd0JBQWdCLGdCQUFnQixDQUFDLE1BQU0sRUFBRSxPQUFPLEdBQUcsV0FBVyxDQUk3RDtBQUVEOzs7R0FHRztBQUNILHdCQUFnQixrQkFBa0IsQ0FBQyxNQUFNLEVBQUUsV0FBVyxHQUFHLE9BQU8sQ0FFL0Q7QUFFRCx3QkFBZ0IsZ0JBQWdCLENBQUMsTUFBTSxFQUFFLE9BQU8sR0FBRyxXQUFXLENBSTdEO0FBOE5ELHdCQUFnQiwrQkFBK0IsQ0FBQyxZQUFZLEVBQUUsd0JBQXdCLEdBQUcsb0JBQW9CLENBWTVHO0FBRUQsd0JBQWdCLDZCQUE2QixDQUFDLFlBQVksRUFBRSxvQkFBb0IsR0FBRyx3QkFBd0IsQ0FZMUc7QUFFRCx3QkFBZ0IsdUJBQXVCLENBQUMsWUFBWSxTQUFTLE1BQU0sRUFDakUsS0FBSyxFQUFFLGNBQWMsQ0FBQyxZQUFZLENBQUMsRUFDbkMsTUFBTSxHQUFFLFlBQWdEOztFQUt6RDtBQWVELHdCQUFnQixxQkFBcUIsQ0FDbkMsU0FBUyxFQUFFLG1CQUFtQixDQUFDLHNCQUFzQixFQUFFLE9BQU8sNkJBQTZCLENBQUMsR0FDM0YsdUJBQXVCLENBS3pCO0FBV0Q7Ozs7R0FJRztBQUNILHdCQUFnQixpQ0FBaUMsQ0FDL0Msc0JBQXNCLEVBQUUsMEJBQTBCLEdBQ2pELHNCQUFzQixDQVV4QjtBQUVEOzs7O0dBSUc7QUFDSCx3QkFBZ0IsNkJBQTZCLENBQUMsa0JBQWtCLEVBQUUsc0JBQXNCLEdBQUcsa0JBQWtCLENBTzVHO0FBRUQsd0JBQWdCLHNCQUFzQixDQUFDLFNBQVMsRUFBRSxhQUFhLEdBQUcsaUJBQWlCLENBT2xGO0FBZ0RELHdCQUFnQiwrQkFBK0IsQ0FBQyxNQUFNLEVBQUUsc0JBQXNCLEdBQUcsMEJBQTBCLENBaUMxRztBQUVELHdCQUFnQixrQ0FBa0MsQ0FBQyxNQUFNLEVBQUUsMkJBQTJCLDJCQWdCckY7QUFFRCx3QkFBZ0IsZ0NBQWdDLENBQUMsTUFBTSxFQUFFLHVCQUF1QixHQUFHLDJCQUEyQixDQWdCN0c7QUFFRCx3QkFBZ0IsdUNBQXVDLENBQUMsTUFBTSxFQUFFLGdDQUFnQyxnQ0FhL0Y7QUFFRCx3QkFBZ0IscUNBQXFDLENBQ25ELE1BQU0sRUFBRSw0QkFBNEIsR0FDbkMsZ0NBQWdDLENBYWxDO0FBRUQsd0JBQWdCLG1EQUFtRCxDQUNqRSxNQUFNLEVBQUUsNENBQTRDLDRDQVdyRDtBQXNCRCx3QkFBZ0IsZ0NBQWdDLENBQUMsTUFBTSxFQUFFLHVCQUF1QixHQUFHLDJCQUEyQixDQU03RztBQUVELHdCQUFnQixnQ0FBZ0MsQ0FBQyxNQUFNLEVBQUUsdUJBQXVCLEdBQUcsMkJBQTJCLENBTTdHO0FBRUQsd0JBQWdCLHlDQUF5QyxDQUN2RCxNQUFNLEVBQUUsZ0NBQWdDLEdBQ3ZDLG9DQUFvQyxDQVF0QztBQUVELHdCQUFnQiwwQ0FBMEMsQ0FBQyxNQUFNLEVBQUUsbUNBQW1DLG1DQUtyRztBQUVELHdCQUFnQix3Q0FBd0MsQ0FDdEQsTUFBTSxFQUFFLCtCQUErQixHQUN0QyxtQ0FBbUMsQ0FLckM7QUFFRCx3QkFBZ0IseUNBQXlDLENBQ3ZELE1BQU0sRUFBRSxnQ0FBZ0MsR0FDdkMsb0NBQW9DLENBZ0J0QztBQUVELHdCQUFnQix3Q0FBd0MsQ0FDdEQsTUFBTSxFQUFFLCtCQUErQixHQUN0QyxtQ0FBbUMsQ0FjckM7QUFFRCx3QkFBZ0IsbUNBQW1DLENBQ2pELE1BQU0sRUFBRSwwQkFBMEIsR0FDakMsOEJBQThCLENBT2hDO0FBRUQsd0JBQWdCLHFCQUFxQixDQUFDLFVBQVUsRUFBRSxTQUFTLEdBQUcsVUFBVSxDQUV2RTtBQUVELHdCQUFnQixtQkFBbUIsQ0FBQyxVQUFVLEVBQUUsVUFBVSxHQUFHLFNBQVMsQ0FFckU7QUFFRCx3QkFBZ0IsMENBQTBDLENBQ3hELE1BQU0sRUFBRSxpQ0FBaUMsR0FDeEMscUNBQXFDLENBY3ZDO0FBRUQsd0JBQWdCLGtEQUFrRCxDQUNoRSxNQUFNLEVBQUUseUNBQXlDLEdBQ2hELDZDQUE2QyxDQVcvQztBQUVELHdCQUFnQixpREFBaUQsQ0FDL0QsTUFBTSxFQUFFLHdDQUF3QyxHQUMvQyw0Q0FBNEMsQ0FhOUM7QUFFRCx3QkFBZ0IscUNBQXFDLENBQ25ELE1BQU0sRUFBRSw0QkFBNEIsR0FDbkMsZ0NBQWdDLENBUWxDO0FBRUQsd0JBQWdCLDZDQUE2QyxDQUMzRCxNQUFNLEVBQUUsb0NBQW9DLEdBQzNDLHdDQUF3QyxDQUsxQztBQUVELHdCQUFnQixzQ0FBc0MsQ0FDcEQsTUFBTSxFQUFFLDZCQUE2QixHQUNwQyxpQ0FBaUMsQ0FPbkM7QUFnQkQsd0JBQWdCLDBDQUEwQyxDQUN4RCxNQUFNLEVBQUUsaUNBQWlDLEdBQ3hDLHFDQUFxQyxDQVF2QztBQUVELHdCQUFnQixxREFBcUQsQ0FDbkUsTUFBTSxFQUFFLDRDQUE0QyxHQUNuRCxnREFBZ0QsQ0FLbEQ7QUFFRCx3QkFBZ0IsMkNBQTJDLENBQ3pELE1BQU0sRUFBRSxrQ0FBa0MsR0FDekMsc0NBQXNDLENBT3hDO0FBRUQsd0JBQWdCLGdDQUFnQyxDQUM5QyxnQkFBZ0IsRUFBRSx1QkFBdUIsR0FDeEMsMkJBQTJCLENBTzdCIn0=