@aztec-labs/ivc-integration 6.0.0-nightly.20260829

package/dest/types/index.js

@@ -0,0 +1,102 @@
+/* Autogenerated file, do not edit! */ /* eslint-disable */ import { Noir } from "@aztec/noir-noir_js";
+export async function AppCreator(commitments_to_create, AppCreator_circuit, foreignCallHandler) {
+    const program = new Noir(AppCreator_circuit);
+    const args = {
+        commitments_to_create
+    };
+    const { returnValue } = await program.execute(args, foreignCallHandler);
+    return returnValue;
+}
+export async function AppReader(commitments_to_read, AppReader_circuit, foreignCallHandler) {
+    const program = new Noir(AppReader_circuit);
+    const args = {
+        commitments_to_read
+    };
+    const { returnValue } = await program.execute(args, foreignCallHandler);
+    return returnValue;
+}
+export async function MockHiding(prev_kernel_public_inputs, kernel_vk, MockHiding_circuit, foreignCallHandler) {
+    const program = new Noir(MockHiding_circuit);
+    const args = {
+        prev_kernel_public_inputs,
+        kernel_vk
+    };
+    const { returnValue } = await program.execute(args, foreignCallHandler);
+    return returnValue;
+}
+export async function MockPrivateKernelInit(tx, app_inputs, app_vk, MockPrivateKernelInit_circuit, foreignCallHandler) {
+    const program = new Noir(MockPrivateKernelInit_circuit);
+    const args = {
+        tx,
+        app_inputs,
+        app_vk
+    };
+    const { returnValue } = await program.execute(args, foreignCallHandler);
+    return returnValue;
+}
+export async function MockPrivateKernelInner(prev_kernel_public_inputs, kernel_vk, app_inputs, app_vk, MockPrivateKernelInner_circuit, foreignCallHandler) {
+    const program = new Noir(MockPrivateKernelInner_circuit);
+    const args = {
+        prev_kernel_public_inputs,
+        kernel_vk,
+        app_inputs,
+        app_vk
+    };
+    const { returnValue } = await program.execute(args, foreignCallHandler);
+    return returnValue;
+}
+export async function MockPrivateKernelReset(prev_kernel_public_inputs, kernel_vk, commitment_read_hints, MockPrivateKernelReset_circuit, foreignCallHandler) {
+    const program = new Noir(MockPrivateKernelReset_circuit);
+    const args = {
+        prev_kernel_public_inputs,
+        kernel_vk,
+        commitment_read_hints
+    };
+    const { returnValue } = await program.execute(args, foreignCallHandler);
+    return returnValue;
+}
+export async function MockPrivateKernelTail(prev_kernel_public_inputs, kernel_vk, MockPrivateKernelTail_circuit, foreignCallHandler) {
+    const program = new Noir(MockPrivateKernelTail_circuit);
+    const args = {
+        prev_kernel_public_inputs,
+        kernel_vk
+    };
+    const { returnValue } = await program.execute(args, foreignCallHandler);
+    return returnValue;
+}
+export async function MockRollupTxBasePublic(chonk_proof_data, proof, public_inputs, MockRollupTxBasePublic_circuit, foreignCallHandler) {
+    const program = new Noir(MockRollupTxBasePublic_circuit);
+    const args = {
+        chonk_proof_data,
+        proof,
+        public_inputs
+    };
+    const { returnValue } = await program.execute(args, foreignCallHandler);
+    return returnValue;
+}
+export async function MockRollupTxBasePrivate(chonk_proof_data, MockRollupTxBasePrivate_circuit, foreignCallHandler) {
+    const program = new Noir(MockRollupTxBasePrivate_circuit);
+    const args = {
+        chonk_proof_data
+    };
+    const { returnValue } = await program.execute(args, foreignCallHandler);
+    return returnValue;
+}
+export async function MockRollupTxMerge(a, b, MockRollupTxMerge_circuit, foreignCallHandler) {
+    const program = new Noir(MockRollupTxMerge_circuit);
+    const args = {
+        a,
+        b
+    };
+    const { returnValue } = await program.execute(args, foreignCallHandler);
+    return returnValue;
+}
+export async function MockRollupRoot(a, b, MockRollupRoot_circuit, foreignCallHandler) {
+    const program = new Noir(MockRollupRoot_circuit);
+    const args = {
+        a,
+        b
+    };
+    const { returnValue } = await program.execute(args, foreignCallHandler);
+    return returnValue;
+}

package/dest/witgen.d.ts

@@ -0,0 +1,87 @@
+import { CircuitKind } from '@aztec/bb.js';
+import { AVM_CIRCUIT_PUBLIC_INPUTS_LENGTH, AVM_V2_PROOF_LENGTH_IN_FIELDS } from '@aztec-labs/constants';
+import { Fr } from '@aztec-labs/foundation/curves/bn254';
+import type { AvmCircuitPublicInputs } from '@aztec-labs/stdlib/avm';
+import type { RecursiveProof } from '@aztec-labs/stdlib/proofs';
+import { VerificationKeyAsFields } from '@aztec-labs/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<N extends number>({ keyAsFields }: {
+    keyAsFields: string[];
+}, length: N): Promise<VerificationKey<N>>;
+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[], CircuitKind[]]>;
+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,eyJ2ZXJzaW9uIjozLCJmaWxlIjoid2l0Z2VuLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi9zcmMvd2l0Z2VuLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxXQUFXLEVBQUUsTUFBTSxjQUFjLENBQUM7QUFHM0MsT0FBTyxFQUNMLGdDQUFnQyxFQUNoQyw2QkFBNkIsRUFHOUIsTUFBTSx1QkFBdUIsQ0FBQztBQUUvQixPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0scUNBQXFDLENBQUM7QUFFekQsT0FBTyxLQUFLLEVBQUUsc0JBQXNCLEVBQUUsTUFBTSx3QkFBd0IsQ0FBQztBQUNyRSxPQUFPLEtBQUssRUFBRSxjQUFjLEVBQUUsTUFBTSwyQkFBMkIsQ0FBQztBQUNoRSxPQUFPLEVBQUUsdUJBQXVCLEVBQUUsTUFBTSx3QkFBd0IsQ0FBQztBQUlqRSxPQUFPLHFCQUFxQixNQUFNLCtCQUErQixDQUF1QjtBQUN4RixPQUFPLG9CQUFvQixNQUFNLDhCQUE4QixDQUF1QjtBQUN0RixPQUFPLGlCQUFpQixNQUFNLCtCQUErQixDQUF1QjtBQUNwRixPQUFPLDRCQUE0QixNQUFNLDRDQUE0QyxDQUF1QjtBQUM1RyxPQUFPLDZCQUE2QixNQUFNLDZDQUE2QyxDQUF1QjtBQUM5RyxPQUFPLDZCQUE2QixNQUFNLDZDQUE2QyxDQUF1QjtBQUM5RyxPQUFPLDRCQUE0QixNQUFNLDRDQUE0QyxDQUF1QjtBQUM1RyxPQUFPLHFCQUFxQixNQUFNLG9DQUFvQyxDQUF1QjtBQUM3RixPQUFPLDhCQUE4QixNQUFNLCtDQUErQyxDQUF1QjtBQUNqSCxPQUFPLDZCQUE2QixNQUFNLDhDQUE4QyxDQUF1QjtBQUMvRyxPQUFPLHdCQUF3QixNQUFNLHdDQUF3QyxDQUF1QjtBQUNwRyxPQUFPLEtBQUssRUFDVixtQkFBbUIsRUFDbkIsZUFBZSxFQUNmLGtCQUFrQixFQUNsQixnQkFBZ0IsRUFDaEIsa0JBQWtCLEVBQ2xCLG1CQUFtQixFQUNuQiw4QkFBOEIsRUFDOUIsK0JBQStCLEVBQy9CLCtCQUErQixFQUMvQiw4QkFBOEIsRUFDOUIsdUJBQXVCLEVBQ3ZCLGdDQUFnQyxFQUNoQywrQkFBK0IsRUFDL0IsMEJBQTBCLEVBQzFCLHlCQUF5QixFQUN6QixrQkFBa0IsRUFDbEIsZUFBZSxFQUNoQixNQUFNLGtCQUFrQixDQUFDO0FBVzFCLFFBQUEsTUFBTSxnQkFBZ0I7OztDQUE4QyxDQUFDO0FBQ3JFLFFBQUEsTUFBTSxlQUFlOzs7Q0FBNkMsQ0FBQztBQUNuRSxRQUFBLE1BQU0sdUJBQXVCOzs7Q0FBcUQsQ0FBQztBQUNuRixRQUFBLE1BQU0sd0JBQXdCOzs7Q0FBc0QsQ0FBQztBQUNyRixRQUFBLE1BQU0sd0JBQXdCOzs7Q0FBc0QsQ0FBQztBQUNyRixRQUFBLE1BQU0sdUJBQXVCOzs7Q0FBcUQsQ0FBQztBQUVuRixRQUFBLE1BQU0seUJBQXlCOzs7Q0FBdUQsQ0FBQztBQUN2RixRQUFBLE1BQU0sd0JBQXdCOzs7Q0FBc0QsQ0FBQztBQUNyRixRQUFBLE1BQU0sbUJBQW1COzs7Q0FBaUQsQ0FBQztBQUMzRSxRQUFBLE1BQU0sZ0JBQWdCOzs7Q0FBOEMsQ0FBQztBQUdyRSxPQUFPLEVBQ0wscUJBQXFCLEVBQ3JCLGdCQUFnQixFQUNoQixvQkFBb0IsRUFDcEIsZUFBZSxFQUNmLDRCQUE0QixFQUM1Qix1QkFBdUIsRUFDdkIsNkJBQTZCLEVBQzdCLHdCQUF3QixFQUN4Qiw2QkFBNkIsRUFDN0Isd0JBQXdCLEVBQ3hCLDRCQUE0QixFQUM1QixpQkFBaUIsRUFDakIsdUJBQXVCLEVBQ3ZCLDhCQUE4QixFQUM5Qix5QkFBeUIsRUFDekIsNkJBQTZCLEVBQzdCLHdCQUF3QixFQUN4Qix3QkFBd0IsRUFDeEIsbUJBQW1CLEVBQ25CLHFCQUFxQixFQUNyQixnQkFBZ0IsR0FDakIsQ0FBQztBQU1GLHdCQUFzQixhQUFhLENBQUMsQ0FBQyxTQUFTLE1BQU0sRUFDbEQsRUFBRSxXQUFXLEVBQUUsRUFBRTtJQUFFLFdBQVcsRUFBRSxNQUFNLEVBQUUsQ0FBQTtDQUFFLEVBQzFDLE1BQU0sRUFBRSxDQUFDLEdBQ1IsT0FBTyxDQUFDLGVBQWUsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUk3QjtBQUVELGVBQU8sTUFBTSwyQkFBMkIsSUFBSSxDQUFDO0FBZTdDLE1BQU0sV0FBVyxnQkFBZ0IsQ0FBQyxnQkFBZ0I7SUFDaEQsT0FBTyxFQUFFLFVBQVUsQ0FBQztJQUNwQixZQUFZLEVBQUUsZ0JBQWdCLENBQUM7Q0FDaEM7QUFFRCx3QkFBc0IsK0JBQStCLENBQ25ELElBQUksRUFBRSxtQkFBbUIsR0FDeEIsT0FBTyxDQUFDLGdCQUFnQixDQUFDLGVBQWUsQ0FBQyxDQUFDLENBTzVDO0FBRUQsd0JBQXNCLDhCQUE4QixDQUNsRCxJQUFJLEVBQUUsa0JBQWtCLEdBQ3ZCLE9BQU8sQ0FBQyxnQkFBZ0IsQ0FBQyxlQUFlLENBQUMsQ0FBQyxDQU81QztBQUVELHdCQUFzQixzQ0FBc0MsQ0FDMUQsSUFBSSxFQUFFLDhCQUE4QixHQUNuQyxPQUFPLENBQUMsZ0JBQWdCLENBQUMseUJBQXlCLENBQUMsQ0FBQyxDQU90RDtBQUVELHdCQUFzQix1Q0FBdUMsQ0FDM0QsSUFBSSxFQUFFLCtCQUErQixHQUNwQyxPQUFPLENBQUMsZ0JBQWdCLENBQUMseUJBQXlCLENBQUMsQ0FBQyxDQU90RDtBQUVELHdCQUFzQix1Q0FBdUMsQ0FDM0QsSUFBSSxFQUFFLCtCQUErQixHQUNwQyxPQUFPLENBQUMsZ0JBQWdCLENBQUMseUJBQXlCLENBQUMsQ0FBQyxDQU90RDtBQUVELHdCQUFzQixzQ0FBc0MsQ0FDMUQsSUFBSSxFQUFFLDhCQUE4QixHQUNuQyxPQUFPLENBQUMsZ0JBQWdCLENBQUMsa0JBQWtCLENBQUMsQ0FBQyxDQU8vQztBQUVELHdCQUFzQiwyQkFBMkIsQ0FDL0MsSUFBSSxFQUFFLG1CQUFtQixHQUN4QixPQUFPLENBQUMsZ0JBQWdCLENBQUMsa0JBQWtCLENBQUMsQ0FBQyxDQU8vQztBQUVELHdCQUFzQiwrQkFBK0IsQ0FDbkQsSUFBSSxFQUFFLCtCQUErQixHQUNwQyxPQUFPLENBQUMsZ0JBQWdCLENBQUMsa0JBQWtCLENBQUMsQ0FBQyxDQU8vQztBQUVELHdCQUFzQix3Q0FBd0MsQ0FDNUQsSUFBSSxFQUFFLGdDQUFnQyxHQUNyQyxPQUFPLENBQUMsZ0JBQWdCLENBQUMsa0JBQWtCLENBQUMsQ0FBQyxDQU8vQztBQUVELHdCQUFzQixrQ0FBa0MsQ0FDdEQsSUFBSSxFQUFFLDBCQUEwQixHQUMvQixPQUFPLENBQUMsZ0JBQWdCLENBQUMsa0JBQWtCLENBQUMsQ0FBQyxDQU8vQztBQUVELHdCQUFzQiwrQkFBK0IsQ0FDbkQsSUFBSSxFQUFFLHVCQUF1QixHQUM1QixPQUFPLENBQUMsZ0JBQWdCLENBQUMsa0JBQWtCLENBQUMsQ0FBQyxDQU8vQztBQUVELHdCQUFzQix1QkFBdUIsQ0FFM0Msa0JBQWtCLEVBQUUsTUFBTSxFQUcxQixpQkFBaUIsRUFBRSxNQUFNLEdBQ3hCLE9BQU8sQ0FBQyxDQUFDLFVBQVUsRUFBRSxFQUFFLFVBQVUsRUFBRSxFQUFFLGtCQUFrQixFQUFFLFVBQVUsRUFBRSxFQUFFLFdBQVcsRUFBRSxDQUFDLENBQUMsQ0F1SnhGO0FBRUQsd0JBQWdCLHVCQUF1QixDQUFDLENBQUMsU0FBUyxNQUFNLEVBQUUsS0FBSyxFQUFFLGNBQWMsQ0FBQyxDQUFDLENBQUMsR0FBRyxnQkFBZ0IsQ0FBQyxNQUFNLEVBQUUsQ0FBQyxDQUFDLENBRS9HO0FBRUQsd0JBQWdCLGlCQUFpQixDQUFDLEtBQUssRUFBRSxFQUFFLEVBQUUsR0FBRyxnQkFBZ0IsQ0FBQyxNQUFNLEVBQUUsT0FBTyw2QkFBNkIsQ0FBQyxDQUs3RztBQUVELHdCQUFnQix3QkFBd0IsQ0FBQyxDQUFDLFNBQVMsTUFBTSxFQUN2RCxFQUFFLEVBQUUsdUJBQXVCLEVBQzNCLEdBQUcsRUFBRSxDQUFDLEdBQ0w7SUFDRCxHQUFHLEVBQUUsZ0JBQWdCLENBQUMsTUFBTSxFQUFFLENBQUMsQ0FBQyxDQUFDO0lBQ2pDLElBQUksRUFBRSxNQUFNLENBQUM7Q0FDZCxDQVFBO0FBRUQsd0JBQWdCLHdCQUF3QixDQUN0QyxZQUFZLEVBQUUsc0JBQXNCLEdBQ25DLGdCQUFnQixDQUFDLE1BQU0sRUFBRSxPQUFPLGdDQUFnQyxDQUFDLENBTW5FIn0=

package/dest/witgen.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"witgen.d.ts","sourceRoot":"","sources":["../src/witgen.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAG3C,OAAO,EACL,gCAAgC,EAChC,6BAA6B,EAG9B,MAAM,uBAAuB,CAAC;AAE/B,OAAO,EAAE,EAAE,EAAE,MAAM,qCAAqC,CAAC;AAEzD,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,wBAAwB,CAAC;AACrE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,2BAA2B,CAAC;AAChE,OAAO,EAAE,uBAAuB,EAAE,MAAM,wBAAwB,CAAC;AAIjE,OAAO,qBAAqB,MAAM,+BAA+B,CAAuB;AACxF,OAAO,oBAAoB,MAAM,8BAA8B,CAAuB;AACtF,OAAO,iBAAiB,MAAM,+BAA+B,CAAuB;AACpF,OAAO,4BAA4B,MAAM,4CAA4C,CAAuB;AAC5G,OAAO,6BAA6B,MAAM,6CAA6C,CAAuB;AAC9G,OAAO,6BAA6B,MAAM,6CAA6C,CAAuB;AAC9G,OAAO,4BAA4B,MAAM,4CAA4C,CAAuB;AAC5G,OAAO,qBAAqB,MAAM,oCAAoC,CAAuB;AAC7F,OAAO,8BAA8B,MAAM,+CAA+C,CAAuB;AACjH,OAAO,6BAA6B,MAAM,8CAA8C,CAAuB;AAC/G,OAAO,wBAAwB,MAAM,wCAAwC,CAAuB;AACpG,OAAO,KAAK,EACV,mBAAmB,EACnB,eAAe,EACf,kBAAkB,EAClB,gBAAgB,EAChB,kBAAkB,EAClB,mBAAmB,EACnB,8BAA8B,EAC9B,+BAA+B,EAC/B,+BAA+B,EAC/B,8BAA8B,EAC9B,uBAAuB,EACvB,gCAAgC,EAChC,+BAA+B,EAC/B,0BAA0B,EAC1B,yBAAyB,EACzB,kBAAkB,EAClB,eAAe,EAChB,MAAM,kBAAkB,CAAC;AAW1B,QAAA,MAAM,gBAAgB;;;CAA8C,CAAC;AACrE,QAAA,MAAM,eAAe;;;CAA6C,CAAC;AACnE,QAAA,MAAM,uBAAuB;;;CAAqD,CAAC;AACnF,QAAA,MAAM,wBAAwB;;;CAAsD,CAAC;AACrF,QAAA,MAAM,wBAAwB;;;CAAsD,CAAC;AACrF,QAAA,MAAM,uBAAuB;;;CAAqD,CAAC;AAEnF,QAAA,MAAM,yBAAyB;;;CAAuD,CAAC;AACvF,QAAA,MAAM,wBAAwB;;;CAAsD,CAAC;AACrF,QAAA,MAAM,mBAAmB;;;CAAiD,CAAC;AAC3E,QAAA,MAAM,gBAAgB;;;CAA8C,CAAC;AAGrE,OAAO,EACL,qBAAqB,EACrB,gBAAgB,EAChB,oBAAoB,EACpB,eAAe,EACf,4BAA4B,EAC5B,uBAAuB,EACvB,6BAA6B,EAC7B,wBAAwB,EACxB,6BAA6B,EAC7B,wBAAwB,EACxB,4BAA4B,EAC5B,iBAAiB,EACjB,uBAAuB,EACvB,8BAA8B,EAC9B,yBAAyB,EACzB,6BAA6B,EAC7B,wBAAwB,EACxB,wBAAwB,EACxB,mBAAmB,EACnB,qBAAqB,EACrB,gBAAgB,GACjB,CAAC;AAMF,wBAAsB,aAAa,CAAC,CAAC,SAAS,MAAM,EAClD,EAAE,WAAW,EAAE,EAAE;IAAE,WAAW,EAAE,MAAM,EAAE,CAAA;CAAE,EAC1C,MAAM,EAAE,CAAC,GACR,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAI7B;AAED,eAAO,MAAM,2BAA2B,IAAI,CAAC;AAe7C,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,2BAA2B,CAC/C,IAAI,EAAE,mBAAmB,GACxB,OAAO,CAAC,gBAAgB,CAAC,kBAAkB,CAAC,CAAC,CAO/C;AAED,wBAAsB,+BAA+B,CACnD,IAAI,EAAE,+BAA+B,GACpC,OAAO,CAAC,gBAAgB,CAAC,kBAAkB,CAAC,CAAC,CAO/C;AAED,wBAAsB,wCAAwC,CAC5D,IAAI,EAAE,gCAAgC,GACrC,OAAO,CAAC,gBAAgB,CAAC,kBAAkB,CAAC,CAAC,CAO/C;AAED,wBAAsB,kCAAkC,CACtD,IAAI,EAAE,0BAA0B,GAC/B,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,uBAAuB,CAE3C,kBAAkB,EAAE,MAAM,EAG1B,iBAAiB,EAAE,MAAM,GACxB,OAAO,CAAC,CAAC,UAAU,EAAE,EAAE,UAAU,EAAE,EAAE,kBAAkB,EAAE,UAAU,EAAE,EAAE,WAAW,EAAE,CAAC,CAAC,CAuJxF;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,6BAA6B,CAAC,CAK7G;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,wBAAwB,CACtC,YAAY,EAAE,sBAAsB,GACnC,gBAAgB,CAAC,MAAM,EAAE,OAAO,gCAAgC,CAAC,CAMnE"}

package/dest/witgen.js

@@ -0,0 +1,328 @@
+import { CircuitKind } from '@aztec/bb.js';
+import { Noir } from '@aztec/noir-noir_js';
+import { AVM_CIRCUIT_PUBLIC_INPUTS_LENGTH, AVM_V2_PROOF_LENGTH_IN_FIELDS, MEGA_APP_VK_LENGTH_IN_FIELDS, MEGA_KERNEL_VK_LENGTH_IN_FIELDS } from '@aztec-labs/constants';
+import { padArrayEnd } from '@aztec-labs/foundation/collection';
+import { Fr } from '@aztec-labs/foundation/curves/bn254';
+import { applyStringFormatting, createLogger } from '@aztec-labs/foundation/log';
+import { VerificationKeyAsFields } from '@aztec-labs/stdlib/vks';
+import { strict as assert } from 'assert';
+import { ungzip } from 'pako';
+import MockAppCreatorCircuit from '../artifacts/app_creator.json' with {
+    type: 'json'
+};
+import MockAppReaderCircuit from '../artifacts/app_reader.json' with {
+    type: 'json'
+};
+import MockHidingCircuit from '../artifacts/mock_hiding.json' with {
+    type: 'json'
+};
+import MockPrivateKernelInitCircuit from '../artifacts/mock_private_kernel_init.json' with {
+    type: 'json'
+};
+import MockPrivateKernelInnerCircuit from '../artifacts/mock_private_kernel_inner.json' with {
+    type: 'json'
+};
+import MockPrivateKernelResetCircuit from '../artifacts/mock_private_kernel_reset.json' with {
+    type: 'json'
+};
+import MockPrivateKernelTailCircuit from '../artifacts/mock_private_kernel_tail.json' with {
+    type: 'json'
+};
+import MockRollupRootCircuit from '../artifacts/mock_rollup_root.json' with {
+    type: 'json'
+};
+import MockRollupTxBasePrivateCircuit from '../artifacts/mock_rollup_tx_base_private.json' with {
+    type: 'json'
+};
+import MockRollupTxBasePublicCircuit from '../artifacts/mock_rollup_tx_base_public.json' with {
+    type: 'json'
+};
+import MockRollupTxMergeCircuit from '../artifacts/mock_rollup_tx_merge.json' with {
+    type: 'json'
+};
+// Helper to extract VK from circuit artifact
+function extractVkFromCircuit(circuit) {
+    return {
+        keyAsBytes: circuit.verificationKey.bytes,
+        keyAsFields: circuit.verificationKey.fields
+    };
+}
+// Extract VKs from circuit artifacts
+const MockAppCreatorVk = extractVkFromCircuit(MockAppCreatorCircuit);
+const MockAppReaderVk = extractVkFromCircuit(MockAppReaderCircuit);
+const MockPrivateKernelInitVk = extractVkFromCircuit(MockPrivateKernelInitCircuit);
+const MockPrivateKernelInnerVk = extractVkFromCircuit(MockPrivateKernelInnerCircuit);
+const MockPrivateKernelResetVk = extractVkFromCircuit(MockPrivateKernelResetCircuit);
+const MockPrivateKernelTailVk = extractVkFromCircuit(MockPrivateKernelTailCircuit);
+const MockHidingVk = extractVkFromCircuit(MockHidingCircuit);
+const MockRollupTxBasePrivateVk = extractVkFromCircuit(MockRollupTxBasePrivateCircuit);
+const MockRollupTxBasePublicVk = extractVkFromCircuit(MockRollupTxBasePublicCircuit);
+const MockRollupTxMergeVk = extractVkFromCircuit(MockRollupTxMergeCircuit);
+const MockRollupRootVk = extractVkFromCircuit(MockRollupRootCircuit);
+// Re export the circuit jsons
+export { MockAppCreatorCircuit, MockAppCreatorVk, MockAppReaderCircuit, MockAppReaderVk, MockPrivateKernelInitCircuit, MockPrivateKernelInitVk, MockPrivateKernelInnerCircuit, MockPrivateKernelInnerVk, MockPrivateKernelResetCircuit, MockPrivateKernelResetVk, MockPrivateKernelTailCircuit, MockHidingCircuit, MockPrivateKernelTailVk, MockRollupTxBasePrivateCircuit, MockRollupTxBasePrivateVk, MockRollupTxBasePublicCircuit, MockRollupTxBasePublicVk, MockRollupTxMergeCircuit, MockRollupTxMergeVk, MockRollupRootCircuit, MockRollupRootVk };
+/* eslint-disable camelcase */ const log = createLogger('aztec:ivc-test');
+export async function getVkAsFields({ keyAsFields }, length) {
+    const key = keyAsFields.map((f)=>Fr.fromString(f));
+    const vk = await VerificationKeyAsFields.fromKey(key);
+    return mapVerificationKeyToNoir(vk, length);
+}
+export const MOCK_MAX_COMMITMENTS_PER_TX = 4;
+function foreignCallHandler(name, args) {
+    if (name === 'debugLog') {
+        assert(args.length === 3, 'expected 3 arguments for debugLog: msg, fields_length, fields');
+        const [msgRaw, _ignoredFieldsSize, fields] = args;
+        const msg = msgRaw.map((acvmField)=>String.fromCharCode(Fr.fromString(acvmField).toNumber())).join('');
+        const fieldsFr = fields.map((field)=>Fr.fromString(field));
+        log.verbose('debug_log ' + applyStringFormatting(msg, fieldsFr));
+    } else {
+        throw new Error('Unexpected foreign call');
+    }
+    return Promise.resolve([]);
+}
+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 witnessGenMockHidingCircuit(args) {
+    const program = new Noir(MockHidingCircuit);
+    const { witness, returnValue } = await program.execute(args, foreignCallHandler);
+    return {
+        witness,
+        publicInputs: returnValue
+    };
+}
+export async function witnessGenMockPublicBaseCircuit(args) {
+    const program = new Noir(MockRollupTxBasePublicCircuit);
+    const { witness, returnValue } = await program.execute(args, foreignCallHandler);
+    return {
+        witness,
+        publicInputs: returnValue
+    };
+}
+export async function witnessGenMockRollupTxBasePrivateCircuit(args) {
+    const program = new Noir(MockRollupTxBasePrivateCircuit);
+    const { witness, returnValue } = await program.execute(args, foreignCallHandler);
+    return {
+        witness,
+        publicInputs: returnValue
+    };
+}
+export async function witnessGenMockRollupTxMergeCircuit(args) {
+    const program = new Noir(MockRollupTxMergeCircuit);
+    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 generateTestingIVCStack(// A call to the creator app creates 1 commitment. A tx can have at most 2 commitments.
+numCreatorAppCalls, // A call to the reader app creates 1 read request. A reset kernel will be run if there are 2 read requests in the
+// public inputs. All read requests must be cleared before running the tail kernel.
+numReaderAppCalls) {
+    if (numCreatorAppCalls > 2) {
+        throw new Error('The creator app can only be called at most twice.');
+    }
+    const tx = {
+        number_of_calls: `0x${(numCreatorAppCalls + numReaderAppCalls).toString(16)}`
+    };
+    const witnessStack = [];
+    const bytecodes = [];
+    const vks = [];
+    const circuitKinds = [];
+    const pushCircuit = (witness, bytecode, vk, kind)=>{
+        witnessStack.push(witness);
+        bytecodes.push(bytecode);
+        vks.push(vk);
+        circuitKinds.push(kind);
+    };
+    let previousKernel;
+    const createInit = async (appResult, appVkAsFields)=>{
+        const result = await witnessGenMockPrivateKernelInitCircuit({
+            app_inputs: appResult.publicInputs,
+            tx,
+            app_vk: await getVkAsFields({
+                keyAsFields: appVkAsFields
+            }, MEGA_APP_VK_LENGTH_IN_FIELDS)
+        });
+        pushCircuit(result.witness, MockPrivateKernelInitCircuit.bytecode, MockPrivateKernelInitVk.keyAsBytes, CircuitKind.Kernel);
+        previousKernel = {
+            publicInputs: result.publicInputs,
+            keyAsFields: MockPrivateKernelInitVk.keyAsFields
+        };
+    };
+    const createInner = async (appResult, appVkAsFields)=>{
+        const result = await witnessGenMockPrivateKernelInnerCircuit({
+            prev_kernel_public_inputs: previousKernel.publicInputs,
+            kernel_vk: await getVkAsFields(previousKernel, MEGA_KERNEL_VK_LENGTH_IN_FIELDS),
+            app_inputs: appResult.publicInputs,
+            app_vk: await getVkAsFields({
+                keyAsFields: appVkAsFields
+            }, MEGA_APP_VK_LENGTH_IN_FIELDS)
+        });
+        pushCircuit(result.witness, MockPrivateKernelInnerCircuit.bytecode, MockPrivateKernelInnerVk.keyAsBytes, CircuitKind.Kernel);
+        previousKernel = {
+            publicInputs: result.publicInputs,
+            keyAsFields: MockPrivateKernelInnerVk.keyAsFields
+        };
+    };
+    const createReset = async (commitmentToReset)=>{
+        const result = await witnessGenMockPrivateKernelResetCircuit({
+            prev_kernel_public_inputs: previousKernel.publicInputs,
+            kernel_vk: await getVkAsFields(previousKernel, MEGA_KERNEL_VK_LENGTH_IN_FIELDS),
+            commitment_read_hints: padArrayEnd(commitmentToReset.map((r)=>commitments.findIndex((c)=>c === r).toString(16)), MOCK_MAX_COMMITMENTS_PER_TX.toString(), 4)
+        });
+        pushCircuit(result.witness, MockPrivateKernelResetCircuit.bytecode, MockPrivateKernelResetVk.keyAsBytes, CircuitKind.Kernel);
+        previousKernel = {
+            publicInputs: result.publicInputs,
+            keyAsFields: MockPrivateKernelResetVk.keyAsFields
+        };
+    };
+    const commitments = [
+        '0x1',
+        '0x2'
+    ];
+    for(let i = 0; i < numCreatorAppCalls; i++){
+        const result = await witnessGenCreatorAppMockCircuit({
+            commitments_to_create: [
+                commitments[i],
+                '0x0'
+            ]
+        });
+        pushCircuit(result.witness, MockAppCreatorCircuit.bytecode, MockAppCreatorVk.keyAsBytes, CircuitKind.App);
+        if (i === 0) {
+            await createInit(result, MockAppCreatorVk.keyAsFields);
+        } else {
+            await createInner(result, MockAppCreatorVk.keyAsFields);
+        }
+    }
+    let commitmentToReset = [];
+    for(let i = 0; i < numReaderAppCalls; i++){
+        const commitmentToRead = commitments[Math.min(i, numCreatorAppCalls) % 2];
+        const result = await witnessGenReaderAppMockCircuit({
+            commitments_to_read: [
+                commitmentToRead,
+                '0x0'
+            ]
+        });
+        pushCircuit(result.witness, MockAppReaderCircuit.bytecode, MockAppReaderVk.keyAsBytes, CircuitKind.App);
+        commitmentToReset.push(commitmentToRead);
+        if (i === 0 && !numCreatorAppCalls) {
+            await createInit(result, MockAppReaderVk.keyAsFields);
+        } else {
+            await createInner(result, MockAppReaderVk.keyAsFields);
+        }
+        if (i % 2 === 0 || i === numReaderAppCalls - 1) {
+            await createReset(commitmentToReset);
+            commitmentToReset = [];
+        }
+    }
+    const tailWitnessGenResult = await witnessGenMockPrivateKernelTailCircuit({
+        prev_kernel_public_inputs: previousKernel.publicInputs,
+        kernel_vk: await getVkAsFields(previousKernel, MEGA_KERNEL_VK_LENGTH_IN_FIELDS)
+    });
+    pushCircuit(tailWitnessGenResult.witness, MockPrivateKernelTailCircuit.bytecode, MockPrivateKernelTailVk.keyAsBytes, CircuitKind.Kernel);
+    const hidingWitnessGenResult = await witnessGenMockHidingCircuit({
+        prev_kernel_public_inputs: tailWitnessGenResult.publicInputs,
+        kernel_vk: await getVkAsFields(MockPrivateKernelTailVk, MEGA_KERNEL_VK_LENGTH_IN_FIELDS)
+    });
+    pushCircuit(hidingWitnessGenResult.witness, MockHidingCircuit.bytecode, MockHidingVk.keyAsBytes, CircuitKind.HidingKernel);
+    function base64ToUint8Array(base64) {
+        return Uint8Array.from(atob(base64), (c)=>c.charCodeAt(0));
+    }
+    function hexToUint8Array(hex) {
+        const cleaned = hex.replace(/^0x/i, '');
+        const bytes = new Uint8Array(cleaned.length / 2);
+        for(let i = 0; i < bytes.length; i++){
+            bytes[i] = parseInt(cleaned.slice(i * 2, i * 2 + 2), 16);
+        }
+        return bytes;
+    }
+    const rawBytecodes = bytecodes.map(base64ToUint8Array).map((arr)=>ungzip(arr));
+    const rawWitnessStack = witnessStack.map((arr)=>ungzip(arr));
+    const rawVks = vks.map(hexToUint8Array);
+    return [
+        rawBytecodes,
+        rawWitnessStack,
+        hidingWitnessGenResult.publicInputs,
+        rawVks,
+        circuitKinds
+    ];
+}
+export function mapRecursiveProofToNoir(proof) {
+    return proof.proof.map((field)=>field.toString());
+}
+export function mapAvmProofToNoir(proof) {
+    if (proof.length != AVM_V2_PROOF_LENGTH_IN_FIELDS) {
+        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 ${len} does not match expected length ${vk.key.length}`);
+    }
+    return {
+        key: vk.key.map((field)=>field.toString()),
+        hash: vk.hash.toString()
+    };
+}
+export function mapAvmPublicInputsToNoir(publicInputs) {
+    const serialized = publicInputs.toFields();
+    if (serialized.length != AVM_CIRCUIT_PUBLIC_INPUTS_LENGTH) {
+        throw new Error('Invalid number of AVM public inputs');
+    }
+    return serialized.map((x)=>x.toString());
+}

package/package.json

@@ -0,0 +1,112 @@
+{
+  "name": "@aztec-labs/ivc-integration",
+  "version": "6.0.0-nightly.20260829",
+  "type": "module",
+  "exports": {
+    ".": "./dest/index.js",
+    "./types": "./dest/types/index.js"
+  },
+  "inherits": [
+    "../package.common.json",
+    "./package.local.json"
+  ],
+  "scripts": {
+    "build": "yarn clean && yarn generate && ../scripts/tsc.sh && webpack",
+    "clean": "rm -rf ./dest ./dist .tsbuildinfo src/types artifacts",
+    "formatting:fix:types": "NODE_OPTIONS='--max-old-space-size=8096' run -T eslint --fix ./src/types && run -T prettier -w ./src/types",
+    "generate": "yarn generate:noir-circuits",
+    "generate:noir-circuits": "mkdir -p ./artifacts && cp -r $(node -p \"require('path').dirname(require.resolve('@aztec/mock-protocol-circuits-artifacts/package.json'))\")/artifacts/* ./artifacts && node --no-warnings --loader @swc-node/register/esm src/scripts/generate_declaration_files.ts && node --no-warnings --loader @swc-node/register/esm src/scripts/generate_ts_from_abi.ts",
+    "test": "RAYON_NUM_THREADS=4 NODE_NO_WARNINGS=1 node --experimental-vm-modules ../node_modules/.bin/jest --passWithNoTests ",
+    "codegen": "yarn noir-codegen",
+    "build:dev": "../scripts/tsc.sh --watch",
+    "serve": "serve -n -L -p 8080 -c ../serve.mt.json dest"
+  },
+  "jest": {
+    "moduleNameMapper": {
+      "^(\\.{1,2}/.*)\\.[cm]?js$": "$1"
+    },
+    "testRegex": "./src/.*\\.test\\.(js|mjs|ts)$",
+    "rootDir": "./src",
+    "extensionsToTreatAsEsm": [
+      ".ts"
+    ],
+    "transform": {
+      "^.+\\.tsx?$": [
+        "@swc/jest",
+        {
+          "jsc": {
+            "parser": {
+              "syntax": "typescript",
+              "decorators": true
+            },
+            "transform": {
+              "decoratorVersion": "2022-03"
+            }
+          }
+        }
+      ]
+    },
+    "reporters": [
+      "default"
+    ],
+    "testTimeout": 120000,
+    "setupFiles": [
+      "../../foundation/src/jest/setup.mjs"
+    ],
+    "testEnvironment": "../../foundation/src/jest/env.mjs",
+    "setupFilesAfterEnv": [
+      "../../foundation/src/jest/setupAfterEnv.mjs"
+    ]
+  },
+  "dependencies": {
+    "@aztec-labs/constants": "6.0.0-nightly.20260829",
+    "@aztec-labs/foundation": "6.0.0-nightly.20260829",
+    "@aztec-labs/stdlib": "6.0.0-nightly.20260829",
+    "@aztec/bb.js": "6.0.0-nightly.20260826",
+    "@aztec/noir-noir_codegen": "6.0.0-nightly.20260826",
+    "@aztec/noir-noir_js": "6.0.0-nightly.20260826",
+    "@aztec/noir-types": "6.0.0-nightly.20260826",
+    "change-case": "^5.4.4",
+    "pako": "^2.1.0",
+    "playwright": "1.49.0",
+    "puppeteer": "^24.22.3",
+    "tslib": "^2.4.0"
+  },
+  "devDependencies": {
+    "@aztec-labs/bb-prover": "6.0.0-nightly.20260829",
+    "@aztec-labs/noir-protocol-circuits-types": "6.0.0-nightly.20260829",
+    "@aztec-labs/noir-test-contracts.js": "6.0.0-nightly.20260829",
+    "@aztec-labs/simulator": "6.0.0-nightly.20260829",
+    "@aztec-labs/world-state": "6.0.0-nightly.20260829",
+    "@aztec/mock-protocol-circuits-artifacts": "6.0.0-nightly.20260826",
+    "@jest/globals": "^30.0.0",
+    "@playwright/test": "1.49.0",
+    "@types/jest": "^30.0.0",
+    "@types/node": "^22.15.17",
+    "@types/pako": "^2.0.3",
+    "@typescript/native-preview": "7.0.0-dev.20260113.1",
+    "copy-webpack-plugin": "^12.0.2",
+    "html-webpack-plugin": "^5.6.0",
+    "jest": "^30.0.0",
+    "jest-mock-extended": "^4.0.0",
+    "msgpackr": "^1.11.2",
+    "resolve-typescript-plugin": "^2.0.1",
+    "serve": "^14.2.6",
+    "ts-loader": "^9.5.4",
+    "ts-node": "^10.9.1",
+    "typescript": "^5.3.3",
+    "webpack": "^5.99.6",
+    "webpack-cli": "^6.0.1",
+    "webpack-dev-server": "^5.2.1"
+  },
+  "files": [
+    "dest",
+    "src",
+    "!*.test.*",
+    "artifacts"
+  ],
+  "types": "./dest/index.d.ts",
+  "engines": {
+    "node": ">=20.10"
+  }
+}