@aztec/simulator 0.0.0-test.1 → 0.0.1-commit.24de95ac

package/dest/public/fixtures/bulk_test.js

@@ -0,0 +1,326 @@
+import { Fr } from '@aztec/foundation/fields';
+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)
+        },
+        {
+            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)
+        }
+    ], /*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,12 @@
+import type { PublicTxResult } from '../public_tx_simulator/public_tx_simulator.js';
+import { PublicTxSimulationTester } from './public_tx_simulation_tester.js';
+/**
+ *
+ * Test custom bytecode (simulation or proving) with the provided bytecode.
+ * @param bytecode - The bytecode buffer to use
+ * @param tester - The tester to use (simulation or proving)
+ * @param txLabel - The label of the transaction
+ * @param contractName - The name of the contract (default: 'CustomBytecodeContract')
+ */
+export declare function testCustomBytecode(bytecode: Buffer, tester: PublicTxSimulationTester, txLabel: string, contractName?: string): Promise<PublicTxResult>;
+//# sourceMappingURL=custom_bytecode_tester.d.ts.map

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":"AAGA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,+CAA+C,CAAC;AACpF,OAAO,EAAE,wBAAwB,EAAE,MAAM,kCAAkC,CAAC;AAE5E;;;;;;;GAOG;AACH,wBAAsB,kBAAkB,CACtC,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,wBAAwB,EAChC,OAAO,EAAE,MAAM,EACf,YAAY,GAAE,MAAiC,GAC9C,OAAO,CAAC,cAAc,CAAC,CA6BzB"}

package/dest/public/fixtures/custom_bytecode_tester.js

@@ -0,0 +1,29 @@
+import { FunctionType, emptyContractArtifact, emptyFunctionArtifact } from '@aztec/stdlib/abi';
+import { AztecAddress } from '@aztec/stdlib/aztec-address';
+/**
+ *
+ * Test custom bytecode (simulation or proving) with the provided bytecode.
+ * @param bytecode - The bytecode buffer to use
+ * @param tester - The tester to use (simulation or proving)
+ * @param txLabel - The label of the transaction
+ * @param contractName - The name of the contract (default: 'CustomBytecodeContract')
+ */ export async function testCustomBytecode(bytecode, tester, txLabel, contractName = 'CustomBytecodeContract') {
+    const deployer = AztecAddress.fromNumber(42);
+    const contractArtifact = emptyContractArtifact();
+    contractArtifact.name = contractName;
+    contractArtifact.functions = [
+        emptyFunctionArtifact()
+    ];
+    contractArtifact.functions[0].name = 'public_dispatch';
+    contractArtifact.functions[0].functionType = FunctionType.PUBLIC;
+    contractArtifact.functions[0].bytecode = bytecode;
+    const testContract = await tester.registerAndDeployContract(/*constructorArgs=*/ [], deployer, /*contractArtifact=*/ contractArtifact);
+    // EXECUTE! This means that if using AvmProvingTester subclass, it will PROVE the transaction!
+    return await tester.executeTxWithLabel(/*txLabel=*/ txLabel, /*sender=*/ deployer, /*setupCalls=*/ [], /*appCalls=*/ [
+        {
+            address: testContract.address,
+            fnName: 'public_dispatch',
+            args: []
+        }
+    ]);
+}

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

@@ -0,0 +1,9 @@
+import { PublicTxSimulationTester } from './public_tx_simulation_tester.js';
+export declare function addressingWithBaseTagIssueTest(isIndirect: boolean, tester: PublicTxSimulationTester): Promise<import("../index.js").PublicTxResult>;
+export declare function pcOutOfRangeTest(tester: PublicTxSimulationTester): Promise<import("../index.js").PublicTxResult>;
+export declare function invalidOpcodeTest(tester: PublicTxSimulationTester): Promise<import("../index.js").PublicTxResult>;
+export declare function invalidByteTest(tester: PublicTxSimulationTester): Promise<import("../index.js").PublicTxResult>;
+export declare function instructionTruncatedTest(tester: PublicTxSimulationTester): Promise<import("../index.js").PublicTxResult>;
+export declare function invalidTagValueTest(tester: PublicTxSimulationTester): Promise<import("../index.js").PublicTxResult>;
+export declare function invalidTagValueAndInstructionTruncatedTest(tester: PublicTxSimulationTester): Promise<import("../index.js").PublicTxResult>;
+//# sourceMappingURL=custom_bytecode_tests.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"custom_bytecode_tests.d.ts","sourceRoot":"","sources":["../../../src/public/fixtures/custom_bytecode_tests.ts"],"names":[],"mappings":"AAaA,OAAO,EAAE,wBAAwB,EAAE,MAAM,kCAAkC,CAAC;AAI5E,wBAAsB,8BAA8B,CAAC,UAAU,EAAE,OAAO,EAAE,MAAM,EAAE,wBAAwB,iDAczG;AAED,wBAAsB,gBAAgB,CAAC,MAAM,EAAE,wBAAwB,iDAQtE;AAED,wBAAsB,iBAAiB,CAAC,MAAM,EAAE,wBAAwB,iDAiBvE;AAGD,wBAAsB,eAAe,CAAC,MAAM,EAAE,wBAAwB,iDAOrE;AAGD,wBAAsB,wBAAwB,CAAC,MAAM,EAAE,wBAAwB,iDAU9E;AAGD,wBAAsB,mBAAmB,CAAC,MAAM,EAAE,wBAAwB,iDAYzE;AAGD,wBAAsB,0CAA0C,CAAC,MAAM,EAAE,wBAAwB,iDAchG"}

package/dest/public/fixtures/custom_bytecode_tests.js

@@ -0,0 +1,109 @@
+import { strict as assert } from 'assert';
+import { TypeTag } from '../avm/avm_memory_types.js';
+import { Addressing, AddressingMode } from '../avm/opcodes/addressing_mode.js';
+import { CalldataCopy, Jump, Return, Set } from '../avm/opcodes/index.js';
+import { encodeToBytecode } from '../avm/serialization/bytecode_serialization.js';
+import { MAX_OPCODE_VALUE, Opcode, OperandType, getOperandSize } from '../avm/serialization/instruction_serialization.js';
+import { testCustomBytecode } from './custom_bytecode_tester.js';
+// First instruction resolved a base address (offset 0) which is uninitialized and therefore
+// of invalid tag (FF). This will trigger an exceptional halt.
+export async function addressingWithBaseTagIssueTest(isIndirect, tester) {
+    const addressingMode = Addressing.fromModes([
+        isIndirect ? AddressingMode.INDIRECT_RELATIVE : AddressingMode.RELATIVE,
+        AddressingMode.DIRECT,
+        AddressingMode.DIRECT
+    ]);
+    const bytecode = encodeToBytecode([
+        new CalldataCopy(/*indirect=*/ addressingMode.toWire(), /*copySize=*/ 1, /*cdOffset=*/ 0, /*dstOffset=*/ 0),
+        new Return(/*indirect=*/ 0, /*copySizeOffset=*/ 0, /*returnOffset=*/ 0)
+    ]);
+    const txLabel = isIndirect ? 'AddressingWithBaseTagInvalidIndirect' : 'AddressingWithBaseTagInvalidDirect';
+    return await testCustomBytecode(bytecode, tester, txLabel);
+}
+export async function pcOutOfRangeTest(tester) {
+    const bytecode = encodeToBytecode([
+        new Jump(/*jumpOffset=*/ 123),
+        new Return(/*indirect=*/ 0, /*copySizeOffset=*/ 0, /*returnOffset=*/ 0)
+    ]);
+    const txLabel = 'PcOutOfRange';
+    return await testCustomBytecode(bytecode, tester, txLabel);
+}
+export async function invalidOpcodeTest(tester) {
+    let bytecode = encodeToBytecode([
+        new Set(/*indirect=*/ 0, /*dstOffset=*/ 0, TypeTag.UINT32, /*value=*/ 0).as(Opcode.SET_8, Set.wireFormat8)
+    ]);
+    const offsetReturnOpcodeByte = bytecode.length;
+    bytecode = Buffer.concat([
+        bytecode,
+        encodeToBytecode([
+            new Return(/*indirect=*/ 0, /*copySizeOffset=*/ 0, /*returnOffset=*/ 0)
+        ])
+    ]);
+    // Manipulate the Return opcode to make the opcode invalid (out of range).
+    bytecode[offsetReturnOpcodeByte] = MAX_OPCODE_VALUE + 1; // opcode is invalid.
+    const txLabel = 'InvalidOpcode';
+    return await testCustomBytecode(bytecode, tester, txLabel);
+}
+// Single invalid byte in the bytecode.
+export async function invalidByteTest(tester) {
+    const invalidOpcode = MAX_OPCODE_VALUE + 7;
+    assert(invalidOpcode < 256, 'Invalid opcode must fit in a single byte');
+    const bytecode = Buffer.from([
+        invalidOpcode
+    ]);
+    const txLabel = 'InvalidByte';
+    return await testCustomBytecode(bytecode, tester, txLabel);
+}
+// Truncate the last instruction in the bytecode.
+export async function instructionTruncatedTest(tester) {
+    let bytecode = encodeToBytecode([
+        new Set(/*indirect=*/ 0, /*dstOffset=*/ 0, TypeTag.UINT32, /*value=*/ 0).as(Opcode.SET_8, Set.wireFormat8)
+    ]);
+    // Truncate the bytecode.
+    bytecode = bytecode.subarray(0, -1);
+    const txLabel = 'InstructionTruncated';
+    return await testCustomBytecode(bytecode, tester, txLabel);
+}
+// Invalid tag value byte in an instruction.
+export async function invalidTagValueTest(tester) {
+    const bytecode = encodeToBytecode([
+        new Set(/*indirect=*/ 0, /*dstOffset=*/ 0, TypeTag.UINT32, /*value=*/ 0).as(Opcode.SET_8, Set.wireFormat8),
+        new Return(/*indirect=*/ 0, /*copySizeOffset=*/ 0, /*returnOffset=*/ 0)
+    ]);
+    const tagOffset = getTagOffsetInInstruction(Set.wireFormat8);
+    assert(bytecode[tagOffset].valueOf() == TypeTag.UINT32.valueOf(), 'Set instruction tag should be UINT32 in test');
+    bytecode[tagOffset] = TypeTag.INVALID;
+    const txLabel = 'InvalidTagValue';
+    return await testCustomBytecode(bytecode, tester, txLabel);
+}
+// Combine an invalid tag in the last instruction that is truncated.
+export async function invalidTagValueAndInstructionTruncatedTest(tester) {
+    let bytecode = encodeToBytecode([
+        // Important: value argument must be a bigint otherwise a type error will be thrown.
+        new Set(/*indirect=*/ 0, /*dstOffset=*/ 0, TypeTag.UINT128, /*value=*/ 0n).as(Opcode.SET_128, Set.wireFormat128)
+    ]);
+    // Truncate the bytecode.
+    bytecode = bytecode.subarray(0, -5);
+    const tagOffset = getTagOffsetInInstruction(Set.wireFormat128);
+    assert(bytecode[tagOffset].valueOf() == TypeTag.UINT128.valueOf(), 'Set instruction tag should be UINT128 in test');
+    bytecode[tagOffset] = 0x6f; // Invalid tag value.
+    const txLabel = 'InvalidTagValueAndInstructionTruncated';
+    return await testCustomBytecode(bytecode, tester, txLabel);
+}
+/**
+ * Returns the offset of the tag in an instruction.
+ * @details Loops over the wire format operand type entries until it finds the tag.
+ * Returns the byte offset of the tag based on each operand size that is passed.
+ *
+ * @param wireFormat array of operand types
+ * @returns byte offset of the tag
+ */ function getTagOffsetInInstruction(wireFormat) {
+    let offset = 0;
+    for (const operand of wireFormat){
+        if (operand === OperandType.TAG) {
+            break;
+        }
+        offset += getOperandSize(operand);
+    }
+    return offset;
+}

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

@@ -1,3 +1,10 @@
 export * from './public_tx_simulation_tester.js';
 export * from './utils.js';
+export * from './simple_contract_data_source.js';
+export { readAvmMinimalPublicTxInputsFromFile, executeAvmMinimalPublicTx } 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';
+export * from './custom_bytecode_tests.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"}
+{"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,yBAAyB,EAAE,MAAM,wBAAwB,CAAC;AACzG,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;AAC5C,cAAc,4BAA4B,CAAC"}

package/dest/public/fixtures/index.js

@@ -1,2 +1,9 @@
 export * from './public_tx_simulation_tester.js';
 export * from './utils.js';
+export * from './simple_contract_data_source.js';
+export { readAvmMinimalPublicTxInputsFromFile, executeAvmMinimalPublicTx } 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';
+export * from './custom_bytecode_tests.js';

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

@@ -0,0 +1,10 @@
+import { AvmCircuitInputs } from '@aztec/stdlib/avm';
+import type { PublicTxResult } from '../public_tx_simulator/public_tx_simulator.js';
+import { PublicTxSimulationTester } from './public_tx_simulation_tester.js';
+export declare function executeAvmMinimalPublicTx(tester: PublicTxSimulationTester): Promise<PublicTxResult>;
+/**
+ * Reads the AVM circuit inputs for the minimal public tx from a pre-generated JSON file.
+ * @returns The AvmCircuitInputs for the minimal public tx.
+ */
+export declare function readAvmMinimalPublicTxInputsFromFile(): AvmCircuitInputs;
+//# sourceMappingURL=minimal_public_tx.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"minimal_public_tx.d.ts","sourceRoot":"","sources":["../../../src/public/fixtures/minimal_public_tx.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAQrD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,+CAA+C,CAAC;AAEpF,OAAO,EAAE,wBAAwB,EAAE,MAAM,kCAAkC,CAAC;AAE5E,wBAAsB,yBAAyB,CAAC,MAAM,EAAE,wBAAwB,GAAG,OAAO,CAAC,cAAc,CAAC,CAezG;AAED;;;GAGG;AACH,wBAAgB,oCAAoC,IAAI,gBAAgB,CAEvE"}

package/dest/public/fixtures/minimal_public_tx.js

@@ -0,0 +1,29 @@
+import { AvmCircuitInputs } from '@aztec/stdlib/avm';
+import { ProtocolContracts } from '@aztec/stdlib/tx';
+import avmMinimalCircuitInputsJson from '../../../artifacts/avm_minimal_inputs.json' with {
+    type: 'json'
+};
+import { TypeTag } from '../avm/avm_memory_types.js';
+import { Add, Return, Set } from '../avm/opcodes/index.js';
+import { encodeToBytecode } from '../avm/serialization/bytecode_serialization.js';
+import { Opcode } from '../avm/serialization/instruction_serialization.js';
+import { testCustomBytecode } from './custom_bytecode_tester.js';
+export async function executeAvmMinimalPublicTx(tester) {
+    const minimalBytecode = encodeToBytecode([
+        new Set(/*indirect*/ 0, /*dstOffset*/ 0, TypeTag.UINT32, /*value*/ 1).as(Opcode.SET_8, Set.wireFormat8),
+        new Set(/*indirect*/ 0, /*dstOffset*/ 1, TypeTag.UINT32, /*value*/ 2).as(Opcode.SET_8, Set.wireFormat8),
+        new Add(/*indirect=*/ 0, /*aOffset=*/ 0, /*bOffset=*/ 1, /*dstOffset=*/ 2).as(Opcode.ADD_8, Add.wireFormat8),
+        new Return(/*indirect=*/ 0, /*copySizeOffset=*/ 0, /*returnOffset=*/ 2)
+    ]);
+    const result = await testCustomBytecode(minimalBytecode, tester, 'MinimalTx', 'AvmMinimalContract');
+    // Modify the protocol contracts to be all zeros
+    result.avmProvingRequest.inputs.hints.protocolContracts = ProtocolContracts.empty();
+    result.avmProvingRequest.inputs.publicInputs.protocolContracts = ProtocolContracts.empty();
+    return result;
+}
+/**
+ * Reads the AVM circuit inputs for the minimal public tx from a pre-generated JSON file.
+ * @returns The AvmCircuitInputs for the minimal public tx.
+ */ export function readAvmMinimalPublicTxInputsFromFile() {
+    return AvmCircuitInputs.schema.parse(avmMinimalCircuitInputsJson);
+}

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

@@ -1,15 +1,15 @@
-import { Fr } from '@aztec/foundation/fields';
 import { type ContractArtifact } from '@aztec/stdlib/abi';
 import type { AztecAddress } from '@aztec/stdlib/aztec-address';
 import type { MerkleTreeWriteOperations } from '@aztec/stdlib/interfaces/server';
-import { type Tx } from '@aztec/stdlib/tx';
-import { GlobalVariables } from '@aztec/stdlib/tx';
+import { GlobalVariables, type Tx } from '@aztec/stdlib/tx';
+import { NativeWorldStateService } from '@aztec/world-state';
 import { BaseAvmSimulationTester } from '../avm/fixtures/base_avm_simulation_tester.js';
-import { SimpleContractDataSource } from '../avm/fixtures/simple_contract_data_source.js';
-import { WorldStateDB } from '../public_db_sources.js';
-import { type PublicTxResult } from '../public_tx_simulator/public_tx_simulator.js';
-export declare const DEFAULT_BLOCK_NUMBER = 42;
+import type { PublicTxResult } from '../public_tx_simulator/public_tx_simulator.js';
+import { TestExecutorMetrics } from '../test_executor_metrics.js';
+import { SimpleContractDataSource } from './simple_contract_data_source.js';
+import { type TestPrivateInsertions } from './utils.js';
 export type TestEnqueuedCall = {
+    sender?: AztecAddress;
     address: AztecAddress;
     fnName: string;
     args: any[];
@@ -22,11 +22,33 @@ export type TestEnqueuedCall = {
  * transactions.
  */
 export declare class PublicTxSimulationTester extends BaseAvmSimulationTester {
-    private worldStateDB;
-    private txCount;
-    constructor(worldStateDB: WorldStateDB, contractDataSource: SimpleContractDataSource, merkleTrees: MerkleTreeWriteOperations);
-    static create(): Promise<PublicTxSimulationTester>;
-    createTx(sender: AztecAddress, setupCalls?: TestEnqueuedCall[], appCalls?: TestEnqueuedCall[], teardownCall?: TestEnqueuedCall, feePayer?: AztecAddress, firstNullifier?: Fr): Promise<Tx>;
-    simulateTx(sender: AztecAddress, setupCalls?: TestEnqueuedCall[], appCalls?: TestEnqueuedCall[], teardownCall?: TestEnqueuedCall, feePayer?: AztecAddress, firstNullifier?: Fr, globals?: GlobalVariables): Promise<PublicTxResult>;
+    #private;
+    private metrics;
+    protected txCount: number;
+    private simulator;
+    private metricsPrefix?;
+    constructor(merkleTree: MerkleTreeWriteOperations, contractDataSource: SimpleContractDataSource, globals?: GlobalVariables, metrics?: TestExecutorMetrics, useCppSimulator?: boolean);
+    static create(worldStateService: NativeWorldStateService, // make sure to close this later
+    globals?: GlobalVariables, metrics?: TestExecutorMetrics, useCppSimulator?: boolean): Promise<PublicTxSimulationTester>;
+    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;
 //# sourceMappingURL=public_tx_simulation_tester.d.ts.map

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":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,KAAK,gBAAgB,EAAqC,MAAM,mBAAmB,CAAC;AAC7F,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAEhE,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,iCAAiC,CAAC;AACjF,OAAO,EAA0B,KAAK,EAAE,EAAE,MAAM,kBAAkB,CAAC;AACnE,OAAO,EAAe,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAGhE,OAAO,EAAE,uBAAuB,EAAE,MAAM,+CAA+C,CAAC;AAExF,OAAO,EAAE,wBAAwB,EAAE,MAAM,gDAAgD,CAAC;AAC1F,OAAO,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AACvD,OAAO,EAAE,KAAK,cAAc,EAAqB,MAAM,+CAA+C,CAAC;AAKvG,eAAO,MAAM,oBAAoB,KAAK,CAAC;AAEvC,MAAM,MAAM,gBAAgB,GAAG;IAC7B,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;IAIjE,OAAO,CAAC,YAAY;IAHtB,OAAO,CAAC,OAAO,CAAK;gBAGV,YAAY,EAAE,YAAY,EAClC,kBAAkB,EAAE,wBAAwB,EAC5C,WAAW,EAAE,yBAAyB;WAKpB,MAAM,IAAI,OAAO,CAAC,wBAAwB,CAAC;IAOlD,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,cAAc,KAAkC,GAC/C,OAAO,CAAC,EAAE,CAAC;IAiED,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,cAAc,KAAkC,EAChD,OAAO,kBAAmB,GACzB,OAAO,CAAC,cAAc,CAAC;CAc3B"}
+{"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;AAC3F,OAAO,EAAE,uBAAuB,EAAE,MAAM,oBAAoB,CAAC;AAE7D,OAAO,EAAE,uBAAuB,EAAE,MAAM,+CAA+C,CAAC;AAUxF,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,+CAA+C,CAAC;AAEpF,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,CAAqC;IACtD,OAAO,CAAC,aAAa,CAAC,CAAS;gBAG7B,UAAU,EAAE,yBAAyB,EACrC,kBAAkB,EAAE,wBAAwB,EAC5C,OAAO,GAAE,eAAkC,EACnC,OAAO,GAAE,mBAA+C,EAChE,eAAe,GAAE,OAAe;WAed,MAAM,CACxB,iBAAiB,EAAE,uBAAuB,EAAE,gCAAgC;IAC5E,OAAO,GAAE,eAAkC,EAC3C,OAAO,GAAE,mBAA+C,EACxD,eAAe,UAAQ,GACtB,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"}