@aztec/simulator 2.0.0-nightly.20250821 → 2.0.0-nightly.20250823

package/dest/public/avm/avm_memory_types.js

@@ -180,7 +180,7 @@ export class TaggedMemory {
     getAs(offset) {
         assert(Number.isInteger(offset) && offset < TaggedMemory.MAX_MEMORY_SIZE);
         const word = this._mem.get(offset);
-        //TaggedMemory.log.trace(`get(${offset}) = ${word}`);
+        //TaggedMemory.log.trace(`Memory read: ${offset} -> ${word}`);
         if (word === undefined) {
             TaggedMemory.log.debug(`WARNING: Memory at offset ${offset} is undefined!`);
             return new Field(0);
@@ -208,7 +208,7 @@ export class TaggedMemory {
     set(offset, v) {
         assert(Number.isInteger(offset) && offset < TaggedMemory.MAX_MEMORY_SIZE);
         this._mem.set(offset, v);
-    //TaggedMemory.log.trace(`set(${offset}, ${v})`);
+    //TaggedMemory.log.trace(`Memory write: ${offset} <- ${v}`);
     }
     setSlice(offset, slice) {
         assert(Number.isInteger(offset));

package/dest/public/avm/avm_simulator.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"avm_simulator.d.ts","sourceRoot":"","sources":["../../../src/public/avm/avm_simulator.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAKxD,OAAO,KAAK,EAAE,6BAA6B,EAAE,MAAM,mCAAmC,CAAC;AACvF,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AAEtE,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,cAAc,CAAC;AAExC,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AAI1E,OAAO,EAEL,KAAK,cAAc,EAEpB,MAAM,2CAA2C,CAAC;AAOnD,qBAAa,YAAa,YAAW,qBAAqB;IAatD,OAAO,CAAC,OAAO;IACf,OAAO,CAAC,cAAc;IAbxB,OAAO,CAAC,GAAG,CAAS;IACpB,OAAO,CAAC,QAAQ,CAAqB;IACrC,OAAO,CAAC,aAAa,CAAuC;IAE5D,OAAO,CAAC,6BAA6B,CAAiD;IAEtF,OAAO,CAAC,kBAAkB,CAAY;IACtC,OAAO,CAAC,wBAAwB,CAA+B;gBAKrD,OAAO,EAAE,UAAU,EACnB,cAAc,GAAE,cAAgC,EACxD,cAAc,UAAQ;WAmBJ,KAAK,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,YAAY,CAAC;WAQjD,MAAM,CACxB,YAAY,EAAE,6BAA6B,EAC3C,OAAO,EAAE,YAAY,EACrB,MAAM,EAAE,YAAY,EACpB,cAAc,EAAE,EAAE,EAClB,OAAO,EAAE,eAAe,EACxB,YAAY,EAAE,OAAO,EACrB,QAAQ,EAAE,EAAE,EAAE,EACd,YAAY,EAAE,GAAG,EACjB,yBAAyB,GAAE,OAAe;IAkB5C;;OAEG;IACU,OAAO,IAAI,OAAO,CAAC,qBAAqB,CAAC;IAuBtD;;OAEG;IACI,WAAW,IAAI,MAAM,GAAG,SAAS;IAIxC;;;OAGG;IACU,eAAe,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,qBAAqB,CAAC;YAqHhE,+BAA+B;IAoB7C,OAAO,CAAC,gBAAgB;IAQxB,OAAO,CAAC,kBAAkB;CAS3B"}
+{"version":3,"file":"avm_simulator.d.ts","sourceRoot":"","sources":["../../../src/public/avm/avm_simulator.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAG9C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAKxD,OAAO,KAAK,EAAE,6BAA6B,EAAE,MAAM,mCAAmC,CAAC;AACvF,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AAEtE,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,cAAc,CAAC;AAExC,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AAI1E,OAAO,EAEL,KAAK,cAAc,EAEpB,MAAM,2CAA2C,CAAC;AAOnD,qBAAa,YAAa,YAAW,qBAAqB;IAatD,OAAO,CAAC,OAAO;IACf,OAAO,CAAC,cAAc;IAbxB,OAAO,CAAC,GAAG,CAAS;IACpB,OAAO,CAAC,QAAQ,CAAqB;IACrC,OAAO,CAAC,aAAa,CAAuC;IAE5D,OAAO,CAAC,6BAA6B,CAAiD;IAEtF,OAAO,CAAC,kBAAkB,CAAY;IACtC,OAAO,CAAC,wBAAwB,CAA+B;gBAKrD,OAAO,EAAE,UAAU,EACnB,cAAc,GAAE,cAAgC,EACxD,cAAc,UAAQ;WAmBJ,KAAK,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,YAAY,CAAC;WAQjD,MAAM,CACxB,YAAY,EAAE,6BAA6B,EAC3C,OAAO,EAAE,YAAY,EACrB,MAAM,EAAE,YAAY,EACpB,cAAc,EAAE,EAAE,EAClB,OAAO,EAAE,eAAe,EACxB,YAAY,EAAE,OAAO,EACrB,QAAQ,EAAE,EAAE,EAAE,EACd,YAAY,EAAE,GAAG,EACjB,yBAAyB,GAAE,OAAe;IAkB5C;;OAEG;IACU,OAAO,IAAI,OAAO,CAAC,qBAAqB,CAAC;IAuBtD;;OAEG;IACI,WAAW,IAAI,MAAM,GAAG,SAAS;IAIxC;;;OAGG;IACU,eAAe,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,qBAAqB,CAAC;YAmHhE,+BAA+B;IAoB7C,OAAO,CAAC,gBAAgB;IAQxB,OAAO,CAAC,kBAAkB;CAS3B"}

package/dest/public/avm/avm_simulator.js

@@ -1,6 +1,7 @@
 import { MAX_L2_GAS_PER_TX_PUBLIC_PORTION } from '@aztec/constants';
 import { Fr } from '@aztec/foundation/fields';
 import { createLogger } from '@aztec/foundation/log';
+import { Timer } from '@aztec/foundation/timer';
 import { strict as assert } from 'assert';
 import { SideEffectLimitReachedError } from '../side_effect_errors.js';
 import { AvmContext } from './avm_context.js';
@@ -81,7 +82,7 @@ export class AvmSimulator {
    * Executes the provided bytecode in the current context.
    * This method is useful for testing and debugging.
    */ async executeBytecode(bytecode) {
-        const startTotalTime = performance.now();
+        const timer = new Timer();
         assert(bytecode.length > 0, "AVM simulator can't execute empty bytecode");
         this.bytecode = bytecode;
         const { machineState } = this.context;
@@ -134,9 +135,7 @@ export class AvmSimulator {
             };
             this.log.debug(`Executed ${machineState.instrCounter} instructions and consumed ${totalGasUsed.l2Gas} L2 Gas`);
             this.tallyPrintFunction();
-            const endTotalTime = performance.now();
-            const totalTime = endTotalTime - startTotalTime;
-            this.log.debug(`Core AVM simulation took ${totalTime}ms`);
+            this.log.debug(`Core AVM simulation took ${timer.ms()}ms`);
             // Return results for processing by calling context
             return results;
         } catch (err) {

package/dest/public/avm/opcodes/memory.js

@@ -242,8 +242,8 @@ export class ReturndataCopy extends Instruction {
         ];
         const [copySizeOffset, rdStartOffset, dstOffset] = addressing.resolve(operands, memory);
         memory.checkTags(TypeTag.UINT32, rdStartOffset, copySizeOffset);
-        const rdStart = memory.get(rdStartOffset).toNumber();
         const copySize = memory.get(copySizeOffset).toNumber();
+        const rdStart = memory.get(rdStartOffset).toNumber();
         context.machineState.consumeGas(this.dynamicGasCost(copySize));
         // Values which are out-of-range of the returndata array will be set with Field(0);
         const slice = context.machineState.nestedReturndata.slice(rdStart, rdStart + copySize).map((f)=>new Field(f));

package/dest/public/{public_tx_simulator/apps_tests → fixtures}/amm_test.d.ts

@@ -1,9 +1,9 @@
 import type { Logger } from '@aztec/foundation/log';
-import { PublicTxSimulationTester } from '../../fixtures/public_tx_simulation_tester.js';
+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): Promise<void>;
+export declare function ammTest(tester: PublicTxSimulationTester, logger: Logger, expectToBeTrue: (x: boolean) => void): Promise<void>;
 //# sourceMappingURL=amm_test.d.ts.map

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,uBAAuB,CAAC;AAMpD,OAAO,EAAE,wBAAwB,EAAE,MAAM,kCAAkC,CAAC;AAI5E;;;;GAIG;AACH,wBAAsB,OAAO,CAAC,MAAM,EAAE,wBAAwB,EAAE,MAAM,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC,EAAE,OAAO,KAAK,IAAI,iBAoGnH"}

package/dest/public/{public_tx_simulator/apps_tests → fixtures}/amm_test.js

@@ -1,6 +1,7 @@
 import { GeneratorIndex } from '@aztec/constants';
 import { poseidon2HashWithSeparator } from '@aztec/foundation/crypto';
 import { Fr } from '@aztec/foundation/fields';
+import { Timer } from '@aztec/foundation/timer';
 import { AMMContractArtifact } from '@aztec/noir-contracts.js/AMM';
 import { AztecAddress } from '@aztec/stdlib/aztec-address';
 import { setUpToken } from './token_test.js';
@@ -9,14 +10,14 @@ 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) {
-    const startTime = performance.now();
+ */ export async function ammTest(tester, logger, expectToBeTrue) {
+    const timer = new Timer();
     const admin = AztecAddress.fromNumber(42);
     const sender = AztecAddress.fromNumber(111);
     logger.debug(`Deploying tokens`);
-    const token0 = await setUpToken(tester, admin, /*seed=*/ 0);
-    const token1 = await setUpToken(tester, admin, /*seed=*/ 1);
-    const liquidityToken = await setUpToken(tester, admin, /*seed=*/ 2);
+    const token0 = await setUpToken(tester, admin, expectToBeTrue, /*seed=*/ 0);
+    const token1 = await setUpToken(tester, admin, expectToBeTrue, /*seed=*/ 1);
+    const liquidityToken = await setUpToken(tester, admin, expectToBeTrue, /*seed=*/ 2);
     logger.debug(`Deploying AMM`);
     const constructorArgs = [
         token0,
@@ -24,17 +25,19 @@ const INITIAL_TOKEN_BALANCE = 1_000_000_000n;
         liquidityToken
     ];
     const amm = await tester.registerAndDeployContract(constructorArgs, /*deployer=*/ admin, AMMContractArtifact, /*skipNullifierInsertion=*/ false, /*seed=*/ 3);
-    const ammConstructorResult = await tester.simulateTxWithLabel(/*txLabel=*/ 'AMM/constructor', /*sender=*/ admin, /*setupCalls=*/ [], /*appCalls=*/ [
+    // 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
         }
     ]);
-    expect(ammConstructorResult.revertCode.isOK()).toBe(true);
+    expectToBeTrue(ammConstructorResult.revertCode.isOK());
     logger.debug(`Setting AMM as minter for liquidity token`);
     // set the AMM as the minter for the liquidity token
-    const setMinterResult = await tester.simulateTxWithLabel(/*txLabel=*/ 'AMM/set_minter', /*sender=*/ admin, /*setupCalls=*/ [], /*appCalls=*/ [
+    // 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: [
@@ -44,22 +47,21 @@ const INITIAL_TOKEN_BALANCE = 1_000_000_000n;
             address: liquidityToken.address
         }
     ]);
-    expect(setMinterResult.revertCode.isOK()).toBe(true);
+    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);
-    expect(addLiquidityResult.revertCode.isOK()).toBe(true);
+    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);
-    expect(swapResult.revertCode.isOK()).toBe(true);
+    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);
-    expect(removeLiquidityResult.revertCode.isOK()).toBe(true);
-    const endTime = performance.now();
-    logger.info(`AMM public tx simulator test took ${endTime - startTime}ms\n`);
+    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 = {
@@ -79,7 +81,8 @@ async function addLiquidity(tester, sender, amm, token0, token1, liquidityToken,
     await tester.insertNullifier(token0.address, refundToken0PartialNoteValidityCommitment);
     await tester.insertNullifier(token1.address, refundToken1PartialNoteValidityCommitment);
     await tester.insertNullifier(liquidityToken.address, liquidityPartialNoteValidityCommitment);
-    return await tester.simulateTxWithLabel(/*txLabel=*/ 'AMM/add_liquidity', /*sender=*/ sender, /*setupCalls=*/ [], /*appCalls=*/ [
+    // 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,
@@ -131,7 +134,8 @@ async function swapExactTokensForTokens(tester, sender, amm, tokenIn, tokenOut,
     // 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);
-    return await tester.simulateTxWithLabel(/*txLabel=*/ 'AMM/swap_exact_tokens_for_tokens', /*sender=*/ sender, /*setupCalls=*/ [], /*appCalls=*/ [
+    // 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,
@@ -169,7 +173,8 @@ async function removeLiquidity(tester, sender, amm, token0, token1, liquidityTok
     // functions that are not invoked in this test.
     await tester.insertNullifier(token0.address, token0PartialNoteValidityCommitment);
     await tester.insertNullifier(token1.address, token1PartialNoteValidityCommitment);
-    return await tester.simulateTxWithLabel(/*txLabel=*/ 'AMM/remove_liquidity', /*sender=*/ sender, /*setupCalls=*/ [], /*appCalls=*/ [
+    // 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,

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

@@ -0,0 +1,5 @@
+import type { Logger } from '@aztec/foundation/log';
+import { PublicTxSimulationTester } from './public_tx_simulation_tester.js';
+export declare function bulkTest(tester: PublicTxSimulationTester, logger: Logger, expectToBeTrue: (x: boolean) => void): Promise<import("../index.js").PublicTxResult>;
+export declare function megaBulkTest(tester: PublicTxSimulationTester, logger: Logger, expectToBeTrue: (x: boolean) => void): Promise<import("../index.js").PublicTxResult>;
+//# sourceMappingURL=bulk_test.d.ts.map

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,uBAAuB,CAAC;AAKpD,OAAO,EAAE,wBAAwB,EAAE,MAAM,kCAAkC,CAAC;AAE5E,wBAAsB,QAAQ,CAAC,MAAM,EAAE,wBAAwB,EAAE,MAAM,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAC,EAAE,OAAO,KAAK,IAAI,iDAsDpH;AAED,wBAAsB,YAAY,CAChC,MAAM,EAAE,wBAAwB,EAChC,MAAM,EAAE,MAAM,EACd,cAAc,EAAE,CAAC,CAAC,EAAE,OAAO,KAAK,IAAI,iDAiFrC"}

package/dest/public/fixtures/bulk_test.js

@@ -0,0 +1,396 @@
+import { Fr } from '@aztec/foundation/fields';
+import { Timer } from '@aztec/foundation/timer';
+import { AvmTestContractArtifact } from '@aztec/noir-test-contracts.js/AvmTest';
+import { AztecAddress } from '@aztec/stdlib/aztec-address';
+export async function bulkTest(tester, logger, expectToBeTrue) {
+    const timer = new Timer();
+    const deployer = AztecAddress.fromNumber(42);
+    const avmTestContract = await tester.registerAndDeployContract(/*constructorArgs=*/ [], deployer, /*contractArtifact=*/ AvmTestContractArtifact);
+    // 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));
+    const args = [
+        argsField,
+        argsU8,
+        /*getInstanceForAddress=*/ expectContractInstance.address,
+        /*expectedDeployer=*/ expectContractInstance.deployer,
+        /*expectedClassId=*/ expectContractInstance.currentContractClassId,
+        /*expectedInitializationHash=*/ expectContractInstance.initializationHash,
+        /*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
+        }
+    ], /*teardownCall=*/ undefined, /*feePayer*/ undefined, /*privateInsertions=*/ {
+        nonRevertible: {
+            nullifiers: [
+                new Fr(420000)
+            ],
+            noteHashes: [
+                new Fr(420001)
+            ]
+        },
+        revertible: {
+            nullifiers: [
+                new Fr(420002)
+            ],
+            noteHashes: [
+                new Fr(420003)
+            ]
+        }
+    });
+    expectToBeTrue(bulkResult.revertCode.isOK());
+    logger.info(`Bulk test took ${timer.ms()}ms\n`);
+    return bulkResult;
+}
+export async function megaBulkTest(tester, logger, expectToBeTrue) {
+    const timer = new Timer();
+    const deployer = AztecAddress.fromNumber(42);
+    const avmTestContract = await tester.registerAndDeployContract(/*constructorArgs=*/ [], deployer, /*contractArtifact=*/ AvmTestContractArtifact);
+    // 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 = [
+        2,
+        2,
+        3,
+        4,
+        5,
+        6,
+        7,
+        8,
+        9,
+        10
+    ].map((x)=>new Fr(x));
+    const argsField2 = [
+        3,
+        2,
+        3,
+        4,
+        5,
+        6,
+        7,
+        8,
+        9,
+        10
+    ].map((x)=>new Fr(x));
+    const argsField3 = [
+        4,
+        2,
+        3,
+        4,
+        5,
+        6,
+        7,
+        8,
+        9,
+        10
+    ].map((x)=>new Fr(x));
+    const argsField4 = [
+        5,
+        2,
+        3,
+        4,
+        5,
+        6,
+        7,
+        8,
+        9,
+        10
+    ].map((x)=>new Fr(x));
+    const argsField5 = [
+        6,
+        2,
+        3,
+        4,
+        5,
+        6,
+        7,
+        8,
+        9,
+        10
+    ].map((x)=>new Fr(x));
+    const argsField6 = [
+        7,
+        2,
+        3,
+        4,
+        5,
+        6,
+        7,
+        8,
+        9,
+        10
+    ].map((x)=>new Fr(x));
+    const argsField7 = [
+        8,
+        2,
+        3,
+        4,
+        5,
+        6,
+        7,
+        8,
+        9,
+        10
+    ].map((x)=>new Fr(x));
+    const argsField8 = [
+        9,
+        2,
+        3,
+        4,
+        5,
+        6,
+        7,
+        8,
+        9,
+        10
+    ].map((x)=>new Fr(x));
+    const argsField9 = [
+        10,
+        2,
+        3,
+        4,
+        5,
+        6,
+        7,
+        8,
+        9,
+        10
+    ].map((x)=>new Fr(x));
+    const argsField10 = [
+        11,
+        2,
+        3,
+        4,
+        5,
+        6,
+        7,
+        8,
+        9,
+        10
+    ].map((x)=>new Fr(x));
+    const argsField11 = [
+        12,
+        2,
+        3,
+        4,
+        5,
+        6,
+        7,
+        8,
+        9,
+        10
+    ].map((x)=>new Fr(x));
+    const argsField12 = [
+        13,
+        2,
+        3,
+        4,
+        5,
+        6,
+        7,
+        8,
+        9,
+        10
+    ].map((x)=>new Fr(x));
+    const argsField13 = [
+        14,
+        2,
+        3,
+        4,
+        5,
+        6,
+        7,
+        8,
+        9,
+        10
+    ].map((x)=>new Fr(x));
+    const argsField14 = [
+        15,
+        2,
+        3,
+        4,
+        5,
+        6,
+        7,
+        8,
+        9,
+        10
+    ].map((x)=>new Fr(x));
+    const argsField15 = [
+        16,
+        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 genArgs = (argsField)=>[
+            argsField,
+            argsU8,
+            /*getInstanceForAddress=*/ expectContractInstance.address.toField(),
+            /*expectedDeployer=*/ expectContractInstance.deployer.toField(),
+            /*expectedClassId=*/ expectContractInstance.currentContractClassId.toField(),
+            /*expectedInitializationHash=*/ expectContractInstance.initializationHash.toField(),
+            // 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)
+        },
+        {
+            address: avmTestContract.address,
+            fnName: 'bulk_testing',
+            args: genArgs(argsField5)
+        },
+        {
+            address: avmTestContract.address,
+            fnName: 'bulk_testing',
+            args: genArgs(argsField6)
+        },
+        {
+            address: avmTestContract.address,
+            fnName: 'bulk_testing',
+            args: genArgs(argsField7)
+        },
+        {
+            address: avmTestContract.address,
+            fnName: 'bulk_testing',
+            args: genArgs(argsField8)
+        },
+        {
+            address: avmTestContract.address,
+            fnName: 'bulk_testing',
+            args: genArgs(argsField9)
+        },
+        {
+            address: avmTestContract.address,
+            fnName: 'bulk_testing',
+            args: genArgs(argsField10)
+        },
+        {
+            address: avmTestContract.address,
+            fnName: 'bulk_testing',
+            args: genArgs(argsField11)
+        },
+        {
+            address: avmTestContract.address,
+            fnName: 'bulk_testing',
+            args: genArgs(argsField12)
+        },
+        {
+            address: avmTestContract.address,
+            fnName: 'bulk_testing',
+            args: genArgs(argsField13)
+        },
+        {
+            address: avmTestContract.address,
+            fnName: 'bulk_testing',
+            args: genArgs(argsField14)
+        },
+        {
+            address: avmTestContract.address,
+            fnName: 'bulk_testing',
+            args: genArgs(argsField15)
+        }
+    ], /*teardownCall=*/ undefined, /*feePayer*/ undefined, /*privateInsertions=*/ {
+        nonRevertible: {
+            nullifiers: [
+                new Fr(420000)
+            ],
+            noteHashes: [
+                new Fr(420001)
+            ]
+        },
+        revertible: {
+            nullifiers: [
+                new Fr(420002)
+            ],
+            noteHashes: [
+                new Fr(420003)
+            ]
+        }
+    });
+    expectToBeTrue(bulkResult.revertCode.isOK());
+    logger.info(`Mega bulk test took ${timer.ms()}ms\n`);
+    return bulkResult;
+}

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

@@ -3,4 +3,7 @@ export * from './utils.js';
 export * from './simple_contract_data_source.js';
 export { readAvmMinimalPublicTxInputsFromFile, createAvmMinimalPublicTx } from './minimal_public_tx.js';
 export { TestExecutorMetrics } from '../test_executor_metrics.js';
+export { ammTest } from './amm_test.js';
+export { bulkTest, megaBulkTest } from './bulk_test.js';
+export { tokenTest } from './token_test.js';
 //# sourceMappingURL=index.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/public/fixtures/index.ts"],"names":[],"mappings":"AAAA,cAAc,kCAAkC,CAAC;AACjD,cAAc,YAAY,CAAC;AAC3B,cAAc,kCAAkC,CAAC;AACjD,OAAO,EAAE,oCAAoC,EAAE,wBAAwB,EAAE,MAAM,wBAAwB,CAAC;AACxG,OAAO,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/public/fixtures/index.ts"],"names":[],"mappings":"AAAA,cAAc,kCAAkC,CAAC;AACjD,cAAc,YAAY,CAAC;AAC3B,cAAc,kCAAkC,CAAC;AACjD,OAAO,EAAE,oCAAoC,EAAE,wBAAwB,EAAE,MAAM,wBAAwB,CAAC;AACxG,OAAO,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AAClE,OAAO,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AACxC,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AACxD,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC"}

package/dest/public/fixtures/index.js

@@ -3,3 +3,6 @@ export * from './utils.js';
 export * from './simple_contract_data_source.js';
 export { readAvmMinimalPublicTxInputsFromFile, createAvmMinimalPublicTx } from './minimal_public_tx.js';
 export { TestExecutorMetrics } from '../test_executor_metrics.js';
+export { ammTest } from './amm_test.js';
+export { bulkTest, megaBulkTest } from './bulk_test.js';
+export { tokenTest } from './token_test.js';

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

@@ -31,7 +31,21 @@ export declare class PublicTxSimulationTester extends BaseAvmSimulationTester {
     setMetricsPrefix(prefix: string): void;
     createTx(sender: AztecAddress, setupCalls?: TestEnqueuedCall[], appCalls?: TestEnqueuedCall[], teardownCall?: TestEnqueuedCall, feePayer?: AztecAddress, privateInsertions?: TestPrivateInsertions): Promise<Tx>;
     simulateTx(sender: AztecAddress, setupCalls?: TestEnqueuedCall[], appCalls?: TestEnqueuedCall[], teardownCall?: TestEnqueuedCall, feePayer?: AztecAddress, privateInsertions?: TestPrivateInsertions, txLabel?: string): Promise<PublicTxResult>;
+    /**
+     * Just simulate the transaction and return the result.
+     *
+     * This wrapper around simulation allows for easy labeling of a TX
+     * which is especially useful when reporting benchmarks or metrics.
+     */
     simulateTxWithLabel(txLabel: string, sender: AztecAddress, setupCalls?: TestEnqueuedCall[], appCalls?: TestEnqueuedCall[], teardownCall?: TestEnqueuedCall, feePayer?: AztecAddress, privateInsertions?: TestPrivateInsertions): Promise<PublicTxResult>;
+    /**
+     * Execute a transaction and return the result.
+     *
+     * This function can be (it is) overridden by a subclass (AvmProvingTester)
+     * to do more work (like prove and verify) while still reusing existing
+     * test fixtures (like amm_test). That is why it is not named "simulate*".
+     */
+    executeTxWithLabel(txLabel: string, sender: AztecAddress, setupCalls?: TestEnqueuedCall[], appCalls?: TestEnqueuedCall[], teardownCall?: TestEnqueuedCall, feePayer?: AztecAddress, privateInsertions?: TestPrivateInsertions): Promise<PublicTxResult>;
     prettyPrintMetrics(): void;
 }
 export declare function defaultGlobals(): GlobalVariables;

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

@@ -1 +1 @@
-{"version":3,"file":"public_tx_simulation_tester.d.ts","sourceRoot":"","sources":["../../../src/public/fixtures/public_tx_simulation_tester.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,gBAAgB,EAAmB,MAAM,mBAAmB,CAAC;AAC3E,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAEhE,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,iCAAiC,CAAC;AAEjF,OAAO,EAAE,eAAe,EAAiC,KAAK,EAAE,EAAE,MAAM,kBAAkB,CAAC;AAG3F,OAAO,EAAE,uBAAuB,EAAE,MAAM,+CAA+C,CAAC;AASxF,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,+CAA+C,CAAC;AACpF,OAAO,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AAClE,OAAO,EAAE,wBAAwB,EAAE,MAAM,kCAAkC,CAAC;AAC5E,OAAO,EAAE,KAAK,qBAAqB,EAA0B,MAAM,YAAY,CAAC;AAIhF,MAAM,MAAM,gBAAgB,GAAG;IAC7B,MAAM,CAAC,EAAE,YAAY,CAAC;IACtB,OAAO,EAAE,YAAY,CAAC;IACtB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,GAAG,EAAE,CAAC;IACZ,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,gBAAgB,CAAC,EAAE,gBAAgB,CAAC;CACrC,CAAC;AAEF;;;;GAIG;AACH,qBAAa,wBAAyB,SAAQ,uBAAuB;;IASjE,OAAO,CAAC,OAAO;IARjB,SAAS,CAAC,OAAO,EAAE,MAAM,CAAK;IAC9B,OAAO,CAAC,SAAS,CAA4B;IAC7C,OAAO,CAAC,aAAa,CAAC,CAAS;gBAG7B,UAAU,EAAE,yBAAyB,EACrC,kBAAkB,EAAE,wBAAwB,EAC5C,OAAO,GAAE,eAAkC,EACnC,OAAO,GAAE,mBAA+C;WAgB9C,MAAM,CACxB,OAAO,GAAE,eAAkC,EAC3C,OAAO,GAAE,mBAA+C,GACvD,OAAO,CAAC,wBAAwB,CAAC;IAM7B,gBAAgB,CAAC,MAAM,EAAE,MAAM;IAIzB,QAAQ,CACnB,MAAM,EAAE,YAAY,EACpB,UAAU,GAAE,gBAAgB,EAAO,EACnC,QAAQ,GAAE,gBAAgB,EAAO,EACjC,YAAY,CAAC,EAAE,gBAAgB,EAC/B,QAAQ,GAAE,YAAqB,EAE/B,iBAAiB,GAAE,qBAA0F,GAC5G,OAAO,CAAC,EAAE,CAAC;IAuBD,UAAU,CACrB,MAAM,EAAE,YAAY,EACpB,UAAU,GAAE,gBAAgB,EAAO,EACnC,QAAQ,GAAE,gBAAgB,EAAO,EACjC,YAAY,CAAC,EAAE,gBAAgB,EAC/B,QAAQ,GAAE,YAAqB,EAE/B,iBAAiB,CAAC,EAAE,qBAAqB,EACzC,OAAO,GAAE,MAAsB,GAC9B,OAAO,CAAC,cAAc,CAAC;IAyBb,mBAAmB,CAC9B,OAAO,EAAE,MAAM,EACf,MAAM,EAAE,YAAY,EACpB,UAAU,CAAC,EAAE,gBAAgB,EAAE,EAC/B,QAAQ,CAAC,EAAE,gBAAgB,EAAE,EAC7B,YAAY,CAAC,EAAE,gBAAgB,EAC/B,QAAQ,CAAC,EAAE,YAAY,EACvB,iBAAiB,CAAC,EAAE,qBAAqB,GACxC,OAAO,CAAC,cAAc,CAAC;IAInB,kBAAkB;CAuB1B;AAED,wBAAgB,cAAc,oBAM7B"}
+{"version":3,"file":"public_tx_simulation_tester.d.ts","sourceRoot":"","sources":["../../../src/public/fixtures/public_tx_simulation_tester.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,gBAAgB,EAAmB,MAAM,mBAAmB,CAAC;AAC3E,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAEhE,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,iCAAiC,CAAC;AAEjF,OAAO,EAAE,eAAe,EAAiC,KAAK,EAAE,EAAE,MAAM,kBAAkB,CAAC;AAG3F,OAAO,EAAE,uBAAuB,EAAE,MAAM,+CAA+C,CAAC;AASxF,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,+CAA+C,CAAC;AACpF,OAAO,EAAE,mBAAmB,EAAE,MAAM,6BAA6B,CAAC;AAClE,OAAO,EAAE,wBAAwB,EAAE,MAAM,kCAAkC,CAAC;AAC5E,OAAO,EAAE,KAAK,qBAAqB,EAA0B,MAAM,YAAY,CAAC;AAIhF,MAAM,MAAM,gBAAgB,GAAG;IAC7B,MAAM,CAAC,EAAE,YAAY,CAAC;IACtB,OAAO,EAAE,YAAY,CAAC;IACtB,MAAM,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,GAAG,EAAE,CAAC;IACZ,YAAY,CAAC,EAAE,OAAO,CAAC;IACvB,gBAAgB,CAAC,EAAE,gBAAgB,CAAC;CACrC,CAAC;AAEF;;;;GAIG;AACH,qBAAa,wBAAyB,SAAQ,uBAAuB;;IASjE,OAAO,CAAC,OAAO;IARjB,SAAS,CAAC,OAAO,EAAE,MAAM,CAAK;IAC9B,OAAO,CAAC,SAAS,CAA4B;IAC7C,OAAO,CAAC,aAAa,CAAC,CAAS;gBAG7B,UAAU,EAAE,yBAAyB,EACrC,kBAAkB,EAAE,wBAAwB,EAC5C,OAAO,GAAE,eAAkC,EACnC,OAAO,GAAE,mBAA+C;WAgB9C,MAAM,CACxB,OAAO,GAAE,eAAkC,EAC3C,OAAO,GAAE,mBAA+C,GACvD,OAAO,CAAC,wBAAwB,CAAC;IAM7B,gBAAgB,CAAC,MAAM,EAAE,MAAM;IAIzB,QAAQ,CACnB,MAAM,EAAE,YAAY,EACpB,UAAU,GAAE,gBAAgB,EAAO,EACnC,QAAQ,GAAE,gBAAgB,EAAO,EACjC,YAAY,CAAC,EAAE,gBAAgB,EAC/B,QAAQ,GAAE,YAAqB,EAE/B,iBAAiB,GAAE,qBAA0F,GAC5G,OAAO,CAAC,EAAE,CAAC;IAuBD,UAAU,CACrB,MAAM,EAAE,YAAY,EACpB,UAAU,GAAE,gBAAgB,EAAO,EACnC,QAAQ,GAAE,gBAAgB,EAAO,EACjC,YAAY,CAAC,EAAE,gBAAgB,EAC/B,QAAQ,GAAE,YAAqB,EAE/B,iBAAiB,CAAC,EAAE,qBAAqB,EACzC,OAAO,GAAE,MAAsB,GAC9B,OAAO,CAAC,cAAc,CAAC;IAyB1B;;;;;OAKG;IACU,mBAAmB,CAC9B,OAAO,EAAE,MAAM,EACf,MAAM,EAAE,YAAY,EACpB,UAAU,CAAC,EAAE,gBAAgB,EAAE,EAC/B,QAAQ,CAAC,EAAE,gBAAgB,EAAE,EAC7B,YAAY,CAAC,EAAE,gBAAgB,EAC/B,QAAQ,CAAC,EAAE,YAAY,EACvB,iBAAiB,CAAC,EAAE,qBAAqB,GACxC,OAAO,CAAC,cAAc,CAAC;IAI1B;;;;;;OAMG;IACU,kBAAkB,CAC7B,OAAO,EAAE,MAAM,EACf,MAAM,EAAE,YAAY,EACpB,UAAU,CAAC,EAAE,gBAAgB,EAAE,EAC/B,QAAQ,CAAC,EAAE,gBAAgB,EAAE,EAC7B,YAAY,CAAC,EAAE,gBAAgB,EAC/B,QAAQ,CAAC,EAAE,YAAY,EACvB,iBAAiB,CAAC,EAAE,qBAAqB,GACxC,OAAO,CAAC,cAAc,CAAC;IAYnB,kBAAkB;CAuB1B;AAED,wBAAgB,cAAc,oBAM7B"}