@aztec/simulator 0.0.0-test.1 → 0.0.1-commit.023c3e5

package/dest/public/executor_metrics.js

@@ -1,39 +1,49 @@
-import { Attributes, Metrics, ValueType } from '@aztec/telemetry-client';
+import { Attributes, Metrics, createUpDownCounterWithDefault } from '@aztec/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 = meter.createUpDownCounter(Metrics.PUBLIC_EXECUTOR_SIMULATION_COUNT, {
-            description: 'Number of functions executed'
-        });
-        this.fnDuration = meter.createHistogram(Metrics.PUBLIC_EXECUTOR_SIMULATION_DURATION, {
-            description: 'How long it takes to execute a function',
-            unit: 'ms',
-            valueType: ValueType.INT
-        });
-        this.manaPerSecond = meter.createHistogram(Metrics.PUBLIC_EXECUTOR_SIMULATION_MANA_PER_SECOND, {
-            description: 'Mana used per second',
-            unit: 'mana/s',
-            valueType: ValueType.INT
-        });
-        this.privateEffectsInsertions = meter.createHistogram(Metrics.PUBLIC_EXECUTION_PRIVATE_EFFECTS_INSERTION, {
-            description: 'Private effects insertion time',
-            unit: 'us',
-            valueType: ValueType.INT
+        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)
     }
-    recordFunctionSimulation(durationMs, manaUsed, fnName) {
+    stopRecordingTxSimulation(_txLabel, _gasUsed, _revertedCode) {
+    // do nothing (unimplemented)
+    }
+    recordEnqueuedCallSimulation(fnName, durationMs, manaUsed, totalInstructionsExecuted) {
         this.fnCount.add(1, {
             [Attributes.OK]: true,
-            [Attributes.APP_CIRCUIT_NAME]: fnName,
-            [Attributes.MANA_USED]: manaUsed
+            [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
         });
-        this.fnDuration.record(Math.ceil(durationMs));
         if (durationMs > 0 && manaUsed > 0) {
             const manaPerSecond = Math.round(manaUsed * 1000 / durationMs);
             this.manaPerSecond.record(manaPerSecond, {
@@ -41,7 +51,7 @@ export class ExecutorMetrics {
             });
         }
     }
-    recordFunctionSimulationFailure() {
+    recordEnqueuedCallSimulationFailure(_fnName, _durationMs, _manaUsed, _totalInstructionsExecuted) {
         this.fnCount.add(1, {
             [Attributes.OK]: false
         });

package/dest/public/executor_metrics_interface.d.ts

@@ -0,0 +1,10 @@
+import type { RevertCode } from '@aztec/stdlib/avm';
+import type { GasUsed } from '@aztec/stdlib/gas';
+export interface ExecutorMetricsInterface {
+    startRecordingTxSimulation(txLabel: string): void;
+    stopRecordingTxSimulation(txLabel: string, gasUsed?: GasUsed, revertedCode?: RevertCode): 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,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZXhlY3V0b3JfbWV0cmljc19pbnRlcmZhY2UuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9wdWJsaWMvZXhlY3V0b3JfbWV0cmljc19pbnRlcmZhY2UudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxLQUFLLEVBQUUsVUFBVSxFQUFFLE1BQU0sbUJBQW1CLENBQUM7QUFDcEQsT0FBTyxLQUFLLEVBQUUsT0FBTyxFQUFFLE1BQU0sbUJBQW1CLENBQUM7QUFFakQsTUFBTSxXQUFXLHdCQUF3QjtJQUN2QywwQkFBMEIsQ0FBQyxPQUFPLEVBQUUsTUFBTSxHQUFHLElBQUksQ0FBQztJQUNsRCx5QkFBeUIsQ0FBQyxPQUFPLEVBQUUsTUFBTSxFQUFFLE9BQU8sQ0FBQyxFQUFFLE9BQU8sRUFBRSxZQUFZLENBQUMsRUFBRSxVQUFVLEdBQUcsSUFBSSxDQUFDO0lBQy9GLDRCQUE0QixDQUFDLE1BQU0sRUFBRSxNQUFNLEVBQUUsVUFBVSxFQUFFLE1BQU0sRUFBRSxRQUFRLEVBQUUsTUFBTSxFQUFFLGlCQUFpQixFQUFFLE1BQU0sR0FBRyxJQUFJLENBQUM7SUFDcEgsbUNBQW1DLENBQ2pDLE1BQU0sRUFBRSxNQUFNLEVBQ2QsVUFBVSxFQUFFLE1BQU0sRUFDbEIsUUFBUSxFQUFFLE1BQU0sRUFDaEIseUJBQXlCLEVBQUUsTUFBTSxHQUNoQyxJQUFJLENBQUM7SUFDUiw2QkFBNkIsQ0FBQyxVQUFVLEVBQUUsTUFBTSxFQUFFLElBQUksRUFBRSxZQUFZLEdBQUcsZ0JBQWdCLEdBQUcsSUFBSSxDQUFDO0NBQ2hHIn0=

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,mBAAmB,CAAC;AACpD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAC;AAEjD,MAAM,WAAW,wBAAwB;IACvC,0BAA0B,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IAClD,yBAAyB,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,OAAO,EAAE,YAAY,CAAC,EAAE,UAAU,GAAG,IAAI,CAAC;IAC/F,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/foundation/log';
+import type { ContractArtifact } from '@aztec/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,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYW1tX3Rlc3QuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9wdWJsaWMvZml4dHVyZXMvYW1tX3Rlc3QudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBR0EsT0FBTyxLQUFLLEVBQUUsTUFBTSxFQUFFLE1BQU0sdUJBQXVCLENBQUM7QUFFcEQsT0FBTyxLQUFLLEVBQUUsZ0JBQWdCLEVBQUUsTUFBTSxtQkFBbUIsQ0FBQztBQUkxRCxPQUFPLEVBQUUsd0JBQXdCLEVBQUUsTUFBTSxrQ0FBa0MsQ0FBQztBQUk1RTs7OztHQUlHO0FBQ0gsd0JBQXNCLE9BQU8sQ0FDM0IsTUFBTSxFQUFFLHdCQUF3QixFQUNoQyxNQUFNLEVBQUUsTUFBTSxFQUNkLGFBQWEsRUFBRSxnQkFBZ0IsRUFDL0IsV0FBVyxFQUFFLGdCQUFnQixFQUM3QixjQUFjLEVBQUUsQ0FBQyxDQUFDLEVBQUUsT0FBTyxLQUFLLElBQUksaUJBcUdyQyJ9

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;AAEpD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAI1D,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 { GeneratorIndex } from '@aztec/constants';
+import { poseidon2HashWithSeparator } from '@aztec/foundation/crypto/poseidon';
+import { Fr } from '@aztec/foundation/curves/bn254';
+import { Timer } from '@aztec/foundation/timer';
+import { AztecAddress } from '@aztec/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.fromNumber(42);
+    const sender = AztecAddress.fromNumber(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
+    ], GeneratorIndex.PARTIAL_NOTE_VALIDITY_COMMITMENT);
+}

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

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

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;AAEpD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAG1D,OAAO,EAAE,wBAAwB,EAAE,MAAM,kCAAkC,CAAC;AAE5E,wBAAsB,QAAQ,CAC5B,MAAM,EAAE,wBAAwB,EAChC,MAAM,EAAE,MAAM,EACd,uBAAuB,EAAE,gBAAgB,uDAkF1C;AAED,wBAAsB,YAAY,CAChC,MAAM,EAAE,wBAAwB,EAChC,MAAM,EAAE,MAAM,EACd,uBAAuB,EAAE,gBAAgB,uDAsE1C"}

package/dest/public/fixtures/bulk_test.js

@@ -0,0 +1,262 @@
+import { Fr } from '@aztec/foundation/curves/bn254';
+import { Timer } from '@aztec/foundation/timer';
+import { AztecAddress } from '@aztec/stdlib/aztec-address';
+export async function bulkTest(tester, logger, avmTestContractArtifact) {
+    const timer = new Timer();
+    const deployer = AztecAddress.fromNumber(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();
+    // 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
+    ].map((x)=>new Fr(x));
+    argsU8.push(new Fr(2n ** 128n + 9n)); // Trigger truncation from large (> 128 bits) value (canonical decomposition event)
+    argsU8.push(new Fr(2n ** 125n + 10n)); // Trigger truncation from small (< 128 bits) value (no canonical decomposition event)
+    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
+        },
+        // 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(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.fromNumber(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 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)
+        }
+    ], /*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;
+}

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

@@ -0,0 +1,34 @@
+import type { PublicTxResult } from '@aztec/stdlib/avm';
+import { AztecAddress } from '@aztec/stdlib/aztec-address';
+import type { ContractInstanceWithAddress } from '@aztec/stdlib/contract';
+import { PublicTxSimulationTester } from './public_tx_simulation_tester.js';
+/**
+ * Deploy a contract with the provided bytecode.
+ * @param bytecode - The bytecode buffer to use
+ * @param tester - The tester to use
+ * @param contractName - The name of the contract
+ * @param deployer - The deployer address
+ * @returns The deployed contract instance
+ */
+export declare function deployCustomBytecode(bytecode: Buffer, tester: PublicTxSimulationTester, contractName?: string, deployer?: AztecAddress): Promise<ContractInstanceWithAddress>;
+/**
+ * Execute a custom bytecode contract.
+ * @param contract - The contract instance to execute
+ * @param tester - The tester to use
+ * @param txLabel - The label of the transaction
+ * @param calldata - The calldata to use
+ * @returns The execution result
+ */
+export declare function executeCustomBytecode(contract: ContractInstanceWithAddress, tester: PublicTxSimulationTester, txLabel?: string, calldata?: any[]): Promise<PublicTxResult>;
+/**
+ * Deploy and execute a custom bytecode contract.
+ * @param bytecode - The bytecode buffer to use
+ * @param tester - The tester to use
+ * @param txLabel - The label of the transaction
+ * @param contractName - The name of the contract
+ * @param deployer - The deployer address
+ * @param calldata - The calldata to use
+ * @returns The execution result
+ */
+export declare function deployAndExecuteCustomBytecode(bytecode: Buffer, tester: PublicTxSimulationTester, txLabel?: string, contractName?: string, deployer?: AztecAddress, calldata?: any[]): Promise<PublicTxResult>;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY3VzdG9tX2J5dGVjb2RlX3Rlc3Rlci5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vLi4vc3JjL3B1YmxpYy9maXh0dXJlcy9jdXN0b21fYnl0ZWNvZGVfdGVzdGVyLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUNBLE9BQU8sS0FBSyxFQUFFLGNBQWMsRUFBRSxNQUFNLG1CQUFtQixDQUFDO0FBQ3hELE9BQU8sRUFBRSxZQUFZLEVBQUUsTUFBTSw2QkFBNkIsQ0FBQztBQUMzRCxPQUFPLEtBQUssRUFBRSwyQkFBMkIsRUFBRSxNQUFNLHdCQUF3QixDQUFDO0FBRTFFLE9BQU8sRUFBRSx3QkFBd0IsRUFBRSxNQUFNLGtDQUFrQyxDQUFDO0FBRTVFOzs7Ozs7O0dBT0c7QUFDSCx3QkFBc0Isb0JBQW9CLENBQ3hDLFFBQVEsRUFBRSxNQUFNLEVBQ2hCLE1BQU0sRUFBRSx3QkFBd0IsRUFDaEMsWUFBWSxHQUFFLE1BQWlDLEVBQy9DLFFBQVEsR0FBRSxZQUEwQyxHQUNuRCxPQUFPLENBQUMsMkJBQTJCLENBQUMsQ0FpQnRDO0FBRUQ7Ozs7Ozs7R0FPRztBQUNILHdCQUFzQixxQkFBcUIsQ0FDekMsUUFBUSxFQUFFLDJCQUEyQixFQUNyQyxNQUFNLEVBQUUsd0JBQXdCLEVBQ2hDLE9BQU8sR0FBRSxNQUE2QixFQUN0QyxRQUFRLEdBQUUsR0FBRyxFQUFPLEdBQ25CLE9BQU8sQ0FBQyxjQUFjLENBQUMsQ0FRekI7QUFFRDs7Ozs7Ozs7O0dBU0c7QUFDSCx3QkFBc0IsOEJBQThCLENBQ2xELFFBQVEsRUFBRSxNQUFNLEVBQ2hCLE1BQU0sRUFBRSx3QkFBd0IsRUFDaEMsT0FBTyxHQUFFLE1BQTZCLEVBQ3RDLFlBQVksR0FBRSxNQUFpQyxFQUMvQyxRQUFRLEdBQUUsWUFBMEMsRUFDcEQsUUFBUSxHQUFFLEdBQUcsRUFBTyxHQUNuQixPQUFPLENBQUMsY0FBYyxDQUFDLENBR3pCIn0=

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

@@ -0,0 +1 @@
+{"version":3,"file":"custom_bytecode_tester.d.ts","sourceRoot":"","sources":["../../../src/public/fixtures/custom_bytecode_tester.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AACxD,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,KAAK,EAAE,2BAA2B,EAAE,MAAM,wBAAwB,CAAC;AAE1E,OAAO,EAAE,wBAAwB,EAAE,MAAM,kCAAkC,CAAC;AAE5E;;;;;;;GAOG;AACH,wBAAsB,oBAAoB,CACxC,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,wBAAwB,EAChC,YAAY,GAAE,MAAiC,EAC/C,QAAQ,GAAE,YAA0C,GACnD,OAAO,CAAC,2BAA2B,CAAC,CAiBtC;AAED;;;;;;;GAOG;AACH,wBAAsB,qBAAqB,CACzC,QAAQ,EAAE,2BAA2B,EACrC,MAAM,EAAE,wBAAwB,EAChC,OAAO,GAAE,MAA6B,EACtC,QAAQ,GAAE,GAAG,EAAO,GACnB,OAAO,CAAC,cAAc,CAAC,CAQzB;AAED;;;;;;;;;GASG;AACH,wBAAsB,8BAA8B,CAClD,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,wBAAwB,EAChC,OAAO,GAAE,MAA6B,EACtC,YAAY,GAAE,MAAiC,EAC/C,QAAQ,GAAE,YAA0C,EACpD,QAAQ,GAAE,GAAG,EAAO,GACnB,OAAO,CAAC,cAAc,CAAC,CAGzB"}