import { AVM_CIRCUIT_PUBLIC_INPUTS_LENGTH, AVM_V2_PROOF_LENGTH_IN_FIELDS, MEGA_VK_LENGTH_IN_FIELDS } from '@aztec/constants';
import { Fr } from '@aztec/foundation/curves/bn254';
import type { AvmCircuitPublicInputs } from '@aztec/stdlib/avm';
import type { RecursiveProof } from '@aztec/stdlib/proofs';
import { VerificationKeyAsFields } from '@aztec/stdlib/vks';
import MockAppCreatorCircuit from '../artifacts/app_creator.json';
import MockAppReaderCircuit from '../artifacts/app_reader.json';
import MockHidingCircuit from '../artifacts/mock_hiding.json';
import MockPrivateKernelInitCircuit from '../artifacts/mock_private_kernel_init.json';
import MockPrivateKernelInnerCircuit from '../artifacts/mock_private_kernel_inner.json';
import MockPrivateKernelResetCircuit from '../artifacts/mock_private_kernel_reset.json';
import MockPrivateKernelTailCircuit from '../artifacts/mock_private_kernel_tail.json';
import MockRollupRootCircuit from '../artifacts/mock_rollup_root.json';
import MockRollupTxBasePrivateCircuit from '../artifacts/mock_rollup_tx_base_private.json';
import MockRollupTxBasePublicCircuit from '../artifacts/mock_rollup_tx_base_public.json';
import MockRollupTxMergeCircuit from '../artifacts/mock_rollup_tx_merge.json';
import type { AppCreatorInputType, AppPublicInputs, AppReaderInputType, FixedLengthArray, KernelPublicInputs, MockHidingInputType, MockPrivateKernelInitInputType, MockPrivateKernelInnerInputType, MockPrivateKernelResetInputType, MockPrivateKernelTailInputType, MockRollupRootInputType, MockRollupTxBasePrivateInputType, MockRollupTxBasePublicInputType, MockRollupTxMergeInputType, PrivateKernelPublicInputs, RollupPublicInputs, VerificationKey } from './types/index.js';
declare const MockAppCreatorVk: {
    keyAsBytes: any;
    keyAsFields: any;
};
declare const MockAppReaderVk: {
    keyAsBytes: any;
    keyAsFields: any;
};
declare const MockPrivateKernelInitVk: {
    keyAsBytes: any;
    keyAsFields: any;
};
declare const MockPrivateKernelInnerVk: {
    keyAsBytes: any;
    keyAsFields: any;
};
declare const MockPrivateKernelResetVk: {
    keyAsBytes: any;
    keyAsFields: any;
};
declare const MockPrivateKernelTailVk: {
    keyAsBytes: any;
    keyAsFields: any;
};
declare const MockRollupTxBasePrivateVk: {
    keyAsBytes: any;
    keyAsFields: any;
};
declare const MockRollupTxBasePublicVk: {
    keyAsBytes: any;
    keyAsFields: any;
};
declare const MockRollupTxMergeVk: {
    keyAsBytes: any;
    keyAsFields: any;
};
declare const MockRollupRootVk: {
    keyAsBytes: any;
    keyAsFields: any;
};
export { MockAppCreatorCircuit, MockAppCreatorVk, MockAppReaderCircuit, MockAppReaderVk, MockPrivateKernelInitCircuit, MockPrivateKernelInitVk, MockPrivateKernelInnerCircuit, MockPrivateKernelInnerVk, MockPrivateKernelResetCircuit, MockPrivateKernelResetVk, MockPrivateKernelTailCircuit, MockHidingCircuit, MockPrivateKernelTailVk, MockRollupTxBasePrivateCircuit, MockRollupTxBasePrivateVk, MockRollupTxBasePublicCircuit, MockRollupTxBasePublicVk, MockRollupTxMergeCircuit, MockRollupTxMergeVk, MockRollupRootCircuit, MockRollupRootVk, };
export declare function getVkAsFields({ keyAsFields }: {
    keyAsFields: string[];
}): Promise<VerificationKey<typeof MEGA_VK_LENGTH_IN_FIELDS>>;
export declare const MOCK_MAX_COMMITMENTS_PER_TX = 4;
export interface WitnessGenResult<PublicInputsType> {
    witness: Uint8Array;
    publicInputs: PublicInputsType;
}
export declare function witnessGenCreatorAppMockCircuit(args: AppCreatorInputType): Promise<WitnessGenResult<AppPublicInputs>>;
export declare function witnessGenReaderAppMockCircuit(args: AppReaderInputType): Promise<WitnessGenResult<AppPublicInputs>>;
export declare function witnessGenMockPrivateKernelInitCircuit(args: MockPrivateKernelInitInputType): Promise<WitnessGenResult<PrivateKernelPublicInputs>>;
export declare function witnessGenMockPrivateKernelInnerCircuit(args: MockPrivateKernelInnerInputType): Promise<WitnessGenResult<PrivateKernelPublicInputs>>;
export declare function witnessGenMockPrivateKernelResetCircuit(args: MockPrivateKernelResetInputType): Promise<WitnessGenResult<PrivateKernelPublicInputs>>;
export declare function witnessGenMockPrivateKernelTailCircuit(args: MockPrivateKernelTailInputType): Promise<WitnessGenResult<KernelPublicInputs>>;
export declare function witnessGenMockHidingCircuit(args: MockHidingInputType): Promise<WitnessGenResult<KernelPublicInputs>>;
export declare function witnessGenMockPublicBaseCircuit(args: MockRollupTxBasePublicInputType): Promise<WitnessGenResult<RollupPublicInputs>>;
export declare function witnessGenMockRollupTxBasePrivateCircuit(args: MockRollupTxBasePrivateInputType): Promise<WitnessGenResult<RollupPublicInputs>>;
export declare function witnessGenMockRollupTxMergeCircuit(args: MockRollupTxMergeInputType): Promise<WitnessGenResult<RollupPublicInputs>>;
export declare function witnessGenMockRollupRootCircuit(args: MockRollupRootInputType): Promise<WitnessGenResult<RollupPublicInputs>>;
export declare function generateTestingIVCStack(numCreatorAppCalls: number, numReaderAppCalls: number): Promise<[Uint8Array[], Uint8Array[], KernelPublicInputs, Uint8Array[]]>;
export declare function mapRecursiveProofToNoir<N extends number>(proof: RecursiveProof<N>): FixedLengthArray<string, N>;
export declare function mapAvmProofToNoir(proof: Fr[]): FixedLengthArray<string, typeof AVM_V2_PROOF_LENGTH_IN_FIELDS>;
export declare function mapVerificationKeyToNoir<N extends number>(vk: VerificationKeyAsFields, len: N): {
    key: FixedLengthArray<string, N>;
    hash: string;
};
export declare function mapAvmPublicInputsToNoir(publicInputs: AvmCircuitPublicInputs): FixedLengthArray<string, typeof AVM_CIRCUIT_PUBLIC_INPUTS_LENGTH>;
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoid2l0Z2VuLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi9zcmMvd2l0Z2VuLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFDTCxnQ0FBZ0MsRUFDaEMsNkJBQTZCLEVBQzdCLHdCQUF3QixFQUN6QixNQUFNLGtCQUFrQixDQUFDO0FBRTFCLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUdwRCxPQUFPLEtBQUssRUFBRSxzQkFBc0IsRUFBRSxNQUFNLG1CQUFtQixDQUFDO0FBQ2hFLE9BQU8sS0FBSyxFQUFFLGNBQWMsRUFBRSxNQUFNLHNCQUFzQixDQUFDO0FBQzNELE9BQU8sRUFBRSx1QkFBdUIsRUFBRSxNQUFNLG1CQUFtQixDQUFDO0FBSzVELE9BQU8scUJBQXFCLE1BQU0sK0JBQStCLENBQXVCO0FBQ3hGLE9BQU8sb0JBQW9CLE1BQU0sOEJBQThCLENBQXVCO0FBQ3RGLE9BQU8saUJBQWlCLE1BQU0sK0JBQStCLENBQXVCO0FBQ3BGLE9BQU8sNEJBQTRCLE1BQU0sNENBQTRDLENBQXVCO0FBQzVHLE9BQU8sNkJBQTZCLE1BQU0sNkNBQTZDLENBQXVCO0FBQzlHLE9BQU8sNkJBQTZCLE1BQU0sNkNBQTZDLENBQXVCO0FBQzlHLE9BQU8sNEJBQTRCLE1BQU0sNENBQTRDLENBQXVCO0FBQzVHLE9BQU8scUJBQXFCLE1BQU0sb0NBQW9DLENBQXVCO0FBQzdGLE9BQU8sOEJBQThCLE1BQU0sK0NBQStDLENBQXVCO0FBQ2pILE9BQU8sNkJBQTZCLE1BQU0sOENBQThDLENBQXVCO0FBQy9HLE9BQU8sd0JBQXdCLE1BQU0sd0NBQXdDLENBQXVCO0FBQ3BHLE9BQU8sS0FBSyxFQUNWLG1CQUFtQixFQUNuQixlQUFlLEVBQ2Ysa0JBQWtCLEVBQ2xCLGdCQUFnQixFQUNoQixrQkFBa0IsRUFDbEIsbUJBQW1CLEVBQ25CLDhCQUE4QixFQUM5QiwrQkFBK0IsRUFDL0IsK0JBQStCLEVBQy9CLDhCQUE4QixFQUM5Qix1QkFBdUIsRUFDdkIsZ0NBQWdDLEVBQ2hDLCtCQUErQixFQUMvQiwwQkFBMEIsRUFDMUIseUJBQXlCLEVBQ3pCLGtCQUFrQixFQUNsQixlQUFlLEVBQ2hCLE1BQU0sa0JBQWtCLENBQUM7QUFXMUIsUUFBQSxNQUFNLGdCQUFnQjs7O0NBQThDLENBQUM7QUFDckUsUUFBQSxNQUFNLGVBQWU7OztDQUE2QyxDQUFDO0FBQ25FLFFBQUEsTUFBTSx1QkFBdUI7OztDQUFxRCxDQUFDO0FBQ25GLFFBQUEsTUFBTSx3QkFBd0I7OztDQUFzRCxDQUFDO0FBQ3JGLFFBQUEsTUFBTSx3QkFBd0I7OztDQUFzRCxDQUFDO0FBQ3JGLFFBQUEsTUFBTSx1QkFBdUI7OztDQUFxRCxDQUFDO0FBRW5GLFFBQUEsTUFBTSx5QkFBeUI7OztDQUF1RCxDQUFDO0FBQ3ZGLFFBQUEsTUFBTSx3QkFBd0I7OztDQUFzRCxDQUFDO0FBQ3JGLFFBQUEsTUFBTSxtQkFBbUI7OztDQUFpRCxDQUFDO0FBQzNFLFFBQUEsTUFBTSxnQkFBZ0I7OztDQUE4QyxDQUFDO0FBR3JFLE9BQU8sRUFDTCxxQkFBcUIsRUFDckIsZ0JBQWdCLEVBQ2hCLG9CQUFvQixFQUNwQixlQUFlLEVBQ2YsNEJBQTRCLEVBQzVCLHVCQUF1QixFQUN2Qiw2QkFBNkIsRUFDN0Isd0JBQXdCLEVBQ3hCLDZCQUE2QixFQUM3Qix3QkFBd0IsRUFDeEIsNEJBQTRCLEVBQzVCLGlCQUFpQixFQUNqQix1QkFBdUIsRUFDdkIsOEJBQThCLEVBQzlCLHlCQUF5QixFQUN6Qiw2QkFBNkIsRUFDN0Isd0JBQXdCLEVBQ3hCLHdCQUF3QixFQUN4QixtQkFBbUIsRUFDbkIscUJBQXFCLEVBQ3JCLGdCQUFnQixHQUNqQixDQUFDO0FBTUYsd0JBQXNCLGFBQWEsQ0FBQyxFQUNsQyxXQUFXLEVBQ1osRUFBRTtJQUNELFdBQVcsRUFBRSxNQUFNLEVBQUUsQ0FBQztDQUN2QixHQUFHLE9BQU8sQ0FBQyxlQUFlLENBQUMsT0FBTyx3QkFBd0IsQ0FBQyxDQUFDLENBSTVEO0FBRUQsZUFBTyxNQUFNLDJCQUEyQixJQUFJLENBQUM7QUFlN0MsTUFBTSxXQUFXLGdCQUFnQixDQUFDLGdCQUFnQjtJQUNoRCxPQUFPLEVBQUUsVUFBVSxDQUFDO0lBQ3BCLFlBQVksRUFBRSxnQkFBZ0IsQ0FBQztDQUNoQztBQUVELHdCQUFzQiwrQkFBK0IsQ0FDbkQsSUFBSSxFQUFFLG1CQUFtQixHQUN4QixPQUFPLENBQUMsZ0JBQWdCLENBQUMsZUFBZSxDQUFDLENBQUMsQ0FPNUM7QUFFRCx3QkFBc0IsOEJBQThCLENBQ2xELElBQUksRUFBRSxrQkFBa0IsR0FDdkIsT0FBTyxDQUFDLGdCQUFnQixDQUFDLGVBQWUsQ0FBQyxDQUFDLENBTzVDO0FBRUQsd0JBQXNCLHNDQUFzQyxDQUMxRCxJQUFJLEVBQUUsOEJBQThCLEdBQ25DLE9BQU8sQ0FBQyxnQkFBZ0IsQ0FBQyx5QkFBeUIsQ0FBQyxDQUFDLENBT3REO0FBRUQsd0JBQXNCLHVDQUF1QyxDQUMzRCxJQUFJLEVBQUUsK0JBQStCLEdBQ3BDLE9BQU8sQ0FBQyxnQkFBZ0IsQ0FBQyx5QkFBeUIsQ0FBQyxDQUFDLENBT3REO0FBRUQsd0JBQXNCLHVDQUF1QyxDQUMzRCxJQUFJLEVBQUUsK0JBQStCLEdBQ3BDLE9BQU8sQ0FBQyxnQkFBZ0IsQ0FBQyx5QkFBeUIsQ0FBQyxDQUFDLENBT3REO0FBRUQsd0JBQXNCLHNDQUFzQyxDQUMxRCxJQUFJLEVBQUUsOEJBQThCLEdBQ25DLE9BQU8sQ0FBQyxnQkFBZ0IsQ0FBQyxrQkFBa0IsQ0FBQyxDQUFDLENBTy9DO0FBRUQsd0JBQXNCLDJCQUEyQixDQUMvQyxJQUFJLEVBQUUsbUJBQW1CLEdBQ3hCLE9BQU8sQ0FBQyxnQkFBZ0IsQ0FBQyxrQkFBa0IsQ0FBQyxDQUFDLENBTy9DO0FBRUQsd0JBQXNCLCtCQUErQixDQUNuRCxJQUFJLEVBQUUsK0JBQStCLEdBQ3BDLE9BQU8sQ0FBQyxnQkFBZ0IsQ0FBQyxrQkFBa0IsQ0FBQyxDQUFDLENBTy9DO0FBRUQsd0JBQXNCLHdDQUF3QyxDQUM1RCxJQUFJLEVBQUUsZ0NBQWdDLEdBQ3JDLE9BQU8sQ0FBQyxnQkFBZ0IsQ0FBQyxrQkFBa0IsQ0FBQyxDQUFDLENBTy9DO0FBRUQsd0JBQXNCLGtDQUFrQyxDQUN0RCxJQUFJLEVBQUUsMEJBQTBCLEdBQy9CLE9BQU8sQ0FBQyxnQkFBZ0IsQ0FBQyxrQkFBa0IsQ0FBQyxDQUFDLENBTy9DO0FBRUQsd0JBQXNCLCtCQUErQixDQUNuRCxJQUFJLEVBQUUsdUJBQXVCLEdBQzVCLE9BQU8sQ0FBQyxnQkFBZ0IsQ0FBQyxrQkFBa0IsQ0FBQyxDQUFDLENBTy9DO0FBRUQsd0JBQXNCLHVCQUF1QixDQUUzQyxrQkFBa0IsRUFBRSxNQUFNLEVBRzFCLGlCQUFpQixFQUFFLE1BQU0sR0FDeEIsT0FBTyxDQUFDLENBQUMsVUFBVSxFQUFFLEVBQUUsVUFBVSxFQUFFLEVBQUUsa0JBQWtCLEVBQUUsVUFBVSxFQUFFLENBQUMsQ0FBQyxDQXFJekU7QUFFRCx3QkFBZ0IsdUJBQXVCLENBQUMsQ0FBQyxTQUFTLE1BQU0sRUFBRSxLQUFLLEVBQUUsY0FBYyxDQUFDLENBQUMsQ0FBQyxHQUFHLGdCQUFnQixDQUFDLE1BQU0sRUFBRSxDQUFDLENBQUMsQ0FFL0c7QUFFRCx3QkFBZ0IsaUJBQWlCLENBQUMsS0FBSyxFQUFFLEVBQUUsRUFBRSxHQUFHLGdCQUFnQixDQUFDLE1BQU0sRUFBRSxPQUFPLDZCQUE2QixDQUFDLENBSzdHO0FBRUQsd0JBQWdCLHdCQUF3QixDQUFDLENBQUMsU0FBUyxNQUFNLEVBQ3ZELEVBQUUsRUFBRSx1QkFBdUIsRUFDM0IsR0FBRyxFQUFFLENBQUMsR0FDTDtJQUNELEdBQUcsRUFBRSxnQkFBZ0IsQ0FBQyxNQUFNLEVBQUUsQ0FBQyxDQUFDLENBQUM7SUFDakMsSUFBSSxFQUFFLE1BQU0sQ0FBQztDQUNkLENBUUE7QUFFRCx3QkFBZ0Isd0JBQXdCLENBQ3RDLFlBQVksRUFBRSxzQkFBc0IsR0FDbkMsZ0JBQWdCLENBQUMsTUFBTSxFQUFFLE9BQU8sZ0NBQWdDLENBQUMsQ0FNbkUifQ==