@aztec-labs/simulator 6.0.0-nightly.20260829

package/dest/public/executor_metrics.d.ts

@@ -0,0 +1,21 @@
+import type { RevertCode } from '@aztec-labs/stdlib/avm';
+import type { GasUsed } from '@aztec-labs/stdlib/gas';
+import { type TelemetryClient, type Tracer } from '@aztec-labs/telemetry-client';
+import type { ExecutorMetricsInterface } from './executor_metrics_interface.js';
+export declare class ExecutorMetrics implements ExecutorMetricsInterface {
+    readonly tracer: Tracer;
+    private fnCount;
+    private fnDuration;
+    private manaPerSecond;
+    private manaUsed;
+    private totalInstructionsExecuted;
+    private txHashing;
+    private privateEffectsInsertions;
+    constructor(client: TelemetryClient, name?: string);
+    startRecordingTxSimulation(_txLabel: string): void;
+    stopRecordingTxSimulation(_txLabel: string, _gasUsed?: GasUsed, _revertedCode?: RevertCode, _stats?: Record<string, string>): void;
+    recordEnqueuedCallSimulation(fnName: string, durationMs: number, manaUsed: number, totalInstructionsExecuted: number): void;
+    recordEnqueuedCallSimulationFailure(_fnName: string, _durationMs: number, _manaUsed: number, _totalInstructionsExecuted: number): void;
+    recordPrivateEffectsInsertion(durationUs: number, type: 'revertible' | 'non-revertible'): void;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZXhlY3V0b3JfbWV0cmljcy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3B1YmxpYy9leGVjdXRvcl9tZXRyaWNzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sS0FBSyxFQUFFLFVBQVUsRUFBRSxNQUFNLHdCQUF3QixDQUFDO0FBQ3pELE9BQU8sS0FBSyxFQUFFLE9BQU8sRUFBRSxNQUFNLHdCQUF3QixDQUFDO0FBQ3RELE9BQU8sRUFJTCxLQUFLLGVBQWUsRUFDcEIsS0FBSyxNQUFNLEVBR1osTUFBTSw4QkFBOEIsQ0FBQztBQUV0QyxPQUFPLEtBQUssRUFBRSx3QkFBd0IsRUFBRSxNQUFNLGlDQUFpQyxDQUFDO0FBRWhGLHFCQUFhLGVBQWdCLFlBQVcsd0JBQXdCO0lBQzlELFNBQWdCLE1BQU0sRUFBRSxNQUFNLENBQUM7SUFDL0IsT0FBTyxDQUFDLE9BQU8sQ0FBZ0I7SUFDL0IsT0FBTyxDQUFDLFVBQVUsQ0FBWTtJQUM5QixPQUFPLENBQUMsYUFBYSxDQUFZO0lBQ2pDLE9BQU8sQ0FBQyxRQUFRLENBQVk7SUFDNUIsT0FBTyxDQUFDLHlCQUF5QixDQUFZO0lBQzdDLE9BQU8sQ0FBQyxTQUFTLENBQVk7SUFDN0IsT0FBTyxDQUFDLHdCQUF3QixDQUFZO0lBRTVDLFlBQVksTUFBTSxFQUFFLGVBQWUsRUFBRSxJQUFJLFNBQW1CLEVBbUIzRDtJQUVELDBCQUEwQixDQUFDLFFBQVEsRUFBRSxNQUFNLFFBRTFDO0lBRUQseUJBQXlCLENBQ3ZCLFFBQVEsRUFBRSxNQUFNLEVBQ2hCLFFBQVEsQ0FBQyxFQUFFLE9BQU8sRUFDbEIsYUFBYSxDQUFDLEVBQUUsVUFBVSxFQUMxQixNQUFNLENBQUMsRUFBRSxNQUFNLENBQUMsTUFBTSxFQUFFLE1BQU0sQ0FBQyxRQUdoQztJQUVELDRCQUE0QixDQUMxQixNQUFNLEVBQUUsTUFBTSxFQUNkLFVBQVUsRUFBRSxNQUFNLEVBQ2xCLFFBQVEsRUFBRSxNQUFNLEVBQ2hCLHlCQUF5QixFQUFFLE1BQU0sUUFxQmxDO0lBRUQsbUNBQW1DLENBQ2pDLE9BQU8sRUFBRSxNQUFNLEVBQ2YsV0FBVyxFQUFFLE1BQU0sRUFDbkIsU0FBUyxFQUFFLE1BQU0sRUFDakIsMEJBQTBCLEVBQUUsTUFBTSxRQUtuQztJQUVELDZCQUE2QixDQUFDLFVBQVUsRUFBRSxNQUFNLEVBQUUsSUFBSSxFQUFFLFlBQVksR0FBRyxnQkFBZ0IsUUFJdEY7Q0FDRiJ9

package/dest/public/executor_metrics.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"executor_metrics.d.ts","sourceRoot":"","sources":["../../src/public/executor_metrics.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAC;AACtD,OAAO,EAIL,KAAK,eAAe,EACpB,KAAK,MAAM,EAGZ,MAAM,8BAA8B,CAAC;AAEtC,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,iCAAiC,CAAC;AAEhF,qBAAa,eAAgB,YAAW,wBAAwB;IAC9D,SAAgB,MAAM,EAAE,MAAM,CAAC;IAC/B,OAAO,CAAC,OAAO,CAAgB;IAC/B,OAAO,CAAC,UAAU,CAAY;IAC9B,OAAO,CAAC,aAAa,CAAY;IACjC,OAAO,CAAC,QAAQ,CAAY;IAC5B,OAAO,CAAC,yBAAyB,CAAY;IAC7C,OAAO,CAAC,SAAS,CAAY;IAC7B,OAAO,CAAC,wBAAwB,CAAY;IAE5C,YAAY,MAAM,EAAE,eAAe,EAAE,IAAI,SAAmB,EAmB3D;IAED,0BAA0B,CAAC,QAAQ,EAAE,MAAM,QAE1C;IAED,yBAAyB,CACvB,QAAQ,EAAE,MAAM,EAChB,QAAQ,CAAC,EAAE,OAAO,EAClB,aAAa,CAAC,EAAE,UAAU,EAC1B,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,QAGhC;IAED,4BAA4B,CAC1B,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE,MAAM,EAChB,yBAAyB,EAAE,MAAM,QAqBlC;IAED,mCAAmC,CACjC,OAAO,EAAE,MAAM,EACf,WAAW,EAAE,MAAM,EACnB,SAAS,EAAE,MAAM,EACjB,0BAA0B,EAAE,MAAM,QAKnC;IAED,6BAA6B,CAAC,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,YAAY,GAAG,gBAAgB,QAItF;CACF"}

package/dest/public/executor_metrics.js

@@ -0,0 +1,64 @@
+import { Attributes, Metrics, createUpDownCounterWithDefault } from '@aztec-labs/telemetry-client';
+export class ExecutorMetrics {
+    tracer;
+    fnCount;
+    fnDuration;
+    manaPerSecond;
+    manaUsed;
+    totalInstructionsExecuted;
+    txHashing;
+    privateEffectsInsertions;
+    constructor(client, name = 'PublicExecutor'){
+        this.tracer = client.getTracer(name);
+        const meter = client.getMeter(name);
+        this.fnCount = createUpDownCounterWithDefault(meter, Metrics.PUBLIC_EXECUTOR_SIMULATION_COUNT, {
+            [Attributes.OK]: [
+                true,
+                false
+            ]
+        });
+        this.fnDuration = meter.createHistogram(Metrics.PUBLIC_EXECUTOR_SIMULATION_DURATION);
+        this.manaPerSecond = meter.createHistogram(Metrics.PUBLIC_EXECUTOR_SIMULATION_MANA_PER_SECOND);
+        this.manaUsed = meter.createHistogram(Metrics.PUBLIC_EXECUTOR_SIMULATION_MANA_USED);
+        this.totalInstructionsExecuted = meter.createHistogram(Metrics.PUBLIC_EXECUTOR_SIMULATION_TOTAL_INSTRUCTIONS);
+        this.txHashing = meter.createHistogram(Metrics.PUBLIC_EXECUTOR_TX_HASHING);
+        this.privateEffectsInsertions = meter.createHistogram(Metrics.PUBLIC_EXECUTOR_PRIVATE_EFFECTS_INSERTION);
+    }
+    startRecordingTxSimulation(_txLabel) {
+    // do nothing (unimplemented)
+    }
+    stopRecordingTxSimulation(_txLabel, _gasUsed, _revertedCode, _stats) {
+    // do nothing (unimplemented)
+    }
+    recordEnqueuedCallSimulation(fnName, durationMs, manaUsed, totalInstructionsExecuted) {
+        this.fnCount.add(1, {
+            [Attributes.OK]: true,
+            [Attributes.APP_CIRCUIT_NAME]: fnName
+        });
+        this.manaUsed.record(Math.ceil(manaUsed), {
+            [Attributes.APP_CIRCUIT_NAME]: fnName
+        });
+        this.totalInstructionsExecuted.record(Math.ceil(totalInstructionsExecuted), {
+            [Attributes.APP_CIRCUIT_NAME]: fnName
+        });
+        this.fnDuration.record(Math.ceil(durationMs), {
+            [Attributes.APP_CIRCUIT_NAME]: fnName
+        });
+        if (durationMs > 0 && manaUsed > 0) {
+            const manaPerSecond = Math.round(manaUsed * 1000 / durationMs);
+            this.manaPerSecond.record(manaPerSecond, {
+                [Attributes.APP_CIRCUIT_NAME]: fnName
+            });
+        }
+    }
+    recordEnqueuedCallSimulationFailure(_fnName, _durationMs, _manaUsed, _totalInstructionsExecuted) {
+        this.fnCount.add(1, {
+            [Attributes.OK]: false
+        });
+    }
+    recordPrivateEffectsInsertion(durationUs, type) {
+        this.privateEffectsInsertions.record(Math.ceil(durationUs), {
+            [Attributes.REVERTIBILITY]: type
+        });
+    }
+}

package/dest/public/executor_metrics_interface.d.ts

@@ -0,0 +1,10 @@
+import type { RevertCode } from '@aztec-labs/stdlib/avm';
+import type { GasUsed } from '@aztec-labs/stdlib/gas';
+export interface ExecutorMetricsInterface {
+    startRecordingTxSimulation(txLabel: string): void;
+    stopRecordingTxSimulation(txLabel: string, gasUsed?: GasUsed, revertedCode?: RevertCode, stats?: Record<string, string>): void;
+    recordEnqueuedCallSimulation(fnName: string, durationMs: number, manaUsed: number, totalInstructions: number): void;
+    recordEnqueuedCallSimulationFailure(fnName: string, durationMs: number, manaUsed: number, totalInstructionsExecuted: number): void;
+    recordPrivateEffectsInsertion(durationUs: number, type: 'revertible' | 'non-revertible'): void;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZXhlY3V0b3JfbWV0cmljc19pbnRlcmZhY2UuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9wdWJsaWMvZXhlY3V0b3JfbWV0cmljc19pbnRlcmZhY2UudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxLQUFLLEVBQUUsVUFBVSxFQUFFLE1BQU0sd0JBQXdCLENBQUM7QUFDekQsT0FBTyxLQUFLLEVBQUUsT0FBTyxFQUFFLE1BQU0sd0JBQXdCLENBQUM7QUFFdEQsTUFBTSxXQUFXLHdCQUF3QjtJQUN2QywwQkFBMEIsQ0FBQyxPQUFPLEVBQUUsTUFBTSxHQUFHLElBQUksQ0FBQztJQUNsRCx5QkFBeUIsQ0FDdkIsT0FBTyxFQUFFLE1BQU0sRUFDZixPQUFPLENBQUMsRUFBRSxPQUFPLEVBQ2pCLFlBQVksQ0FBQyxFQUFFLFVBQVUsRUFDekIsS0FBSyxDQUFDLEVBQUUsTUFBTSxDQUFDLE1BQU0sRUFBRSxNQUFNLENBQUMsR0FDN0IsSUFBSSxDQUFDO0lBQ1IsNEJBQTRCLENBQUMsTUFBTSxFQUFFLE1BQU0sRUFBRSxVQUFVLEVBQUUsTUFBTSxFQUFFLFFBQVEsRUFBRSxNQUFNLEVBQUUsaUJBQWlCLEVBQUUsTUFBTSxHQUFHLElBQUksQ0FBQztJQUNwSCxtQ0FBbUMsQ0FDakMsTUFBTSxFQUFFLE1BQU0sRUFDZCxVQUFVLEVBQUUsTUFBTSxFQUNsQixRQUFRLEVBQUUsTUFBTSxFQUNoQix5QkFBeUIsRUFBRSxNQUFNLEdBQ2hDLElBQUksQ0FBQztJQUNSLDZCQUE2QixDQUFDLFVBQVUsRUFBRSxNQUFNLEVBQUUsSUFBSSxFQUFFLFlBQVksR0FBRyxnQkFBZ0IsR0FBRyxJQUFJLENBQUM7Q0FDaEcifQ==

package/dest/public/executor_metrics_interface.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"executor_metrics_interface.d.ts","sourceRoot":"","sources":["../../src/public/executor_metrics_interface.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAC;AAEtD,MAAM,WAAW,wBAAwB;IACvC,0BAA0B,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IAClD,yBAAyB,CACvB,OAAO,EAAE,MAAM,EACf,OAAO,CAAC,EAAE,OAAO,EACjB,YAAY,CAAC,EAAE,UAAU,EACzB,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAC7B,IAAI,CAAC;IACR,4BAA4B,CAAC,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,iBAAiB,EAAE,MAAM,GAAG,IAAI,CAAC;IACpH,mCAAmC,CACjC,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,EAClB,QAAQ,EAAE,MAAM,EAChB,yBAAyB,EAAE,MAAM,GAChC,IAAI,CAAC;IACR,6BAA6B,CAAC,UAAU,EAAE,MAAM,EAAE,IAAI,EAAE,YAAY,GAAG,gBAAgB,GAAG,IAAI,CAAC;CAChG"}

package/dest/public/executor_metrics_interface.js

@@ -0,0 +1 @@
+export { };

package/dest/public/fixtures/amm_test.d.ts

@@ -0,0 +1,10 @@
+import type { Logger } from '@aztec-labs/foundation/log';
+import type { ContractArtifact } from '@aztec-labs/stdlib/abi';
+import { PublicTxSimulationTester } from './public_tx_simulation_tester.js';
+/**
+ * THIS TEST IS BRITTLE! If it breaks, don't try fixing it.
+ * `.skip` it or literally just delete it and notify AVM team.
+ * You do NOT need permission to remove this test!
+ */
+export declare function ammTest(tester: PublicTxSimulationTester, logger: Logger, tokenArtifact: ContractArtifact, ammArtifact: ContractArtifact, expectToBeTrue: (x: boolean) => void): Promise<void>;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYW1tX3Rlc3QuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9wdWJsaWMvZml4dHVyZXMvYW1tX3Rlc3QudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBR0EsT0FBTyxLQUFLLEVBQUUsTUFBTSxFQUFFLE1BQU0sNEJBQTRCLENBQUM7QUFFekQsT0FBTyxLQUFLLEVBQUUsZ0JBQWdCLEVBQUUsTUFBTSx3QkFBd0IsQ0FBQztBQUkvRCxPQUFPLEVBQUUsd0JBQXdCLEVBQUUsTUFBTSxrQ0FBa0MsQ0FBQztBQUk1RTs7OztHQUlHO0FBQ0gsd0JBQXNCLE9BQU8sQ0FDM0IsTUFBTSxFQUFFLHdCQUF3QixFQUNoQyxNQUFNLEVBQUUsTUFBTSxFQUNkLGFBQWEsRUFBRSxnQkFBZ0IsRUFDL0IsV0FBVyxFQUFFLGdCQUFnQixFQUM3QixjQUFjLEVBQUUsQ0FBQyxDQUFDLEVBQUUsT0FBTyxLQUFLLElBQUksaUJBcUdyQyJ9

package/dest/public/fixtures/amm_test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"amm_test.d.ts","sourceRoot":"","sources":["../../../src/public/fixtures/amm_test.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAC;AAEzD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAI/D,OAAO,EAAE,wBAAwB,EAAE,MAAM,kCAAkC,CAAC;AAI5E;;;;GAIG;AACH,wBAAsB,OAAO,CAC3B,MAAM,EAAE,wBAAwB,EAChC,MAAM,EAAE,MAAM,EACd,aAAa,EAAE,gBAAgB,EAC/B,WAAW,EAAE,gBAAgB,EAC7B,cAAc,EAAE,CAAC,CAAC,EAAE,OAAO,KAAK,IAAI,iBAqGrC"}

package/dest/public/fixtures/amm_test.js

@@ -0,0 +1,213 @@
+import { DomainSeparator } from '@aztec-labs/constants';
+import { poseidon2HashWithSeparator } from '@aztec-labs/foundation/crypto/poseidon';
+import { Fr } from '@aztec-labs/foundation/curves/bn254';
+import { Timer } from '@aztec-labs/foundation/timer';
+import { AztecAddress } from '@aztec-labs/stdlib/aztec-address';
+import { setUpToken } from './token_test.js';
+const INITIAL_TOKEN_BALANCE = 1_000_000_000n;
+/**
+ * THIS TEST IS BRITTLE! If it breaks, don't try fixing it.
+ * `.skip` it or literally just delete it and notify AVM team.
+ * You do NOT need permission to remove this test!
+ */ export async function ammTest(tester, logger, tokenArtifact, ammArtifact, expectToBeTrue) {
+    const timer = new Timer();
+    const admin = AztecAddress.fromNumberUnsafe(42);
+    const sender = AztecAddress.fromNumberUnsafe(111);
+    logger.debug(`Deploying tokens`);
+    const token0 = await setUpToken(tester, tokenArtifact, admin, expectToBeTrue, /*seed=*/ 0);
+    const token1 = await setUpToken(tester, tokenArtifact, admin, expectToBeTrue, /*seed=*/ 1);
+    const liquidityToken = await setUpToken(tester, tokenArtifact, admin, expectToBeTrue, /*seed=*/ 2);
+    logger.debug(`Deploying AMM`);
+    const constructorArgs = [
+        token0,
+        token1,
+        liquidityToken
+    ];
+    const amm = await tester.registerAndDeployContract(constructorArgs, /*deployer=*/ admin, ammArtifact, /*skipNullifierInsertion=*/ false, /*seed=*/ 3);
+    // EXECUTE! This means that if using AvmProvingTester subclass, it will PROVE the transaction!
+    const ammConstructorResult = await tester.executeTxWithLabel(/*txLabel=*/ 'AMM/constructor', /*sender=*/ admin, /*setupCalls=*/ [], /*appCalls=*/ [
+        {
+            fnName: 'constructor',
+            args: constructorArgs,
+            address: amm.address
+        }
+    ]);
+    expectToBeTrue(ammConstructorResult.revertCode.isOK());
+    logger.debug(`Setting AMM as minter for liquidity token`);
+    // set the AMM as the minter for the liquidity token
+    // EXECUTE! This means that if using AvmProvingTester subclass, it will PROVE the transaction!
+    const setMinterResult = await tester.executeTxWithLabel(/*txLabel=*/ 'AMM/set_minter', /*sender=*/ admin, /*setupCalls=*/ [], /*appCalls=*/ [
+        {
+            fnName: 'set_minter',
+            args: [
+                /*minter=*/ amm,
+                /*approve=*/ true
+            ],
+            address: liquidityToken.address
+        }
+    ]);
+    expectToBeTrue(setMinterResult.revertCode.isOK());
+    logger.debug(`Adding liquidity`);
+    const amount0Max = INITIAL_TOKEN_BALANCE * 6n / 10n;
+    const amount0Min = INITIAL_TOKEN_BALANCE * 4n / 10n;
+    const amount1Max = INITIAL_TOKEN_BALANCE * 5n / 10n;
+    const amount1Min = INITIAL_TOKEN_BALANCE * 4n / 10n;
+    const addLiquidityResult = await addLiquidity(tester, sender, /*amm=*/ amm, /*token0=*/ token0, /*token1=*/ token1, /*liquidityToken=*/ liquidityToken, /*amount0Max=*/ amount0Max, /*amount1Max=*/ amount1Max, /*amount0Min=*/ amount0Min, /*amount1Min=*/ amount1Min);
+    expectToBeTrue(addLiquidityResult.revertCode.isOK());
+    logger.debug(`Swapping tokens`);
+    const swapResult = await swapExactTokensForTokens(tester, sender, /*amm=*/ amm, /*tokenIn=*/ token0, /*tokenOut=*/ token1, /*amountIn=*/ amount0Min / 10n, /*amountOutMin=*/ amount1Min / 100n);
+    expectToBeTrue(swapResult.revertCode.isOK());
+    logger.debug(`Removing liquidity`);
+    const removeLiquidityResult = await removeLiquidity(tester, sender, /*amm=*/ amm, /*token0=*/ token0, /*token1=*/ token1, /*liquidityToken=*/ liquidityToken, /*liquidity=*/ 100n, /*amount0Min=*/ 1n, /*amount1Min=*/ 1n);
+    expectToBeTrue(removeLiquidityResult.revertCode.isOK());
+    logger.info(`AMM public tx simulator test took ${timer.ms()}ms\n`);
+}
+async function addLiquidity(tester, sender, amm, token0, token1, liquidityToken, amount0Max, amount1Max, amount0Min, amount1Min, _nonce) {
+    const refundToken0PartialNote = {
+        commitment: new Fr(42)
+    };
+    const refundToken1PartialNote = {
+        commitment: new Fr(66)
+    };
+    const liquidityPartialNote = {
+        commitment: new Fr(99)
+    };
+    const refundToken0PartialNoteValidityCommitment = await computePartialNoteValidityCommitment(refundToken0PartialNote, amm.address);
+    const refundToken1PartialNoteValidityCommitment = await computePartialNoteValidityCommitment(refundToken1PartialNote, amm.address);
+    const liquidityPartialNoteValidityCommitment = await computePartialNoteValidityCommitment(liquidityPartialNote, amm.address);
+    // We need to inject the validity commitments into the nullifier tree as that would be performed by the private token
+    // functions that are not invoked in this test.
+    await tester.insertNullifier(token0.address, refundToken0PartialNoteValidityCommitment);
+    await tester.insertNullifier(token1.address, refundToken1PartialNoteValidityCommitment);
+    await tester.insertNullifier(liquidityToken.address, liquidityPartialNoteValidityCommitment);
+    // EXECUTE! This means that if using AvmProvingTester subclass, it will PROVE the transaction!
+    return await tester.executeTxWithLabel(/*txLabel=*/ 'AMM/add_liquidity', /*sender=*/ sender, /*setupCalls=*/ [], /*appCalls=*/ [
+        // token0.transfer_to_public enqueues a call to _increase_public_balance
+        {
+            sender: token0.address,
+            fnName: '_increase_public_balance',
+            args: [
+                /*to=*/ amm.address,
+                /*amount=*/ amount0Max
+            ],
+            address: token0.address
+        },
+        // token1.transfer_to_public enqueues a call to _increase_public_balance
+        {
+            sender: token1.address,
+            fnName: '_increase_public_balance',
+            args: [
+                /*to=*/ amm.address,
+                /*amount=*/ amount1Max
+            ],
+            address: token1.address
+        },
+        // amm.add_liquidity enqueues a call to _add_liquidity
+        {
+            sender: amm.address,
+            fnName: '_add_liquidity',
+            args: [
+                /*config=*/ {
+                    token0: token0.address,
+                    token1: token1.address,
+                    // eslint-disable-next-line camelcase
+                    liquidity_token: liquidityToken.address
+                },
+                refundToken0PartialNote,
+                refundToken1PartialNote,
+                liquidityPartialNote,
+                amount0Max,
+                amount1Max,
+                amount0Min,
+                amount1Min
+            ],
+            address: amm.address
+        }
+    ]);
+}
+async function swapExactTokensForTokens(tester, sender, amm, tokenIn, tokenOut, amountIn, amountOutMin, _nonce) {
+    const tokenOutPartialNote = {
+        commitment: new Fr(166)
+    };
+    const tokenOutPartialNoteValidityCommitment = await computePartialNoteValidityCommitment(tokenOutPartialNote, amm.address);
+    // We need to inject the validity commitment into the nullifier tree as that would be performed by the private token
+    // function that is not invoked in this test.
+    await tester.insertNullifier(tokenOut.address, tokenOutPartialNoteValidityCommitment);
+    // EXECUTE! This means that if using AvmProvingTester subclass, it will PROVE the transaction!
+    return await tester.executeTxWithLabel(/*txLabel=*/ 'AMM/swap_exact_tokens_for_tokens', /*sender=*/ sender, /*setupCalls=*/ [], /*appCalls=*/ [
+        // tokenIn.transfer_to_public enqueues a call to _increase_public_balance
+        {
+            sender: tokenIn.address,
+            fnName: '_increase_public_balance',
+            args: [
+                /*to=*/ amm.address,
+                /*amount=*/ amountIn
+            ],
+            address: tokenIn.address
+        },
+        {
+            sender: amm.address,
+            fnName: '_swap_exact_tokens_for_tokens',
+            args: [
+                tokenIn.address,
+                tokenOut.address,
+                amountIn,
+                amountOutMin,
+                tokenOutPartialNote
+            ],
+            address: amm.address
+        }
+    ]);
+}
+async function removeLiquidity(tester, sender, amm, token0, token1, liquidityToken, liquidity, amount0Min, amount1Min, _nonce) {
+    const token0PartialNote = {
+        commitment: new Fr(111)
+    };
+    const token1PartialNote = {
+        commitment: new Fr(222)
+    };
+    const token0PartialNoteValidityCommitment = await computePartialNoteValidityCommitment(token0PartialNote, amm.address);
+    const token1PartialNoteValidityCommitment = await computePartialNoteValidityCommitment(token1PartialNote, amm.address);
+    // We need to inject the validity commitments into the nullifier tree as that would be performed by the private token
+    // functions that are not invoked in this test.
+    await tester.insertNullifier(token0.address, token0PartialNoteValidityCommitment);
+    await tester.insertNullifier(token1.address, token1PartialNoteValidityCommitment);
+    // EXECUTE! This means that if using AvmProvingTester subclass, it will PROVE the transaction!
+    return await tester.executeTxWithLabel(/*txLabel=*/ 'AMM/remove_liquidity', /*sender=*/ sender, /*setupCalls=*/ [], /*appCalls=*/ [
+        // liquidityToken.transfer_to_public enqueues a call to _increase_public_balance
+        {
+            sender: liquidityToken.address,
+            fnName: '_increase_public_balance',
+            args: [
+                /*to=*/ amm.address,
+                /*amount=*/ liquidity
+            ],
+            address: liquidityToken.address
+        },
+        // amm.remove_liquidity enqueues a call to _remove_liquidity
+        {
+            sender: amm.address,
+            fnName: '_remove_liquidity',
+            args: [
+                /*config=*/ {
+                    token0: token0.address,
+                    token1: token1.address,
+                    // eslint-disable-next-line camelcase
+                    liquidity_token: liquidityToken.address
+                },
+                liquidity,
+                token0PartialNote,
+                token1PartialNote,
+                amount0Min,
+                amount1Min
+            ],
+            address: amm.address
+        }
+    ]);
+}
+async function computePartialNoteValidityCommitment(partialNote, completer) {
+    return await poseidon2HashWithSeparator([
+        partialNote.commitment,
+        completer
+    ], DomainSeparator.PARTIAL_NOTE_VALIDITY_COMMITMENT);
+}

package/dest/public/fixtures/bulk_test.d.ts

@@ -0,0 +1,6 @@
+import type { Logger } from '@aztec-labs/foundation/log';
+import type { ContractArtifact } from '@aztec-labs/stdlib/abi';
+import { PublicTxSimulationTester } from './public_tx_simulation_tester.js';
+export declare function bulkTest(tester: PublicTxSimulationTester, logger: Logger, avmTestContractArtifact: ContractArtifact): Promise<import("@aztec-labs/stdlib/avm").PublicTxResult>;
+export declare function megaBulkTest(tester: PublicTxSimulationTester, logger: Logger, avmTestContractArtifact: ContractArtifact): Promise<import("@aztec-labs/stdlib/avm").PublicTxResult>;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYnVsa190ZXN0LmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi8uLi9zcmMvcHVibGljL2ZpeHR1cmVzL2J1bGtfdGVzdC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFDQSxPQUFPLEtBQUssRUFBRSxNQUFNLEVBQUUsTUFBTSw0QkFBNEIsQ0FBQztBQUV6RCxPQUFPLEtBQUssRUFBRSxnQkFBZ0IsRUFBRSxNQUFNLHdCQUF3QixDQUFDO0FBRy9ELE9BQU8sRUFBRSx3QkFBd0IsRUFBRSxNQUFNLGtDQUFrQyxDQUFDO0FBRTVFLHdCQUFzQixRQUFRLENBQzVCLE1BQU0sRUFBRSx3QkFBd0IsRUFDaEMsTUFBTSxFQUFFLE1BQU0sRUFDZCx1QkFBdUIsRUFBRSxnQkFBZ0IsNERBZ0cxQztBQUVELHdCQUFzQixZQUFZLENBQ2hDLE1BQU0sRUFBRSx3QkFBd0IsRUFDaEMsTUFBTSxFQUFFLE1BQU0sRUFDZCx1QkFBdUIsRUFBRSxnQkFBZ0IsNERBaUYxQyJ9

package/dest/public/fixtures/bulk_test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"bulk_test.d.ts","sourceRoot":"","sources":["../../../src/public/fixtures/bulk_test.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAC;AAEzD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAG/D,OAAO,EAAE,wBAAwB,EAAE,MAAM,kCAAkC,CAAC;AAE5E,wBAAsB,QAAQ,CAC5B,MAAM,EAAE,wBAAwB,EAChC,MAAM,EAAE,MAAM,EACd,uBAAuB,EAAE,gBAAgB,4DAgG1C;AAED,wBAAsB,YAAY,CAChC,MAAM,EAAE,wBAAwB,EAChC,MAAM,EAAE,MAAM,EACd,uBAAuB,EAAE,gBAAgB,4DAiF1C"}

package/dest/public/fixtures/bulk_test.js

@@ -0,0 +1,289 @@
+import { Fr } from '@aztec-labs/foundation/curves/bn254';
+import { Timer } from '@aztec-labs/foundation/timer';
+import { AztecAddress } from '@aztec-labs/stdlib/aztec-address';
+export async function bulkTest(tester, logger, avmTestContractArtifact) {
+    const timer = new Timer();
+    const deployer = AztecAddress.fromNumberUnsafe(42);
+    const avmTestContract = await tester.registerAndDeployContract(/*constructorArgs=*/ [], deployer, avmTestContractArtifact);
+    // Needed since we invoke the Fee Juice Contract in the bulk test.registerFeeJuiceContract
+    await tester.registerFeeJuiceContract();
+    // Register multiple different protocol contracts (to ensure we don't dedup bytecode hashing events):
+    await tester.registerAuthContract();
+    await tester.registerInstanceRegistryContract();
+    await tester.registerClassRegistryContract();
+    // Get a deployed contract instance to pass to the contract
+    // for it to use as "expected" values when testing contract instance retrieval.
+    const expectContractInstance = avmTestContract;
+    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));
+    // Pinned grumpkin-Poseidon2 Schnorr signature (mirrors the C++ `pinned_test_vector_large`
+    // and noir-lang/schnorr v0.4.0's `pinned_vector_large`). Passing these in as calldata
+    // (rather than baking them into Noir as constants) keeps MSM + Poseidon2 from being folded
+    // by the Noir compiler.
+    const schnorrInputs = [
+        Fr.fromHexString('0x065812e335a97c2108ea8cf4ccfe2f9dd6b117a0714f5e18461575be93f61da6'),
+        Fr.fromHexString('0x1a915003e8ec534f9a15d926a7ded478e178468ccc4f28e236e67450a55ac622'),
+        Fr.fromHexString('0xf3bc3b7147acb9c621fd9f72dbf15ffa'),
+        Fr.fromHexString('0x08599f379f0301dfefdbd0272554454d'),
+        Fr.fromHexString('0x97065383ebbbd76620398792bd259bc2'),
+        Fr.fromHexString('0x2ceaee87f45b7a417f0ffb05451a8c92'),
+        Fr.fromHexString('0x0123456789abcdef0fedcba9876543210123456789abcdef0fedcba987654321')
+    ];
+    const args = [
+        argsField,
+        argsU8,
+        /*getInstanceForAddress=*/ expectContractInstance.address,
+        /*expectedDeployer=*/ expectContractInstance.deployer,
+        /*expectedClassId=*/ expectContractInstance.currentContractClassId,
+        /*expectedInitializationHash=*/ expectContractInstance.initializationHash,
+        /*expectedImmutablesHash=*/ expectContractInstance.immutablesHash,
+        /*schnorrInputs=*/ schnorrInputs,
+        /*skip_strictly_limited_side_effects=*/ false
+    ];
+    const bulkResult = await tester.executeTxWithLabel(/*txLabel=*/ 'AvmTest/bulk_testing', /*sender=*/ deployer, /*setupCalls=*/ [], /*appCalls=*/ [
+        {
+            address: avmTestContract.address,
+            fnName: 'bulk_testing',
+            args
+        },
+        // 3 calls creating calldata + asserting calldata copy:
+        {
+            address: avmTestContract.address,
+            fnName: 'assert_calldata_copy_large',
+            args: [
+                Array.from({
+                    length: 300
+                }, ()=>Fr.random()),
+                /* with_selector: */ true
+            ]
+        },
+        {
+            address: avmTestContract.address,
+            fnName: 'assert_calldata_copy',
+            args: [
+                argsField.slice(0, 3),
+                /* with_selector: */ true
+            ]
+        },
+        {
+            address: avmTestContract.address,
+            fnName: 'assert_calldata_copy_large',
+            args: [
+                Array.from({
+                    length: 300
+                }, ()=>Fr.random()),
+                /* with_selector: */ true
+            ]
+        },
+        // 3 calls to external contracts
+        {
+            address: avmTestContract.address,
+            fnName: 'call_fee_juice',
+            args: []
+        },
+        {
+            address: avmTestContract.address,
+            fnName: 'call_auth_registry',
+            args: []
+        },
+        {
+            address: avmTestContract.address,
+            fnName: 'call_instance_registry',
+            args: []
+        }
+    ], /*teardownCall=*/ undefined, /*feePayer*/ undefined, /*privateInsertions=*/ {
+        nonRevertible: {
+            nullifiers: [
+                new Fr(420000)
+            ],
+            noteHashes: [
+                new Fr(420001)
+            ]
+        },
+        revertible: {
+            nullifiers: [
+                new Fr(420002)
+            ],
+            noteHashes: [
+                new Fr(420003)
+            ]
+        }
+    });
+    logger.info(`Bulk test took ${timer.ms()}ms\n`);
+    return bulkResult;
+}
+export async function megaBulkTest(tester, logger, avmTestContractArtifact) {
+    const timer = new Timer();
+    const deployer = AztecAddress.fromNumberUnsafe(42);
+    const avmTestContract = await tester.registerAndDeployContract(/*constructorArgs=*/ [], deployer, avmTestContractArtifact);
+    // Needed since we invoke the Fee Juice Contract in the bulk test.registerFeeJuiceContract
+    await tester.registerFeeJuiceContract();
+    // Get a deployed contract instance to pass to the contract
+    // for it to use as "expected" values when testing contract instance retrieval.
+    const expectContractInstance = avmTestContract;
+    const argsField0 = [
+        1,
+        2,
+        3,
+        4,
+        5,
+        6,
+        7,
+        8,
+        9,
+        10
+    ].map((x)=>new Fr(x));
+    const argsField1 = [
+        3,
+        2,
+        3,
+        4,
+        5,
+        6,
+        7,
+        8,
+        9,
+        10
+    ].map((x)=>new Fr(x));
+    const argsField2 = [
+        5,
+        2,
+        3,
+        4,
+        5,
+        6,
+        7,
+        8,
+        9,
+        10
+    ].map((x)=>new Fr(x));
+    const argsField3 = [
+        7,
+        2,
+        3,
+        4,
+        5,
+        6,
+        7,
+        8,
+        9,
+        10
+    ].map((x)=>new Fr(x));
+    const argsField4 = [
+        9,
+        2,
+        3,
+        4,
+        5,
+        6,
+        7,
+        8,
+        9,
+        10
+    ].map((x)=>new Fr(x));
+    //const argsField5 = [11, 2, 3, 4, 5, 6, 7, 8, 9, 10].map(x => new Fr(x));
+    //const argsField6 = [13, 2, 3, 4, 5, 6, 7, 8, 9, 10].map(x => new Fr(x));
+    //const argsField7 = [15, 2, 3, 4, 5, 6, 7, 8, 9, 10].map(x => new Fr(x));
+    //const argsField8 = [17, 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 schnorrInputs = [
+        Fr.fromHexString('0x065812e335a97c2108ea8cf4ccfe2f9dd6b117a0714f5e18461575be93f61da6'),
+        Fr.fromHexString('0x1a915003e8ec534f9a15d926a7ded478e178468ccc4f28e236e67450a55ac622'),
+        Fr.fromHexString('0xf3bc3b7147acb9c621fd9f72dbf15ffa'),
+        Fr.fromHexString('0x08599f379f0301dfefdbd0272554454d'),
+        Fr.fromHexString('0x97065383ebbbd76620398792bd259bc2'),
+        Fr.fromHexString('0x2ceaee87f45b7a417f0ffb05451a8c92'),
+        Fr.fromHexString('0x0123456789abcdef0fedcba9876543210123456789abcdef0fedcba987654321')
+    ];
+    const genArgs = (argsField)=>[
+            argsField,
+            argsU8,
+            /*getInstanceForAddress=*/ expectContractInstance.address.toField(),
+            /*expectedDeployer=*/ expectContractInstance.deployer.toField(),
+            /*expectedClassId=*/ expectContractInstance.currentContractClassId.toField(),
+            /*expectedInitializationHash=*/ expectContractInstance.initializationHash.toField(),
+            /*expectedImmutablesHash=*/ expectContractInstance.immutablesHash.toField(),
+            /*schnorrInputs=*/ schnorrInputs,
+            // Must skip strictly limited side effects (logs, messages) so we can spam the bulk test several times.
+            /*skip_strictly_limited_side_effects=*/ true
+        ];
+    const bulkResult = await tester.executeTxWithLabel(/*txLabel=*/ 'AvmTest/mega_bulk_testing', /*sender=*/ deployer, /*setupCalls=*/ [], /*appCalls=*/ [
+        {
+            address: avmTestContract.address,
+            fnName: 'bulk_testing',
+            args: genArgs(argsField0)
+        },
+        {
+            address: avmTestContract.address,
+            fnName: 'bulk_testing',
+            args: genArgs(argsField1)
+        },
+        {
+            address: avmTestContract.address,
+            fnName: 'bulk_testing',
+            args: genArgs(argsField2)
+        },
+        {
+            address: avmTestContract.address,
+            fnName: 'bulk_testing',
+            args: genArgs(argsField3)
+        },
+        {
+            address: avmTestContract.address,
+            fnName: 'bulk_testing',
+            args: genArgs(argsField4)
+        }
+    ], /*teardownCall=*/ undefined, /*feePayer*/ undefined, /*privateInsertions=*/ {
+        nonRevertible: {
+            nullifiers: [
+                new Fr(420000)
+            ],
+            noteHashes: [
+                new Fr(420001)
+            ]
+        },
+        revertible: {
+            nullifiers: [
+                new Fr(420002)
+            ],
+            noteHashes: [
+                new Fr(420003)
+            ]
+        }
+    });
+    logger.info(`Mega bulk test took ${timer.ms()}ms\n`);
+    return bulkResult;
+}