@aztec/ivc-integration 0.84.0 → 0.85.0

package/dest/witgen.d.ts

@@ -0,0 +1,60 @@
+import { AVM_V2_PROOF_LENGTH_IN_FIELDS_PADDED, AVM_V2_PUBLIC_INPUTS_FLATTENED_SIZE, AVM_V2_VERIFICATION_KEY_LENGTH_IN_FIELDS_PADDED, CLIENT_IVC_VERIFICATION_KEY_LENGTH_IN_FIELDS } from '@aztec/constants';
+import { Fr } from '@aztec/foundation/fields';
+import type { PublicTxSimulationTester } from '@aztec/simulator/server';
+import type { AvmCircuitPublicInputs } from '@aztec/stdlib/avm';
+import type { ContractInstanceWithAddress } from '@aztec/stdlib/contract';
+import type { RecursiveProof } from '@aztec/stdlib/proofs';
+import type { VerificationKeyAsFields } from '@aztec/stdlib/vks';
+import MockAppCreatorCircuit from '../artifacts/app_creator.json';
+import MockAppReaderCircuit from '../artifacts/app_reader.json';
+import MockAppCreatorVk from '../artifacts/keys/app_creator.vk.data.json';
+import MockAppReaderVk from '../artifacts/keys/app_reader.vk.data.json';
+import MockPrivateKernelInitVk from '../artifacts/keys/mock_private_kernel_init.vk.data.json';
+import MockPrivateKernelInnerVk from '../artifacts/keys/mock_private_kernel_inner.vk.data.json';
+import MockPrivateKernelResetVk from '../artifacts/keys/mock_private_kernel_reset.vk.data.json';
+import MockPrivateKernelTailVk from '../artifacts/keys/mock_private_kernel_tail.vk.data.json';
+import MockRollupBasePrivateVk from '../artifacts/keys/mock_rollup_base_private.vk.data.json';
+import MockRollupBasePublicVk from '../artifacts/keys/mock_rollup_base_public.vk.data.json';
+import MockRollupMergeVk from '../artifacts/keys/mock_rollup_merge.vk.data.json';
+import MockRollupRootVk from '../artifacts/keys/mock_rollup_root.vk.data.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 MockRollupBasePrivateCircuit from '../artifacts/mock_rollup_base_private.json';
+import MockRollupBasePublicCircuit from '../artifacts/mock_rollup_base_public.json';
+import MockRollupMergeCircuit from '../artifacts/mock_rollup_merge.json';
+import MockRollupRootCircuit from '../artifacts/mock_rollup_root.json';
+import type { AppCreatorInputType, AppPublicInputs, AppReaderInputType, FixedLengthArray, KernelPublicInputs, MockPrivateKernelInitInputType, MockPrivateKernelInnerInputType, MockPrivateKernelResetInputType, MockPrivateKernelTailInputType, MockRollupBasePrivateInputType, MockRollupBasePublicInputType, MockRollupMergeInputType, MockRollupRootInputType, PrivateKernelPublicInputs, RollupPublicInputs } from './types/index.js';
+export { MockAppCreatorCircuit, MockAppReaderCircuit, MockPrivateKernelInitCircuit, MockPrivateKernelInnerCircuit, MockPrivateKernelResetCircuit, MockPrivateKernelTailCircuit, MockRollupBasePublicCircuit, MockRollupBasePrivateCircuit, MockRollupMergeCircuit, MockRollupRootCircuit, MockAppCreatorVk, MockAppReaderVk, MockPrivateKernelInitVk, MockPrivateKernelInnerVk, MockPrivateKernelResetVk, MockPrivateKernelTailVk, MockRollupBasePublicVk, MockRollupBasePrivateVk, MockRollupMergeVk, MockRollupRootVk, };
+export declare function getVkAsFields(vk: {
+    keyAsBytes: string;
+    keyAsFields: string[];
+}): FixedLengthArray<string, typeof CLIENT_IVC_VERIFICATION_KEY_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 witnessGenMockPublicBaseCircuit(args: MockRollupBasePublicInputType): Promise<WitnessGenResult<RollupPublicInputs>>;
+export declare function witnessGenMockRollupBasePrivateCircuit(args: MockRollupBasePrivateInputType): Promise<WitnessGenResult<RollupPublicInputs>>;
+export declare function witnessGenMockRollupMergeCircuit(args: MockRollupMergeInputType): Promise<WitnessGenResult<RollupPublicInputs>>;
+export declare function witnessGenMockRollupRootCircuit(args: MockRollupRootInputType): Promise<WitnessGenResult<RollupPublicInputs>>;
+export declare function generate3FunctionTestingIVCStack(): Promise<[string[], Uint8Array[], KernelPublicInputs]>;
+export declare function generate6FunctionTestingIVCStack(): Promise<[string[], Uint8Array[], KernelPublicInputs]>;
+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_PADDED>;
+export declare function mapVerificationKeyToNoir<N extends number>(vk: VerificationKeyAsFields, len: N): {
+    key: FixedLengthArray<string, N>;
+    hash: string;
+};
+export declare function mapAvmVerificationKeyToNoir(vk: Fr[]): FixedLengthArray<string, typeof AVM_V2_VERIFICATION_KEY_LENGTH_IN_FIELDS_PADDED>;
+export declare function mapAvmPublicInputsToNoir(publicInputs: AvmCircuitPublicInputs): FixedLengthArray<string, typeof AVM_V2_PUBLIC_INPUTS_FLATTENED_SIZE>;
+export declare function simulateAvmBulkTesting(simTester: PublicTxSimulationTester, contractInstance: ContractInstanceWithAddress): Promise<import("@aztec/simulator/server").PublicTxResult>;
+//# sourceMappingURL=witgen.d.ts.map

package/dest/witgen.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"witgen.d.ts","sourceRoot":"","sources":["../src/witgen.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,oCAAoC,EACpC,mCAAmC,EACnC,+CAA+C,EAC/C,4CAA4C,EAC7C,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,yBAAyB,CAAC;AACxE,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,mBAAmB,CAAC;AAEhE,OAAO,KAAK,EAAE,2BAA2B,EAAE,MAAM,wBAAwB,CAAC;AAC1E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAC3D,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,mBAAmB,CAAC;AAIjE,OAAO,qBAAqB,MAAM,+BAA+B,CAAyB;AAC1F,OAAO,oBAAoB,MAAM,8BAA8B,CAAyB;AACxF,OAAO,gBAAgB,MAAM,4CAA4C,CAAyB;AAClG,OAAO,eAAe,MAAM,2CAA2C,CAAyB;AAChG,OAAO,uBAAuB,MAAM,yDAAyD,CAAyB;AACtH,OAAO,wBAAwB,MAAM,0DAA0D,CAAyB;AACxH,OAAO,wBAAwB,MAAM,0DAA0D,CAAyB;AACxH,OAAO,uBAAuB,MAAM,yDAAyD,CAAyB;AACtH,OAAO,uBAAuB,MAAM,yDAAyD,CAAyB;AACtH,OAAO,sBAAsB,MAAM,wDAAwD,CAAyB;AACpH,OAAO,iBAAiB,MAAM,kDAAkD,CAAyB;AACzG,OAAO,gBAAgB,MAAM,iDAAiD,CAAyB;AACvG,OAAO,4BAA4B,MAAM,4CAA4C,CAAyB;AAC9G,OAAO,6BAA6B,MAAM,6CAA6C,CAAyB;AAChH,OAAO,6BAA6B,MAAM,6CAA6C,CAAyB;AAChH,OAAO,4BAA4B,MAAM,4CAA4C,CAAyB;AAC9G,OAAO,4BAA4B,MAAM,4CAA4C,CAAyB;AAC9G,OAAO,2BAA2B,MAAM,2CAA2C,CAAyB;AAC5G,OAAO,sBAAsB,MAAM,qCAAqC,CAAyB;AACjG,OAAO,qBAAqB,MAAM,oCAAoC,CAAyB;AAC/F,OAAO,KAAK,EACV,mBAAmB,EACnB,eAAe,EACf,kBAAkB,EAClB,gBAAgB,EAChB,kBAAkB,EAClB,8BAA8B,EAC9B,+BAA+B,EAC/B,+BAA+B,EAC/B,8BAA8B,EAC9B,8BAA8B,EAC9B,6BAA6B,EAC7B,wBAAwB,EACxB,uBAAuB,EACvB,yBAAyB,EACzB,kBAAkB,EACnB,MAAM,kBAAkB,CAAC;AAG1B,OAAO,EACL,qBAAqB,EACrB,oBAAoB,EACpB,4BAA4B,EAC5B,6BAA6B,EAC7B,6BAA6B,EAC7B,4BAA4B,EAC5B,2BAA2B,EAC3B,4BAA4B,EAC5B,sBAAsB,EACtB,qBAAqB,EACrB,gBAAgB,EAChB,eAAe,EACf,uBAAuB,EACvB,wBAAwB,EACxB,wBAAwB,EACxB,uBAAuB,EACvB,sBAAsB,EACtB,uBAAuB,EACvB,iBAAiB,EACjB,gBAAgB,GACjB,CAAC;AAMF,wBAAgB,aAAa,CAAC,EAAE,EAAE;IAChC,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,EAAE,CAAC;CACvB,GAAG,gBAAgB,CAAC,MAAM,EAAE,OAAO,4CAA4C,CAAC,CAEhF;AAED,eAAO,MAAM,2BAA2B,IAAI,CAAC;AAM7C,MAAM,WAAW,gBAAgB,CAAC,gBAAgB;IAChD,OAAO,EAAE,UAAU,CAAC;IACpB,YAAY,EAAE,gBAAgB,CAAC;CAChC;AAED,wBAAsB,+BAA+B,CACnD,IAAI,EAAE,mBAAmB,GACxB,OAAO,CAAC,gBAAgB,CAAC,eAAe,CAAC,CAAC,CAO5C;AAED,wBAAsB,8BAA8B,CAClD,IAAI,EAAE,kBAAkB,GACvB,OAAO,CAAC,gBAAgB,CAAC,eAAe,CAAC,CAAC,CAO5C;AAED,wBAAsB,sCAAsC,CAC1D,IAAI,EAAE,8BAA8B,GACnC,OAAO,CAAC,gBAAgB,CAAC,yBAAyB,CAAC,CAAC,CAOtD;AAED,wBAAsB,uCAAuC,CAC3D,IAAI,EAAE,+BAA+B,GACpC,OAAO,CAAC,gBAAgB,CAAC,yBAAyB,CAAC,CAAC,CAOtD;AAED,wBAAsB,uCAAuC,CAC3D,IAAI,EAAE,+BAA+B,GACpC,OAAO,CAAC,gBAAgB,CAAC,yBAAyB,CAAC,CAAC,CAOtD;AAED,wBAAsB,sCAAsC,CAC1D,IAAI,EAAE,8BAA8B,GACnC,OAAO,CAAC,gBAAgB,CAAC,kBAAkB,CAAC,CAAC,CAO/C;AAED,wBAAsB,+BAA+B,CACnD,IAAI,EAAE,6BAA6B,GAClC,OAAO,CAAC,gBAAgB,CAAC,kBAAkB,CAAC,CAAC,CAO/C;AAED,wBAAsB,sCAAsC,CAC1D,IAAI,EAAE,8BAA8B,GACnC,OAAO,CAAC,gBAAgB,CAAC,kBAAkB,CAAC,CAAC,CAO/C;AAED,wBAAsB,gCAAgC,CACpD,IAAI,EAAE,wBAAwB,GAC7B,OAAO,CAAC,gBAAgB,CAAC,kBAAkB,CAAC,CAAC,CAO/C;AAED,wBAAsB,+BAA+B,CACnD,IAAI,EAAE,uBAAuB,GAC5B,OAAO,CAAC,gBAAgB,CAAC,kBAAkB,CAAC,CAAC,CAO/C;AAED,wBAAsB,gCAAgC,IAAI,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,UAAU,EAAE,EAAE,kBAAkB,CAAC,CAAC,CA+B9G;AAED,wBAAsB,gCAAgC,IAAI,OAAO,CAAC,CAAC,MAAM,EAAE,EAAE,UAAU,EAAE,EAAE,kBAAkB,CAAC,CAAC,CAuD9G;AAED,wBAAgB,uBAAuB,CAAC,CAAC,SAAS,MAAM,EAAE,KAAK,EAAE,cAAc,CAAC,CAAC,CAAC,GAAG,gBAAgB,CAAC,MAAM,EAAE,CAAC,CAAC,CAE/G;AAED,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,EAAE,EAAE,GAAG,gBAAgB,CAAC,MAAM,EAAE,OAAO,oCAAoC,CAAC,CAKpH;AAED,wBAAgB,wBAAwB,CAAC,CAAC,SAAS,MAAM,EACvD,EAAE,EAAE,uBAAuB,EAC3B,GAAG,EAAE,CAAC,GACL;IACD,GAAG,EAAE,gBAAgB,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IACjC,IAAI,EAAE,MAAM,CAAC;CACd,CAQA;AAED,wBAAgB,2BAA2B,CACzC,EAAE,EAAE,EAAE,EAAE,GACP,gBAAgB,CAAC,MAAM,EAAE,OAAO,+CAA+C,CAAC,CAQlF;AAED,wBAAgB,wBAAwB,CACtC,YAAY,EAAE,sBAAsB,GACnC,gBAAgB,CAAC,MAAM,EAAE,OAAO,mCAAmC,CAAC,CAOtE;AAED,wBAAsB,sBAAsB,CAC1C,SAAS,EAAE,wBAAwB,EACnC,gBAAgB,EAAE,2BAA2B,6DAmB9C"}

package/dest/witgen.js

@@ -0,0 +1,335 @@
+import { AVM_V2_PROOF_LENGTH_IN_FIELDS_PADDED, AVM_V2_PUBLIC_INPUTS_FLATTENED_SIZE, AVM_V2_VERIFICATION_KEY_LENGTH_IN_FIELDS_PADDED } from '@aztec/constants';
+import { Fr } from '@aztec/foundation/fields';
+import { Noir } from '@aztec/noir-noir_js';
+import { AztecAddress } from '@aztec/stdlib/aztec-address';
+import createDebug from 'debug';
+import MockAppCreatorCircuit from '../artifacts/app_creator.json' assert {
+    type: 'json'
+};
+import MockAppReaderCircuit from '../artifacts/app_reader.json' assert {
+    type: 'json'
+};
+import MockAppCreatorVk from '../artifacts/keys/app_creator.vk.data.json' assert {
+    type: 'json'
+};
+import MockAppReaderVk from '../artifacts/keys/app_reader.vk.data.json' assert {
+    type: 'json'
+};
+import MockPrivateKernelInitVk from '../artifacts/keys/mock_private_kernel_init.vk.data.json' assert {
+    type: 'json'
+};
+import MockPrivateKernelInnerVk from '../artifacts/keys/mock_private_kernel_inner.vk.data.json' assert {
+    type: 'json'
+};
+import MockPrivateKernelResetVk from '../artifacts/keys/mock_private_kernel_reset.vk.data.json' assert {
+    type: 'json'
+};
+import MockPrivateKernelTailVk from '../artifacts/keys/mock_private_kernel_tail.vk.data.json' assert {
+    type: 'json'
+};
+import MockRollupBasePrivateVk from '../artifacts/keys/mock_rollup_base_private.vk.data.json' assert {
+    type: 'json'
+};
+import MockRollupBasePublicVk from '../artifacts/keys/mock_rollup_base_public.vk.data.json' assert {
+    type: 'json'
+};
+import MockRollupMergeVk from '../artifacts/keys/mock_rollup_merge.vk.data.json' assert {
+    type: 'json'
+};
+import MockRollupRootVk from '../artifacts/keys/mock_rollup_root.vk.data.json' assert {
+    type: 'json'
+};
+import MockPrivateKernelInitCircuit from '../artifacts/mock_private_kernel_init.json' assert {
+    type: 'json'
+};
+import MockPrivateKernelInnerCircuit from '../artifacts/mock_private_kernel_inner.json' assert {
+    type: 'json'
+};
+import MockPrivateKernelResetCircuit from '../artifacts/mock_private_kernel_reset.json' assert {
+    type: 'json'
+};
+import MockPrivateKernelTailCircuit from '../artifacts/mock_private_kernel_tail.json' assert {
+    type: 'json'
+};
+import MockRollupBasePrivateCircuit from '../artifacts/mock_rollup_base_private.json' assert {
+    type: 'json'
+};
+import MockRollupBasePublicCircuit from '../artifacts/mock_rollup_base_public.json' assert {
+    type: 'json'
+};
+import MockRollupMergeCircuit from '../artifacts/mock_rollup_merge.json' assert {
+    type: 'json'
+};
+import MockRollupRootCircuit from '../artifacts/mock_rollup_root.json' assert {
+    type: 'json'
+};
+// Re export the circuit jsons
+export { MockAppCreatorCircuit, MockAppReaderCircuit, MockPrivateKernelInitCircuit, MockPrivateKernelInnerCircuit, MockPrivateKernelResetCircuit, MockPrivateKernelTailCircuit, MockRollupBasePublicCircuit, MockRollupBasePrivateCircuit, MockRollupMergeCircuit, MockRollupRootCircuit, MockAppCreatorVk, MockAppReaderVk, MockPrivateKernelInitVk, MockPrivateKernelInnerVk, MockPrivateKernelResetVk, MockPrivateKernelTailVk, MockRollupBasePublicVk, MockRollupBasePrivateVk, MockRollupMergeVk, MockRollupRootVk };
+/* eslint-disable camelcase */ const logger = createDebug('aztec:ivc-test');
+export function getVkAsFields(vk) {
+    return vk.keyAsFields;
+}
+export const MOCK_MAX_COMMITMENTS_PER_TX = 4;
+function foreignCallHandler() {
+    throw new Error('Unexpected foreign call');
+}
+export async function witnessGenCreatorAppMockCircuit(args) {
+    const program = new Noir(MockAppCreatorCircuit);
+    const { witness, returnValue } = await program.execute(args, foreignCallHandler);
+    return {
+        witness,
+        publicInputs: returnValue
+    };
+}
+export async function witnessGenReaderAppMockCircuit(args) {
+    const program = new Noir(MockAppReaderCircuit);
+    const { witness, returnValue } = await program.execute(args, foreignCallHandler);
+    return {
+        witness,
+        publicInputs: returnValue
+    };
+}
+export async function witnessGenMockPrivateKernelInitCircuit(args) {
+    const program = new Noir(MockPrivateKernelInitCircuit);
+    const { witness, returnValue } = await program.execute(args, foreignCallHandler);
+    return {
+        witness,
+        publicInputs: returnValue
+    };
+}
+export async function witnessGenMockPrivateKernelInnerCircuit(args) {
+    const program = new Noir(MockPrivateKernelInnerCircuit);
+    const { witness, returnValue } = await program.execute(args, foreignCallHandler);
+    return {
+        witness,
+        publicInputs: returnValue
+    };
+}
+export async function witnessGenMockPrivateKernelResetCircuit(args) {
+    const program = new Noir(MockPrivateKernelResetCircuit);
+    const { witness, returnValue } = await program.execute(args, foreignCallHandler);
+    return {
+        witness,
+        publicInputs: returnValue
+    };
+}
+export async function witnessGenMockPrivateKernelTailCircuit(args) {
+    const program = new Noir(MockPrivateKernelTailCircuit);
+    const { witness, returnValue } = await program.execute(args, foreignCallHandler);
+    return {
+        witness,
+        publicInputs: returnValue
+    };
+}
+export async function witnessGenMockPublicBaseCircuit(args) {
+    const program = new Noir(MockRollupBasePublicCircuit);
+    const { witness, returnValue } = await program.execute(args, foreignCallHandler);
+    return {
+        witness,
+        publicInputs: returnValue
+    };
+}
+export async function witnessGenMockRollupBasePrivateCircuit(args) {
+    const program = new Noir(MockRollupBasePrivateCircuit);
+    const { witness, returnValue } = await program.execute(args, foreignCallHandler);
+    return {
+        witness,
+        publicInputs: returnValue
+    };
+}
+export async function witnessGenMockRollupMergeCircuit(args) {
+    const program = new Noir(MockRollupMergeCircuit);
+    const { witness, returnValue } = await program.execute(args, foreignCallHandler);
+    return {
+        witness,
+        publicInputs: returnValue
+    };
+}
+export async function witnessGenMockRollupRootCircuit(args) {
+    const program = new Noir(MockRollupRootCircuit);
+    const { witness, returnValue } = await program.execute(args, foreignCallHandler);
+    return {
+        witness,
+        publicInputs: returnValue
+    };
+}
+export async function generate3FunctionTestingIVCStack() {
+    const tx = {
+        number_of_calls: '0x1'
+    };
+    // Witness gen app and kernels
+    const appWitnessGenResult = await witnessGenCreatorAppMockCircuit({
+        commitments_to_create: [
+            '0x1',
+            '0x2'
+        ]
+    });
+    logger('generated app mock circuit witness');
+    const initWitnessGenResult = await witnessGenMockPrivateKernelInitCircuit({
+        app_inputs: appWitnessGenResult.publicInputs,
+        tx,
+        app_vk: getVkAsFields(MockAppCreatorVk)
+    });
+    logger('generated mock private kernel init witness');
+    const tailWitnessGenResult = await witnessGenMockPrivateKernelTailCircuit({
+        prev_kernel_public_inputs: initWitnessGenResult.publicInputs,
+        kernel_vk: getVkAsFields(MockPrivateKernelResetVk)
+    });
+    logger('generated mock private kernel tail witness');
+    // Create client IVC proof
+    const bytecodes = [
+        MockAppCreatorCircuit.bytecode,
+        MockPrivateKernelInitCircuit.bytecode,
+        MockPrivateKernelTailCircuit.bytecode
+    ];
+    const witnessStack = [
+        appWitnessGenResult.witness,
+        initWitnessGenResult.witness,
+        tailWitnessGenResult.witness
+    ];
+    return [
+        bytecodes,
+        witnessStack,
+        tailWitnessGenResult.publicInputs
+    ];
+}
+export async function generate6FunctionTestingIVCStack() {
+    const tx = {
+        number_of_calls: '0x2'
+    };
+    // Witness gen app and kernels
+    const creatorAppWitnessGenResult = await witnessGenCreatorAppMockCircuit({
+        commitments_to_create: [
+            '0x1',
+            '0x2'
+        ]
+    });
+    const readerAppWitnessGenResult = await witnessGenReaderAppMockCircuit({
+        commitments_to_read: [
+            '0x2',
+            '0x0'
+        ]
+    });
+    const initWitnessGenResult = await witnessGenMockPrivateKernelInitCircuit({
+        app_inputs: creatorAppWitnessGenResult.publicInputs,
+        tx,
+        app_vk: getVkAsFields(MockAppCreatorVk)
+    });
+    const innerWitnessGenResult = await witnessGenMockPrivateKernelInnerCircuit({
+        prev_kernel_public_inputs: initWitnessGenResult.publicInputs,
+        app_inputs: readerAppWitnessGenResult.publicInputs,
+        app_vk: getVkAsFields(MockAppReaderVk),
+        kernel_vk: getVkAsFields(MockPrivateKernelInitVk)
+    });
+    const resetWitnessGenResult = await witnessGenMockPrivateKernelResetCircuit({
+        prev_kernel_public_inputs: innerWitnessGenResult.publicInputs,
+        commitment_read_hints: [
+            '0x1',
+            MOCK_MAX_COMMITMENTS_PER_TX.toString(),
+            MOCK_MAX_COMMITMENTS_PER_TX.toString(),
+            MOCK_MAX_COMMITMENTS_PER_TX.toString()
+        ],
+        kernel_vk: getVkAsFields(MockPrivateKernelInnerVk)
+    });
+    const tailWitnessGenResult = await witnessGenMockPrivateKernelTailCircuit({
+        prev_kernel_public_inputs: resetWitnessGenResult.publicInputs,
+        kernel_vk: getVkAsFields(MockPrivateKernelResetVk)
+    });
+    // Create client IVC proof
+    const bytecodes = [
+        MockAppCreatorCircuit.bytecode,
+        MockPrivateKernelInitCircuit.bytecode,
+        MockAppReaderCircuit.bytecode,
+        MockPrivateKernelInnerCircuit.bytecode,
+        MockPrivateKernelResetCircuit.bytecode,
+        MockPrivateKernelTailCircuit.bytecode
+    ];
+    const witnessStack = [
+        creatorAppWitnessGenResult.witness,
+        initWitnessGenResult.witness,
+        readerAppWitnessGenResult.witness,
+        innerWitnessGenResult.witness,
+        resetWitnessGenResult.witness,
+        tailWitnessGenResult.witness
+    ];
+    return [
+        bytecodes,
+        witnessStack,
+        tailWitnessGenResult.publicInputs
+    ];
+}
+export function mapRecursiveProofToNoir(proof) {
+    return proof.proof.map((field)=>field.toString());
+}
+export function mapAvmProofToNoir(proof) {
+    if (proof.length != AVM_V2_PROOF_LENGTH_IN_FIELDS_PADDED) {
+        throw new Error('Invalid number of AVM proof fields');
+    }
+    return proof.map((field)=>field.toString());
+}
+export function mapVerificationKeyToNoir(vk, len) {
+    if (len !== vk.key.length) {
+        throw new Error('Verification key length does not match expected length');
+    }
+    return {
+        key: vk.key.map((field)=>field.toString()),
+        hash: vk.hash.toString()
+    };
+}
+export function mapAvmVerificationKeyToNoir(vk) {
+    if (vk.length != AVM_V2_VERIFICATION_KEY_LENGTH_IN_FIELDS_PADDED) {
+        throw new Error('Invalid number of AVM verification key fields');
+    }
+    return vk.map((field)=>field.toString());
+}
+export function mapAvmPublicInputsToNoir(publicInputs) {
+    // TODO: Currently the recursive verifier only expects a single public input, the reverted field.
+    const serialized = [
+        new Fr(publicInputs.reverted)
+    ];
+    if (serialized.length != AVM_V2_PUBLIC_INPUTS_FLATTENED_SIZE) {
+        throw new Error('Invalid number of AVM public inputs');
+    }
+    return serialized.map((x)=>x.toString());
+}
+export async function simulateAvmBulkTesting(simTester, contractInstance) {
+    const argsField = [
+        1,
+        2,
+        3,
+        4,
+        5,
+        6,
+        7,
+        8,
+        9,
+        10
+    ].map((x)=>new Fr(x));
+    const argsU8 = [
+        1,
+        2,
+        3,
+        4,
+        5,
+        6,
+        7,
+        8,
+        9,
+        10
+    ].map((x)=>new Fr(x));
+    const args = [
+        argsField,
+        argsU8,
+        /*getInstanceForAddress=*/ contractInstance.address.toField(),
+        /*expectedDeployer=*/ contractInstance.deployer.toField(),
+        /*expectedClassId=*/ contractInstance.currentContractClassId.toField(),
+        /*expectedInitializationHash=*/ contractInstance.initializationHash.toField()
+    ];
+    return await simTester.simulateTx(/*sender=*/ AztecAddress.fromNumber(42), /*setupCalls=*/ [], /*appCalls=*/ [
+        {
+            address: contractInstance.address,
+            fnName: 'bulk_testing',
+            args
+        }
+    ], /*teardownCall=*/ undefined);
+}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@aztec/ivc-integration",
-  "version": "0.84.0",
+  "version": "0.85.0",
   "type": "module",
   "exports": {
     ".": "./dest/index.js",
@@ -60,14 +60,14 @@
     ]
   },
   "dependencies": {
-    "@aztec/bb.js": "0.84.0",
-    "@aztec/constants": "0.84.0",
-    "@aztec/foundation": "0.84.0",
-    "@aztec/noir-noir_codegen": "0.84.0",
-    "@aztec/noir-noir_js": "0.84.0",
-    "@aztec/noir-noirc_abi": "0.84.0",
-    "@aztec/noir-types": "0.84.0",
-    "@aztec/stdlib": "0.84.0",
+    "@aztec/bb.js": "0.85.0",
+    "@aztec/constants": "0.85.0",
+    "@aztec/foundation": "0.85.0",
+    "@aztec/noir-noir_codegen": "0.85.0",
+    "@aztec/noir-noir_js": "0.85.0",
+    "@aztec/noir-noirc_abi": "0.85.0",
+    "@aztec/noir-types": "0.85.0",
+    "@aztec/stdlib": "0.85.0",
     "chalk": "^5.3.0",
     "change-case": "^5.4.4",
     "pako": "^2.1.0",
@@ -76,12 +76,12 @@
     "tslib": "^2.4.0"
   },
   "devDependencies": {
-    "@aztec/bb-prover": "0.84.0",
-    "@aztec/kv-store": "0.84.0",
-    "@aztec/noir-contracts.js": "0.84.0",
-    "@aztec/simulator": "0.84.0",
-    "@aztec/telemetry-client": "0.84.0",
-    "@aztec/world-state": "0.84.0",
+    "@aztec/bb-prover": "0.85.0",
+    "@aztec/kv-store": "0.85.0",
+    "@aztec/noir-contracts.js": "0.85.0",
+    "@aztec/simulator": "0.85.0",
+    "@aztec/telemetry-client": "0.85.0",
+    "@aztec/world-state": "0.85.0",
     "@jest/globals": "^29.5.0",
     "@msgpack/msgpack": "^3.0.0-beta2",
     "@playwright/test": "1.49.0",
@@ -93,8 +93,6 @@
     "html-webpack-plugin": "^5.6.0",
     "jest": "^29.5.0",
     "jest-mock-extended": "^4.0.0-beta1",
-    "levelup": "^5.1.1",
-    "memdown": "^6.1.1",
     "resolve-typescript-plugin": "^2.0.1",
     "serve": "^14.2.1",
     "ts-loader": "^9.5.1",