@aztec/simulator 0.76.4 → 0.77.0-testnet-ignition.21

package/dest/public/avm/avm_contract_call_result.js

@@ -0,0 +1,50 @@
+import { Gas } from '@aztec/stdlib/gas';
+import { inspect } from 'util';
+import { createSimulationError } from '../../common/errors.js';
+/**
+ * Results of an contract call's execution in the AVM.
+ */ export class AvmContractCallResult {
+    reverted;
+    output;
+    gasLeft;
+    revertReason;
+    constructor(reverted, output, gasLeft, revertReason){
+        this.reverted = reverted;
+        this.output = output;
+        this.gasLeft = gasLeft;
+        this.revertReason = revertReason;
+    }
+    toString() {
+        let resultsStr = `reverted: ${this.reverted}, output: ${this.output}, gasLeft: ${inspect(this.gasLeft)}`;
+        if (this.revertReason) {
+            resultsStr += `, revertReason: ${this.revertReason}`;
+        }
+        return resultsStr;
+    }
+    finalize() {
+        const revertReason = this.revertReason ? createSimulationError(this.revertReason, this.output) : undefined;
+        return new AvmFinalizedCallResult(this.reverted, this.output, Gas.from(this.gasLeft), revertReason);
+    }
+}
+/**
+ * Similar to AvmContractCallResult, but with a SimulationError and standard Gas
+ * which are useful for consumption external to core AVM simulation.
+ */ export class AvmFinalizedCallResult {
+    reverted;
+    output;
+    gasLeft;
+    revertReason;
+    constructor(reverted, output, gasLeft, revertReason){
+        this.reverted = reverted;
+        this.output = output;
+        this.gasLeft = gasLeft;
+        this.revertReason = revertReason;
+    }
+    toString() {
+        let resultsStr = `reverted: ${this.reverted}, output: ${this.output}, gasLeft: ${inspect(this.gasLeft)}`;
+        if (this.revertReason) {
+            resultsStr += `, revertReason: ${this.revertReason}`;
+        }
+        return resultsStr;
+    }
+}

package/dest/{avm → public/avm}/avm_execution_environment.d.ts

@@ -1,6 +1,6 @@
-import { type GlobalVariables } from '@aztec/circuits.js';
-import { type AztecAddress } from '@aztec/foundation/aztec-address';
 import { Fr } from '@aztec/foundation/fields';
+import type { AztecAddress } from '@aztec/stdlib/aztec-address';
+import type { GlobalVariables } from '@aztec/stdlib/tx';
 /**
  * Contains variables that remain constant during AVM execution
  * These variables are provided by the public kernel circuit

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

@@ -0,0 +1 @@
+{"version":3,"file":"avm_execution_environment.d.ts","sourceRoot":"","sources":["../../../src/public/avm/avm_execution_environment.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAExD;;;GAGG;AACH,qBAAa,uBAAuB;aAEhB,OAAO,EAAE,YAAY;aACrB,MAAM,EAAE,YAAY;aACpB,iBAAiB,EAAE,EAAE;aACrB,cAAc,EAAE,EAAE;aAClB,OAAO,EAAE,eAAe;aACxB,YAAY,EAAE,OAAO;aACrB,QAAQ,EAAE,EAAE,EAAE;gBANd,OAAO,EAAE,YAAY,EACrB,MAAM,EAAE,YAAY,EACpB,iBAAiB,EAAE,EAAE,EACrB,cAAc,EAAE,EAAE,EAClB,OAAO,EAAE,eAAe,EACxB,YAAY,EAAE,OAAO,EACrB,QAAQ,EAAE,EAAE,EAAE;IAGhC,OAAO,CAAC,sCAAsC;IAYvC,8BAA8B,CAAC,aAAa,EAAE,YAAY,EAAE,QAAQ,EAAE,EAAE,EAAE,GAAG,uBAAuB;IAIpG,oCAAoC,CAAC,aAAa,EAAE,YAAY,EAAE,QAAQ,EAAE,EAAE,EAAE,GAAG,uBAAuB;CAGlH"}

package/dest/public/avm/avm_execution_environment.js

@@ -0,0 +1,31 @@
+import { Fr } from '@aztec/foundation/fields';
+/**
+ * Contains variables that remain constant during AVM execution
+ * These variables are provided by the public kernel circuit
+ */ export class AvmExecutionEnvironment {
+    address;
+    sender;
+    contractCallDepth;
+    transactionFee;
+    globals;
+    isStaticCall;
+    calldata;
+    constructor(address, sender, contractCallDepth, transactionFee, globals, isStaticCall, calldata){
+        this.address = address;
+        this.sender = sender;
+        this.contractCallDepth = contractCallDepth;
+        this.transactionFee = transactionFee;
+        this.globals = globals;
+        this.isStaticCall = isStaticCall;
+        this.calldata = calldata;
+    }
+    deriveEnvironmentForNestedCallInternal(targetAddress, calldata, isStaticCall) {
+        return new AvmExecutionEnvironment(/*address=*/ targetAddress, /*sender=*/ this.address, this.contractCallDepth.add(Fr.ONE), this.transactionFee, this.globals, isStaticCall, calldata);
+    }
+    deriveEnvironmentForNestedCall(targetAddress, calldata) {
+        return this.deriveEnvironmentForNestedCallInternal(targetAddress, calldata, /*isStaticCall=*/ false);
+    }
+    deriveEnvironmentForNestedStaticCall(targetAddress, calldata) {
+        return this.deriveEnvironmentForNestedCallInternal(targetAddress, calldata, /*isStaticCall=*/ true);
+    }
+}

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

@@ -0,0 +1 @@
+{"version":3,"file":"avm_gas.d.ts","sourceRoot":"","sources":["../../../src/public/avm/avm_gas.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAGhD,OAAO,EAAE,MAAM,EAAE,MAAM,8CAA8C,CAAC;AAEtE,sCAAsC;AACtC,MAAM,MAAM,GAAG,GAAG;IAChB,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,EAAE,MAAM,CAAC;CACf,CAAC;AAEF,+CAA+C;AAC/C,wBAAgB,YAAY,CAAC,GAAG,EAAE,GAAG;;;EAEpC;AAED,+CAA+C;AAC/C,wBAAgB,YAAY,CAAC,OAAO,EAAE;IAAE,SAAS,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE;;;EAE7E;AAED,8EAA8E;AAC9E,wBAAgB,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC;;;EAE5C;AAED,+CAA+C;AAC/C,wBAAgB,MAAM,CAAC,GAAG,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,EAAE,OAQ9C;AAED,6CAA6C;AAC7C,wBAAgB,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,GAAG,CAAC,EAAE,MAAM,EAAE,MAAM;;;EAEvD;AAED,0CAA0C;AAC1C,eAAO,MAAM,QAAQ,EAAE,GAGtB,CAAC;AAMF,+CAA+C;AAC/C,eAAO,MAAM,cAAc,6BAA8B,CAAC;AAsF1D,0DAA0D;AAC1D,wBAAgB,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG,GAAG,CAElD;AAED,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,MAAM,GAAG,GAAG,CAErD;AAED,4EAA4E;AAC5E,wBAAgB,gBAAgB,CAAC,IAAI,EAAE;IAAE,KAAK,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;CAAE;;;EAQ5F;AAED,gDAAgD;AAChD,eAAO,MAAM,kBAAkB;;;;CAI9B,CAAC;AAEF,6FAA6F;AAC7F,wBAAgB,oBAAoB,CAAC,GAAG,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG;;;EAE/D"}

package/dest/public/avm/avm_gas.js

@@ -0,0 +1,202 @@
+import * as c from '@aztec/constants';
+import { TypeTag } from './avm_memory_types.js';
+import { InstructionExecutionError } from './errors.js';
+import { Addressing, AddressingMode } from './opcodes/addressing_mode.js';
+import { Opcode } from './serialization/instruction_serialization.js';
+/** Maps a Gas struct to gasLeft properties. */ export function gasToGasLeft(gas) {
+    return {
+        l2GasLeft: gas.l2Gas,
+        daGasLeft: gas.daGas
+    };
+}
+/** Maps gasLeft properties to a gas struct. */ export function gasLeftToGas(gasLeft) {
+    return {
+        l2Gas: gasLeft.l2GasLeft,
+        daGas: gasLeft.daGasLeft
+    };
+}
+/** Creates a new instance with all values set to zero except the ones set. */ export function makeGas(gasCost) {
+    return {
+        ...EmptyGas,
+        ...gasCost
+    };
+}
+/** Sums together multiple instances of Gas. */ export function sumGas(...gases) {
+    return gases.reduce((acc, gas)=>({
+            l2Gas: acc.l2Gas + (gas.l2Gas ?? 0),
+            daGas: acc.daGas + (gas.daGas ?? 0)
+        }), EmptyGas);
+}
+/** Multiplies a gas instance by a scalar. */ export function mulGas(gas, scalar) {
+    return {
+        l2Gas: (gas.l2Gas ?? 0) * scalar,
+        daGas: (gas.daGas ?? 0) * scalar
+    };
+}
+/** Zero gas across all gas dimensions. */ export const EmptyGas = {
+    l2Gas: 0,
+    daGas: 0
+};
+function makeCost(l2Gas, daGas) {
+    return {
+        l2Gas,
+        daGas
+    };
+}
+/** Dimensions of gas usage: L1, L2, and DA. */ export const GAS_DIMENSIONS = [
+    'l2Gas',
+    'daGas'
+];
+/** Base gas costs for each instruction. Additional gas cost may be added on top due to memory or storage accesses, etc. */ const BASE_GAS_COSTS = {
+    [Opcode.ADD_8]: makeCost(c.AVM_ADD_BASE_L2_GAS, 0),
+    [Opcode.ADD_16]: makeCost(c.AVM_ADD_BASE_L2_GAS, 0),
+    [Opcode.SUB_8]: makeCost(c.AVM_SUB_BASE_L2_GAS, 0),
+    [Opcode.SUB_16]: makeCost(c.AVM_SUB_BASE_L2_GAS, 0),
+    [Opcode.MUL_8]: makeCost(c.AVM_MUL_BASE_L2_GAS, 0),
+    [Opcode.MUL_16]: makeCost(c.AVM_MUL_BASE_L2_GAS, 0),
+    [Opcode.DIV_8]: makeCost(c.AVM_DIV_BASE_L2_GAS, 0),
+    [Opcode.DIV_16]: makeCost(c.AVM_DIV_BASE_L2_GAS, 0),
+    [Opcode.FDIV_8]: makeCost(c.AVM_FDIV_BASE_L2_GAS, 0),
+    [Opcode.FDIV_16]: makeCost(c.AVM_FDIV_BASE_L2_GAS, 0),
+    [Opcode.EQ_8]: makeCost(c.AVM_EQ_BASE_L2_GAS, 0),
+    [Opcode.EQ_16]: makeCost(c.AVM_EQ_BASE_L2_GAS, 0),
+    [Opcode.LT_8]: makeCost(c.AVM_LT_BASE_L2_GAS, 0),
+    [Opcode.LT_16]: makeCost(c.AVM_LT_BASE_L2_GAS, 0),
+    [Opcode.LTE_8]: makeCost(c.AVM_LTE_BASE_L2_GAS, 0),
+    [Opcode.LTE_16]: makeCost(c.AVM_LTE_BASE_L2_GAS, 0),
+    [Opcode.AND_8]: makeCost(c.AVM_AND_BASE_L2_GAS, 0),
+    [Opcode.AND_16]: makeCost(c.AVM_AND_BASE_L2_GAS, 0),
+    [Opcode.OR_8]: makeCost(c.AVM_OR_BASE_L2_GAS, 0),
+    [Opcode.OR_16]: makeCost(c.AVM_OR_BASE_L2_GAS, 0),
+    [Opcode.XOR_8]: makeCost(c.AVM_XOR_BASE_L2_GAS, 0),
+    [Opcode.XOR_16]: makeCost(c.AVM_XOR_BASE_L2_GAS, 0),
+    [Opcode.NOT_8]: makeCost(c.AVM_NOT_BASE_L2_GAS, 0),
+    [Opcode.NOT_16]: makeCost(c.AVM_NOT_BASE_L2_GAS, 0),
+    [Opcode.SHL_8]: makeCost(c.AVM_SHL_BASE_L2_GAS, 0),
+    [Opcode.SHL_16]: makeCost(c.AVM_SHL_BASE_L2_GAS, 0),
+    [Opcode.SHR_8]: makeCost(c.AVM_SHR_BASE_L2_GAS, 0),
+    [Opcode.SHR_16]: makeCost(c.AVM_SHR_BASE_L2_GAS, 0),
+    [Opcode.CAST_8]: makeCost(c.AVM_CAST_BASE_L2_GAS, 0),
+    [Opcode.CAST_16]: makeCost(c.AVM_CAST_BASE_L2_GAS, 0),
+    [Opcode.GETENVVAR_16]: makeCost(c.AVM_GETENVVAR_BASE_L2_GAS, 0),
+    [Opcode.CALLDATACOPY]: makeCost(c.AVM_CALLDATACOPY_BASE_L2_GAS, 0),
+    [Opcode.RETURNDATASIZE]: makeCost(c.AVM_RETURNDATASIZE_BASE_L2_GAS, 0),
+    [Opcode.RETURNDATACOPY]: makeCost(c.AVM_RETURNDATACOPY_BASE_L2_GAS, 0),
+    [Opcode.JUMP_32]: makeCost(c.AVM_JUMP_BASE_L2_GAS, 0),
+    [Opcode.JUMPI_32]: makeCost(c.AVM_JUMPI_BASE_L2_GAS, 0),
+    [Opcode.INTERNALCALL]: makeCost(c.AVM_INTERNALCALL_BASE_L2_GAS, 0),
+    [Opcode.INTERNALRETURN]: makeCost(c.AVM_INTERNALRETURN_BASE_L2_GAS, 0),
+    [Opcode.SET_8]: makeCost(c.AVM_SET_BASE_L2_GAS, 0),
+    [Opcode.SET_16]: makeCost(c.AVM_SET_BASE_L2_GAS, 0),
+    [Opcode.SET_32]: makeCost(c.AVM_SET_BASE_L2_GAS, 0),
+    [Opcode.SET_64]: makeCost(c.AVM_SET_BASE_L2_GAS, 0),
+    [Opcode.SET_128]: makeCost(c.AVM_SET_BASE_L2_GAS, 0),
+    [Opcode.SET_FF]: makeCost(c.AVM_SET_BASE_L2_GAS, 0),
+    [Opcode.MOV_8]: makeCost(c.AVM_MOV_BASE_L2_GAS, 0),
+    [Opcode.MOV_16]: makeCost(c.AVM_MOV_BASE_L2_GAS, 0),
+    [Opcode.SLOAD]: makeCost(c.AVM_SLOAD_BASE_L2_GAS, 0),
+    [Opcode.SSTORE]: makeCost(c.AVM_SSTORE_BASE_L2_GAS, c.AVM_SSTORE_BASE_DA_GAS),
+    [Opcode.NOTEHASHEXISTS]: makeCost(c.AVM_NOTEHASHEXISTS_BASE_L2_GAS, 0),
+    [Opcode.EMITNOTEHASH]: makeCost(c.AVM_EMITNOTEHASH_BASE_L2_GAS, c.AVM_EMITNOTEHASH_BASE_DA_GAS),
+    [Opcode.NULLIFIEREXISTS]: makeCost(c.AVM_NULLIFIEREXISTS_BASE_L2_GAS, 0),
+    [Opcode.EMITNULLIFIER]: makeCost(c.AVM_EMITNULLIFIER_BASE_L2_GAS, c.AVM_EMITNULLIFIER_BASE_DA_GAS),
+    [Opcode.L1TOL2MSGEXISTS]: makeCost(c.AVM_L1TOL2MSGEXISTS_BASE_L2_GAS, 0),
+    [Opcode.EMITUNENCRYPTEDLOG]: makeCost(c.AVM_EMITUNENCRYPTEDLOG_BASE_L2_GAS, 0),
+    [Opcode.SENDL2TOL1MSG]: makeCost(c.AVM_SENDL2TOL1MSG_BASE_L2_GAS, c.AVM_SENDL2TOL1MSG_BASE_DA_GAS),
+    [Opcode.GETCONTRACTINSTANCE]: makeCost(c.AVM_GETCONTRACTINSTANCE_BASE_L2_GAS, 0),
+    [Opcode.CALL]: makeCost(c.AVM_CALL_BASE_L2_GAS, 0),
+    [Opcode.STATICCALL]: makeCost(c.AVM_STATICCALL_BASE_L2_GAS, 0),
+    [Opcode.RETURN]: makeCost(c.AVM_RETURN_BASE_L2_GAS, 0),
+    [Opcode.REVERT_8]: makeCost(c.AVM_REVERT_BASE_L2_GAS, 0),
+    [Opcode.REVERT_16]: makeCost(c.AVM_REVERT_BASE_L2_GAS, 0),
+    [Opcode.DEBUGLOG]: makeCost(c.AVM_DEBUGLOG_BASE_L2_GAS, 0),
+    [Opcode.POSEIDON2]: makeCost(c.AVM_POSEIDON2_BASE_L2_GAS, 0),
+    [Opcode.SHA256COMPRESSION]: makeCost(c.AVM_SHA256COMPRESSION_BASE_L2_GAS, 0),
+    [Opcode.KECCAKF1600]: makeCost(c.AVM_KECCAKF1600_BASE_L2_GAS, 0),
+    [Opcode.ECADD]: makeCost(c.AVM_ECADD_BASE_L2_GAS, 0),
+    [Opcode.TORADIXBE]: makeCost(c.AVM_TORADIXBE_BASE_L2_GAS, 0)
+};
+const DYNAMIC_GAS_COSTS = new Map([
+    [
+        Opcode.CALLDATACOPY,
+        makeCost(c.AVM_CALLDATACOPY_DYN_L2_GAS, 0)
+    ],
+    [
+        Opcode.RETURNDATACOPY,
+        makeCost(c.AVM_RETURNDATACOPY_DYN_L2_GAS, 0)
+    ],
+    [
+        Opcode.EMITUNENCRYPTEDLOG,
+        makeCost(c.AVM_EMITUNENCRYPTEDLOG_DYN_L2_GAS, c.AVM_EMITUNENCRYPTEDLOG_DYN_DA_GAS)
+    ],
+    [
+        Opcode.CALL,
+        makeCost(c.AVM_CALL_DYN_L2_GAS, 0)
+    ],
+    [
+        Opcode.STATICCALL,
+        makeCost(c.AVM_STATICCALL_DYN_L2_GAS, 0)
+    ],
+    [
+        Opcode.RETURN,
+        makeCost(c.AVM_RETURN_DYN_L2_GAS, 0)
+    ],
+    [
+        Opcode.REVERT_8,
+        makeCost(c.AVM_REVERT_DYN_L2_GAS, 0)
+    ],
+    [
+        Opcode.REVERT_16,
+        makeCost(c.AVM_REVERT_DYN_L2_GAS, 0)
+    ],
+    [
+        Opcode.DEBUGLOG,
+        makeCost(c.AVM_DEBUGLOG_DYN_L2_GAS, 0)
+    ],
+    [
+        Opcode.TORADIXBE,
+        makeCost(c.AVM_TORADIXBE_DYN_L2_GAS, 0)
+    ]
+]);
+/** Returns the fixed base gas cost for a given opcode. */ export function getBaseGasCost(opcode) {
+    return BASE_GAS_COSTS[opcode];
+}
+export function getDynamicGasCost(opcode) {
+    return DYNAMIC_GAS_COSTS.has(opcode) ? DYNAMIC_GAS_COSTS.get(opcode) : makeCost(0, 0);
+}
+/** Returns the gas cost associated with the memory operations performed. */ export function getMemoryGasCost(args) {
+    const { reads, writes, indirect } = args;
+    const indirectCount = Addressing.fromWire(indirect ?? 0).count(AddressingMode.INDIRECT);
+    const l2MemoryGasCost = (reads ?? 0) * GAS_COST_CONSTANTS.MEMORY_READ + (writes ?? 0) * GAS_COST_CONSTANTS.MEMORY_WRITE + indirectCount * GAS_COST_CONSTANTS.MEMORY_INDIRECT_READ_PENALTY;
+    return makeGas({
+        l2Gas: l2MemoryGasCost
+    });
+}
+/** Constants used in base cost calculations. */ export const GAS_COST_CONSTANTS = {
+    MEMORY_READ: 10,
+    MEMORY_INDIRECT_READ_PENALTY: 10,
+    MEMORY_WRITE: 100
+};
+/** Returns gas cost for an operation on a given type tag based on the base cost per byte. */ export function getGasCostForTypeTag(tag, baseCost) {
+    return mulGas(baseCost, getGasCostMultiplierFromTypeTag(tag));
+}
+/** Returns a multiplier based on the size of the type represented by the tag. Throws on uninitialized or invalid. */ function getGasCostMultiplierFromTypeTag(tag) {
+    switch(tag){
+        case TypeTag.UINT1:
+            return 1;
+        case TypeTag.UINT8:
+            return 1;
+        case TypeTag.UINT16:
+            return 2;
+        case TypeTag.UINT32:
+            return 4;
+        case TypeTag.UINT64:
+            return 8;
+        case TypeTag.UINT128:
+            return 16;
+        case TypeTag.FIELD:
+            return 32;
+        case TypeTag.INVALID:
+            throw new InstructionExecutionError(`Invalid tag type for gas cost multiplier: ${TypeTag[tag]}`);
+    }
+}

package/dest/{avm → public/avm}/avm_machine_state.d.ts

@@ -1,5 +1,5 @@
-import { type Fr } from '@aztec/circuits.js';
-import { type Gas } from './avm_gas.js';
+import type { Fr } from '@aztec/foundation/fields';
+import type { Gas } from './avm_gas.js';
 import { TaggedMemory } from './avm_memory_types.js';
 import { type AvmRevertReason } from './errors.js';
 /**

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

@@ -0,0 +1 @@
+{"version":3,"file":"avm_machine_state.d.ts","sourceRoot":"","sources":["../../../src/public/avm/avm_machine_state.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAEnD,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,cAAc,CAAC;AACxC,OAAO,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AACrD,OAAO,EAAE,KAAK,eAAe,EAAiB,MAAM,aAAa,CAAC;AAElE;;GAEG;AACH,MAAM,MAAM,sBAAsB,GAAG;IACnC,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;CACnB,CAAC;AAEF;;;;GAIG;AACH,KAAK,iBAAiB,GAAG;IACvB,wBAAwB,EAAE,EAAE,EAAE,CAAC;IAC/B,qBAAqB,EAAE,eAAe,CAAC;CACxC,CAAC;AAEF,KAAK,cAAc,GAAG;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;CAClB,CAAC;AAEF;;GAEG;AACH,qBAAa,eAAe;IAC1B,6DAA6D;IACtD,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;IACzB,kCAAkC;IAC3B,EAAE,EAAE,MAAM,CAAK;IACtB,0DAA0D;IACnD,MAAM,EAAE,MAAM,CAAK;IAC1B,iDAAiD;IAC1C,gBAAgB,EAAE,EAAE,EAAE,CAAM;IACnC;;;;OAIG;IACI,mBAAmB,EAAE,iBAAiB,GAAG,SAAS,CAAC;IAE1D;;;OAGG;IACI,iBAAiB,EAAE,cAAc,EAAE,CAAM;IAEhD,qCAAqC;IACrC,SAAgB,MAAM,EAAE,YAAY,CAAsB;IAE1D;;;OAGG;IACH,OAAO,CAAC,MAAM,CAAkB;IAChC,2FAA2F;IAC3F,OAAO,CAAC,QAAQ,CAAkB;IAClC,sDAAsD;IACtD,OAAO,CAAC,MAAM,CAAY;gBAEd,OAAO,EAAE,GAAG;gBACZ,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM;IAUhD,IAAW,OAAO,IAAI,GAAG,CAExB;WAEa,SAAS,CAAC,KAAK,EAAE,sBAAsB,GAAG,eAAe;IAIvE;;;;OAIG;IACI,UAAU,CAAC,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC;IAqBvC,uDAAuD;IAChD,SAAS,CAAC,SAAS,EAAE,OAAO,CAAC,GAAG,CAAC;IAKxC;;;;OAIG;IACI,MAAM,CAAC,MAAM,EAAE,EAAE,EAAE;IAK1B;;;;OAIG;IACI,MAAM,CAAC,MAAM,EAAE,EAAE,EAAE;IAMnB,SAAS,IAAI,OAAO;IAIpB,WAAW,IAAI,OAAO;IAItB,SAAS,IAAI,EAAE,EAAE;IAIxB;;OAEG;IACH,OAAO,CAAC,eAAe;CAMxB"}

package/dest/public/avm/avm_machine_state.js

@@ -0,0 +1,106 @@
+import { TaggedMemory } from './avm_memory_types.js';
+import { OutOfGasError } from './errors.js';
+/**
+ * Avm state modified on an instruction-per-instruction basis.
+ */ export class AvmMachineState {
+    /** gas remaining of the gas allocated for a contract call */ l2GasLeft;
+    daGasLeft;
+    /** program counter, byte based */ pc = 0;
+    /** program counter of the next instruction, byte based */ nextPc = 0;
+    /** return/revertdata of the last nested call. */ nestedReturndata = [];
+    /**
+   * Used to track the call stack and revert data of nested calls.
+   * This is used to provide a more detailed revert reason when a contract call reverts.
+   * It is only a heuristic and may not always provide the correct revert reason.
+   */ collectedRevertInfo;
+    /**
+   * On INTERNALCALL, internal call stack is pushed to with the current pc and the return pc.
+   * On INTERNALRETURN, value is popped from the internal call stack and assigned to the return pc.
+   */ internalCallStack = [];
+    /** Memory accessible to user code */ memory = new TaggedMemory();
+    /**
+   * Signals that execution should end.
+   * AvmContext execution continues executing instructions until the machine state signals "halted"
+   */ halted = false;
+    /** Signals that execution has reverted normally (this does not cover exceptional halts) */ reverted = false;
+    /** Output data must NOT be modified once it is set */ output = [];
+    constructor(gasLeftOrL2GasLeft, daGasLeft){
+        if (typeof gasLeftOrL2GasLeft === 'object') {
+            ({ l2Gas: this.l2GasLeft, daGas: this.daGasLeft } = gasLeftOrL2GasLeft);
+        } else {
+            this.l2GasLeft = gasLeftOrL2GasLeft;
+            this.daGasLeft = daGasLeft;
+        }
+    }
+    get gasLeft() {
+        return {
+            l2Gas: this.l2GasLeft,
+            daGas: this.daGasLeft
+        };
+    }
+    static fromState(state) {
+        return new AvmMachineState(state.l2GasLeft, state.daGasLeft);
+    }
+    /**
+   * Consumes the given gas.
+   * Should any of the gas dimensions get depleted, it sets all gas left to zero and triggers
+   * an exceptional halt by throwing an OutOfGasError.
+   */ consumeGas(gasCost) {
+        // Assert there is enough gas on every dimension.
+        const outOfL2Gas = this.l2GasLeft - (gasCost.l2Gas ?? 0) < 0;
+        const outOfDaGas = this.daGasLeft - (gasCost.daGas ?? 0) < 0;
+        // If not, trigger an exceptional halt.
+        if (outOfL2Gas || outOfDaGas) {
+            this.exceptionalHalt();
+            const dimensions = [];
+            if (outOfL2Gas) {
+                dimensions.push('l2Gas');
+            }
+            if (outOfDaGas) {
+                dimensions.push('daGas');
+            }
+            throw new OutOfGasError(dimensions);
+        }
+        // Otherwise, charge the corresponding gas
+        this.l2GasLeft -= gasCost.l2Gas ?? 0;
+        this.daGasLeft -= gasCost.daGas ?? 0;
+    }
+    /** Increases the gas left by the amounts specified. */ refundGas(gasRefund) {
+        this.l2GasLeft += gasRefund.l2Gas ?? 0;
+        this.daGasLeft += gasRefund.daGas ?? 0;
+    }
+    /**
+   * Halt as successful
+   * Output data must NOT be modified once it is set
+   * @param output
+   */ return(output) {
+        this.halted = true;
+        this.output = output;
+    }
+    /**
+   * Halt as reverted
+   * Output data must NOT be modified once it is set
+   * @param output
+   */ revert(output) {
+        this.halted = true;
+        this.reverted = true;
+        this.output = output;
+    }
+    getHalted() {
+        return this.halted;
+    }
+    getReverted() {
+        return this.reverted;
+    }
+    getOutput() {
+        return this.output;
+    }
+    /**
+   * Flag an exceptional halt. Clears gas left and sets the reverted flag. No output data.
+   */ exceptionalHalt() {
+        this.l2GasLeft = 0;
+        this.daGasLeft = 0;
+        this.reverted = true;
+        this.halted = true;
+    }
+}

package/dest/{avm → public/avm}/avm_memory_types.d.ts

@@ -1,9 +1,9 @@
 /// <reference types="node" resolution-mode="require"/>
 /// <reference types="node" resolution-mode="require"/>
-import { AztecAddress } from '@aztec/foundation/aztec-address';
 import { Fr } from '@aztec/foundation/fields';
 import { type Logger } from '@aztec/foundation/log';
-import { type FunctionsOf } from '@aztec/foundation/types';
+import type { FunctionsOf } from '@aztec/foundation/types';
+import { AztecAddress } from '@aztec/stdlib/aztec-address';
 /** MemoryValue gathers the common operations for all memory types. */
 export declare abstract class MemoryValue {
     abstract add(rhs: MemoryValue): MemoryValue;

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

@@ -0,0 +1 @@
+{"version":3,"file":"avm_memory_types.d.ts","sourceRoot":"","sources":["../../../src/public/avm/avm_memory_types.ts"],"names":[],"mappings":";;AAUA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,KAAK,MAAM,EAAgB,MAAM,uBAAuB,CAAC;AAClE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AAC3D,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAM3D,sEAAsE;AACtE,8BAAsB,WAAW;aACf,GAAG,CAAC,GAAG,EAAE,WAAW,GAAG,WAAW;aAClC,GAAG,CAAC,GAAG,EAAE,WAAW,GAAG,WAAW;aAClC,GAAG,CAAC,GAAG,EAAE,WAAW,GAAG,WAAW;aAClC,GAAG,CAAC,GAAG,EAAE,WAAW,GAAG,WAAW;aAElC,MAAM,CAAC,GAAG,EAAE,WAAW,GAAG,OAAO;aACjC,EAAE,CAAC,GAAG,EAAE,WAAW,GAAG,OAAO;aAG7B,KAAK,CAAC,CAAC,EAAE,MAAM,GAAG,WAAW;aAG7B,QAAQ,IAAI,MAAM;aAGlB,QAAQ,IAAI,MAAM;IAG3B,IAAI,IAAI,EAAE;IAIV,cAAc,IAAI,YAAY;IAK9B,QAAQ,IAAI,MAAM;IAIlB,QAAQ,IAAI,MAAM;CAG1B;AAED,iFAAiF;AACjF,8BAAsB,aAAc,SAAQ,WAAW;aACrC,GAAG,CAAC,GAAG,EAAE,aAAa,GAAG,aAAa;aACtC,GAAG,CAAC,GAAG,EAAE,aAAa,GAAG,aAAa;aACtC,GAAG,CAAC,GAAG,EAAE,aAAa,GAAG,aAAa;aACtC,EAAE,CAAC,GAAG,EAAE,aAAa,GAAG,aAAa;aACrC,GAAG,CAAC,GAAG,EAAE,aAAa,GAAG,aAAa;aACtC,GAAG,IAAI,aAAa;CACrC;;;;;;;;;;;;;;;;;;;;;;;;;;;AAyFD,qBAAa,KAAM,SAAQ,UAA8B;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;AAC5D,qBAAa,KAAM,SAAQ,UAA8B;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;AAC5D,qBAAa,MAAO,SAAQ,WAA+B;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;AAC9D,qBAAa,MAAO,SAAQ,WAA+B;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;AAC9D,qBAAa,MAAO,SAAQ,WAA+B;CAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;AAC9D,qBAAa,OAAQ,SAAQ,YAAgC;CAAG;AAEhE,qBAAa,KAAM,SAAQ,WAAW;IACpC,gBAAuB,OAAO,EAAE,MAAM,CAAc;IACpD,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAK;gBAEb,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,EAAE,GAAG,MAAM;IAKrC,KAAK,CAAC,CAAC,EAAE,MAAM,GAAG,KAAK;IAIvB,GAAG,CAAC,GAAG,EAAE,KAAK,GAAG,KAAK;IAItB,GAAG,CAAC,GAAG,EAAE,KAAK,GAAG,KAAK;IAItB,GAAG,CAAC,GAAG,EAAE,KAAK,GAAG,KAAK;IAKtB,GAAG,CAAC,GAAG,EAAE,KAAK,GAAG,KAAK;IAKtB,IAAI,CAAC,GAAG,EAAE,KAAK,GAAG,KAAK;IAIvB,MAAM,CAAC,GAAG,EAAE,KAAK,GAAG,OAAO;IAI3B,EAAE,CAAC,GAAG,EAAE,KAAK,GAAG,OAAO;IAIvB,QAAQ,IAAI,MAAM;IAIlB,QAAQ,IAAI,MAAM;CAG1B;AAED,oBAAY,OAAO;IACjB,KAAK,IAAa;IAClB,KAAK,IAAa;IAClB,KAAK,IAAa;IAClB,MAAM,IAAc;IACpB,MAAM,IAAc;IACpB,MAAM,IAAc;IACpB,OAAO,IAAe;IACtB,OAAO,IAAmB;CAC3B;AAGD,MAAM,MAAM,qBAAqB,GAAG,WAAW,CAAC,YAAY,CAAC,CAAC;AAE9D,qBAAa,YAAa,YAAW,qBAAqB;IACxD,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAwC;IAGnE,MAAM,CAAC,QAAQ,CAAC,qBAAqB,UAAmC;IAKxE,MAAM,CAAC,QAAQ,CAAC,eAAe,SAAqB;IACpD,OAAO,CAAC,IAAI,CAA2B;;IAMhC,gBAAgB,IAAI,MAAM;IAI1B,GAAG,CAAC,MAAM,EAAE,MAAM,GAAG,WAAW;IAIhC,KAAK,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,GAAG,CAAC;IAW3B,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,WAAW,EAAE;IAiBrD,UAAU,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,CAAC,EAAE;IAIhD,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,EAAE;IAIrD,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,WAAW;IAMlC,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE;IAa7C,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO;IAKtC;;OAEG;IACI,QAAQ,CAAC,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM;IAOrC,2BAA2B,CAAC,MAAM,EAAE,MAAM;WAInC,kBAAkB,CAAC,GAAG,EAAE,OAAO;WAM/B,eAAe,CAAC,SAAS,EAAE,MAAM;IAM/C;;OAEG;IACI,SAAS,CAAC,GAAG,EAAE,OAAO,EAAE,GAAG,OAAO,EAAE,MAAM,EAAE;IAMnD;;OAEG;IACI,gBAAgB,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM;IAKxD;;OAEG;IACI,cAAc,CAAC,GAAG,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM;WAMvD,MAAM,CAAC,CAAC,EAAE,WAAW,GAAG,SAAS,GAAG,OAAO;WAS3C,sBAAsB,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,EAAE,GAAG,EAAE,OAAO,GAAG,WAAW;CAqBpF"}