@aztec/simulator 0.22.0

package/dest/avm/avm_execution_environment.d.ts

@@ -0,0 +1,28 @@
+import { GlobalVariables } from '@aztec/circuits.js';
+import { AztecAddress } from '@aztec/foundation/aztec-address';
+import { EthAddress } from '@aztec/foundation/eth-address';
+import { Fr } from '@aztec/foundation/fields';
+/**
+ * Contains variables that remain constant during AVM execution
+ * These variables are provided by the public kernel circuit
+ */
+export declare class AvmExecutionEnvironment {
+    readonly address: AztecAddress;
+    readonly storageAddress: AztecAddress;
+    readonly origin: AztecAddress;
+    readonly sender: AztecAddress;
+    readonly portal: EthAddress;
+    readonly feePerL1Gas: Fr;
+    readonly feePerL2Gas: Fr;
+    readonly feePerDaGas: Fr;
+    readonly contractCallDepth: Fr;
+    readonly globals: GlobalVariables;
+    readonly isStaticCall: boolean;
+    readonly isDelegateCall: boolean;
+    readonly calldata: Fr[];
+    constructor(address: AztecAddress, storageAddress: AztecAddress, origin: AztecAddress, sender: AztecAddress, portal: EthAddress, feePerL1Gas: Fr, feePerL2Gas: Fr, feePerDaGas: Fr, contractCallDepth: Fr, globals: GlobalVariables, isStaticCall: boolean, isDelegateCall: boolean, calldata: Fr[]);
+    deriveEnvironmentForNestedCall(address: AztecAddress, calldata: Fr[]): AvmExecutionEnvironment;
+    deriveEnvironmentForNestedStaticCall(address: AztecAddress, calldata: Fr[]): AvmExecutionEnvironment;
+    newDelegateCall(address: AztecAddress, calldata: Fr[]): AvmExecutionEnvironment;
+}
+//# sourceMappingURL=avm_execution_environment.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"avm_execution_environment.d.ts","sourceRoot":"","sources":["../../src/avm/avm_execution_environment.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAC/D,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAC3D,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C;;;GAGG;AAEH,qBAAa,uBAAuB;aAEhB,OAAO,EAAE,YAAY;aAErB,cAAc,EAAE,YAAY;aAE5B,MAAM,EAAE,YAAY;aAEpB,MAAM,EAAE,YAAY;aAEpB,MAAM,EAAE,UAAU;aAElB,WAAW,EAAE,EAAE;aAEf,WAAW,EAAE,EAAE;aAEf,WAAW,EAAE,EAAE;aAEf,iBAAiB,EAAE,EAAE;aAErB,OAAO,EAAE,eAAe;aAExB,YAAY,EAAE,OAAO;aAErB,cAAc,EAAE,OAAO;aAEvB,QAAQ,EAAE,EAAE,EAAE;gBAxBd,OAAO,EAAE,YAAY,EAErB,cAAc,EAAE,YAAY,EAE5B,MAAM,EAAE,YAAY,EAEpB,MAAM,EAAE,YAAY,EAEpB,MAAM,EAAE,UAAU,EAElB,WAAW,EAAE,EAAE,EAEf,WAAW,EAAE,EAAE,EAEf,WAAW,EAAE,EAAE,EAEf,iBAAiB,EAAE,EAAE,EAErB,OAAO,EAAE,eAAe,EAExB,YAAY,EAAE,OAAO,EAErB,cAAc,EAAE,OAAO,EAEvB,QAAQ,EAAE,EAAE,EAAE;IAGzB,8BAA8B,CAAC,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,EAAE,EAAE,GAAG,uBAAuB;IAkB9F,oCAAoC,CAAC,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,EAAE,EAAE,GAAG,uBAAuB;IAkBpG,eAAe,CAAC,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,EAAE,EAAE,GAAG,uBAAuB;CAiBvF"}

package/dest/avm/avm_execution_environment.js

@@ -0,0 +1,42 @@
+/**
+ * Contains variables that remain constant during AVM execution
+ * These variables are provided by the public kernel circuit
+ */
+// TODO(https://github.com/AztecProtocol/aztec-packages/issues/3992): gas not implemented
+export class AvmExecutionEnvironment {
+    constructor(address, storageAddress, origin, sender, portal, feePerL1Gas, feePerL2Gas, feePerDaGas, contractCallDepth, globals, isStaticCall, isDelegateCall, calldata) {
+        this.address = address;
+        this.storageAddress = storageAddress;
+        this.origin = origin;
+        this.sender = sender;
+        this.portal = portal;
+        this.feePerL1Gas = feePerL1Gas;
+        this.feePerL2Gas = feePerL2Gas;
+        this.feePerDaGas = feePerDaGas;
+        this.contractCallDepth = contractCallDepth;
+        this.globals = globals;
+        this.isStaticCall = isStaticCall;
+        this.isDelegateCall = isDelegateCall;
+        this.calldata = calldata;
+    }
+    deriveEnvironmentForNestedCall(address, calldata) {
+        return new AvmExecutionEnvironment(
+        /*address=*/ address, 
+        /*storageAddress=*/ address, this.origin, this.sender, this.portal, this.feePerL1Gas, this.feePerL2Gas, this.feePerDaGas, this.contractCallDepth, this.globals, this.isStaticCall, this.isDelegateCall, 
+        /*calldata=*/ calldata);
+    }
+    deriveEnvironmentForNestedStaticCall(address, calldata) {
+        return new AvmExecutionEnvironment(
+        /*address=*/ address, 
+        /*storageAddress=*/ address, this.origin, this.sender, this.portal, this.feePerL1Gas, this.feePerL2Gas, this.feePerDaGas, this.contractCallDepth, this.globals, 
+        /*isStaticCall=*/ true, this.isDelegateCall, 
+        /*calldata=*/ calldata);
+    }
+    newDelegateCall(address, calldata) {
+        return new AvmExecutionEnvironment(
+        /*address=*/ address, this.storageAddress, this.origin, this.sender, this.portal, this.feePerL1Gas, this.feePerL2Gas, this.feePerDaGas, this.contractCallDepth, this.globals, this.isStaticCall, 
+        /*isDelegateCall=*/ true, 
+        /*calldata=*/ calldata);
+    }
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYXZtX2V4ZWN1dGlvbl9lbnZpcm9ubWVudC5qcyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9hdm0vYXZtX2V4ZWN1dGlvbl9lbnZpcm9ubWVudC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFLQTs7O0dBR0c7QUFDSCx5RkFBeUY7QUFDekYsTUFBTSxPQUFPLHVCQUF1QjtJQUNsQyxZQUNrQixPQUFxQixFQUVyQixjQUE0QixFQUU1QixNQUFvQixFQUVwQixNQUFvQixFQUVwQixNQUFrQixFQUVsQixXQUFlLEVBRWYsV0FBZSxFQUVmLFdBQWUsRUFFZixpQkFBcUIsRUFFckIsT0FBd0IsRUFFeEIsWUFBcUIsRUFFckIsY0FBdUIsRUFFdkIsUUFBYztRQXhCZCxZQUFPLEdBQVAsT0FBTyxDQUFjO1FBRXJCLG1CQUFjLEdBQWQsY0FBYyxDQUFjO1FBRTVCLFdBQU0sR0FBTixNQUFNLENBQWM7UUFFcEIsV0FBTSxHQUFOLE1BQU0sQ0FBYztRQUVwQixXQUFNLEdBQU4sTUFBTSxDQUFZO1FBRWxCLGdCQUFXLEdBQVgsV0FBVyxDQUFJO1FBRWYsZ0JBQVcsR0FBWCxXQUFXLENBQUk7UUFFZixnQkFBVyxHQUFYLFdBQVcsQ0FBSTtRQUVmLHNCQUFpQixHQUFqQixpQkFBaUIsQ0FBSTtRQUVyQixZQUFPLEdBQVAsT0FBTyxDQUFpQjtRQUV4QixpQkFBWSxHQUFaLFlBQVksQ0FBUztRQUVyQixtQkFBYyxHQUFkLGNBQWMsQ0FBUztRQUV2QixhQUFRLEdBQVIsUUFBUSxDQUFNO0lBQzdCLENBQUM7SUFFRyw4QkFBOEIsQ0FBQyxPQUFxQixFQUFFLFFBQWM7UUFDekUsT0FBTyxJQUFJLHVCQUF1QjtRQUNoQyxZQUFZLENBQUMsT0FBTztRQUNwQixtQkFBbUIsQ0FBQyxPQUFPLEVBQzNCLElBQUksQ0FBQyxNQUFNLEVBQ1gsSUFBSSxDQUFDLE1BQU0sRUFDWCxJQUFJLENBQUMsTUFBTSxFQUNYLElBQUksQ0FBQyxXQUFXLEVBQ2hCLElBQUksQ0FBQyxXQUFXLEVBQ2hCLElBQUksQ0FBQyxXQUFXLEVBQ2hCLElBQUksQ0FBQyxpQkFBaUIsRUFDdEIsSUFBSSxDQUFDLE9BQU8sRUFDWixJQUFJLENBQUMsWUFBWSxFQUNqQixJQUFJLENBQUMsY0FBYztRQUNuQixhQUFhLENBQUMsUUFBUSxDQUN2QixDQUFDO0lBQ0osQ0FBQztJQUVNLG9DQUFvQyxDQUFDLE9BQXFCLEVBQUUsUUFBYztRQUMvRSxPQUFPLElBQUksdUJBQXVCO1FBQ2hDLFlBQVksQ0FBQyxPQUFPO1FBQ3BCLG1CQUFtQixDQUFDLE9BQU8sRUFDM0IsSUFBSSxDQUFDLE1BQU0sRUFDWCxJQUFJLENBQUMsTUFBTSxFQUNYLElBQUksQ0FBQyxNQUFNLEVBQ1gsSUFBSSxDQUFDLFdBQVcsRUFDaEIsSUFBSSxDQUFDLFdBQVcsRUFDaEIsSUFBSSxDQUFDLFdBQVcsRUFDaEIsSUFBSSxDQUFDLGlCQUFpQixFQUN0QixJQUFJLENBQUMsT0FBTztRQUNaLGlCQUFpQixDQUFDLElBQUksRUFDdEIsSUFBSSxDQUFDLGNBQWM7UUFDbkIsYUFBYSxDQUFDLFFBQVEsQ0FDdkIsQ0FBQztJQUNKLENBQUM7SUFFTSxlQUFlLENBQUMsT0FBcUIsRUFBRSxRQUFjO1FBQzFELE9BQU8sSUFBSSx1QkFBdUI7UUFDaEMsWUFBWSxDQUFDLE9BQU8sRUFDcEIsSUFBSSxDQUFDLGNBQWMsRUFDbkIsSUFBSSxDQUFDLE1BQU0sRUFDWCxJQUFJLENBQUMsTUFBTSxFQUNYLElBQUksQ0FBQyxNQUFNLEVBQ1gsSUFBSSxDQUFDLFdBQVcsRUFDaEIsSUFBSSxDQUFDLFdBQVcsRUFDaEIsSUFBSSxDQUFDLFdBQVcsRUFDaEIsSUFBSSxDQUFDLGlCQUFpQixFQUN0QixJQUFJLENBQUMsT0FBTyxFQUNaLElBQUksQ0FBQyxZQUFZO1FBQ2pCLG1CQUFtQixDQUFDLElBQUk7UUFDeEIsYUFBYSxDQUFDLFFBQVEsQ0FDdkIsQ0FBQztJQUNKLENBQUM7Q0FDRiJ9

package/dest/avm/avm_machine_state.d.ts

@@ -0,0 +1,62 @@
+import { Fr } from '@aztec/circuits.js';
+import { TaggedMemory } from './avm_memory_types.js';
+import { AvmContractCallResults } from './avm_message_call_result.js';
+/**
+ * A few fields of machine state are initialized from AVM session inputs or call instruction arguments
+ */
+export type InitialAvmMachineState = {
+    l1GasLeft: number;
+    l2GasLeft: number;
+    daGasLeft: number;
+};
+/**
+ * Avm state modified on an instruction-per-instruction basis.
+ */
+export declare class AvmMachineState {
+    l1GasLeft: number;
+    /** gas remaining of the gas allocated for a contract call */
+    l2GasLeft: number;
+    daGasLeft: number;
+    /** program counter */
+    pc: number;
+    /**
+     * On INTERNALCALL, internal call stack is pushed to with the current pc + 1
+     * On INTERNALRETURN, value is popped from the internal call stack and assigned to the pc.
+     */
+    internalCallStack: number[];
+    /** Memory accessible to user code */
+    readonly memory: TaggedMemory;
+    /**
+     * Signals that execution should end.
+     * AvmContext execution continues executing instructions until the machine state signals "halted"
+     * */
+    halted: boolean;
+    /** Signals that execution has reverted normally (this does not cover exceptional halts) */
+    private reverted;
+    /** Output data must NOT be modified once it is set */
+    private output;
+    constructor(l1GasLeft: number, l2GasLeft: number, daGasLeft: number);
+    static fromState(state: InitialAvmMachineState): AvmMachineState;
+    /**
+     * Most instructions just increment PC before they complete
+     */
+    incrementPc(): void;
+    /**
+     * Halt as successful
+     * Output data must NOT be modified once it is set
+     * @param output
+     */
+    return(output: Fr[]): void;
+    /**
+     * Halt as reverted
+     * Output data must NOT be modified once it is set
+     * @param output
+     */
+    revert(output: Fr[]): void;
+    /**
+     * Get a summary of execution results for a halted machine state
+     * @returns summary of execution results
+     */
+    getResults(): AvmContractCallResults;
+}
+//# sourceMappingURL=avm_machine_state.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"avm_machine_state.d.ts","sourceRoot":"","sources":["../../src/avm/avm_machine_state.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,oBAAoB,CAAC;AAExC,OAAO,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AACrD,OAAO,EAAE,sBAAsB,EAAE,MAAM,8BAA8B,CAAC;AAEtE;;GAEG;AACH,MAAM,MAAM,sBAAsB,GAAG;IACnC,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;CACnB,CAAC;AAEF;;GAEG;AACH,qBAAa,eAAe;IACnB,SAAS,EAAE,MAAM,CAAC;IACzB,6DAA6D;IACtD,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;IACzB,sBAAsB;IACf,EAAE,EAAE,MAAM,CAAK;IAEtB;;;OAGG;IACI,iBAAiB,EAAE,MAAM,EAAE,CAAM;IAExC,qCAAqC;IACrC,SAAgB,MAAM,EAAE,YAAY,CAAsB;IAE1D;;;SAGK;IACE,MAAM,EAAE,OAAO,CAAS;IAC/B,2FAA2F;IAC3F,OAAO,CAAC,QAAQ,CAAkB;IAClC,sDAAsD;IACtD,OAAO,CAAC,MAAM,CAAY;gBAEd,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM;WAMrD,SAAS,CAAC,KAAK,EAAE,sBAAsB,GAAG,eAAe;IAIvE;;OAEG;IACI,WAAW;IAIlB;;;;OAIG;IACI,MAAM,CAAC,MAAM,EAAE,EAAE,EAAE;IAK1B;;;;OAIG;IACI,MAAM,CAAC,MAAM,EAAE,EAAE,EAAE;IAM1B;;;OAGG;IACI,UAAU,IAAI,sBAAsB;CAM5C"}

package/dest/avm/avm_machine_state.js

@@ -0,0 +1,69 @@
+import { TaggedMemory } from './avm_memory_types.js';
+import { AvmContractCallResults } from './avm_message_call_result.js';
+/**
+ * Avm state modified on an instruction-per-instruction basis.
+ */
+export class AvmMachineState {
+    constructor(l1GasLeft, l2GasLeft, daGasLeft) {
+        /** program counter */
+        this.pc = 0;
+        /**
+         * On INTERNALCALL, internal call stack is pushed to with the current pc + 1
+         * On INTERNALRETURN, value is popped from the internal call stack and assigned to the pc.
+         */
+        this.internalCallStack = [];
+        /** Memory accessible to user code */
+        this.memory = new TaggedMemory();
+        /**
+         * Signals that execution should end.
+         * AvmContext execution continues executing instructions until the machine state signals "halted"
+         * */
+        this.halted = false;
+        /** Signals that execution has reverted normally (this does not cover exceptional halts) */
+        this.reverted = false;
+        /** Output data must NOT be modified once it is set */
+        this.output = [];
+        this.l1GasLeft = l1GasLeft;
+        this.l2GasLeft = l2GasLeft;
+        this.daGasLeft = daGasLeft;
+    }
+    static fromState(state) {
+        return new AvmMachineState(state.l1GasLeft, state.l2GasLeft, state.daGasLeft);
+    }
+    /**
+     * Most instructions just increment PC before they complete
+     */
+    incrementPc() {
+        this.pc++;
+    }
+    /**
+     * 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;
+    }
+    /**
+     * Get a summary of execution results for a halted machine state
+     * @returns summary of execution results
+     */
+    getResults() {
+        if (!this.halted) {
+            throw new Error('Execution results are not ready! Execution is ongoing.');
+        }
+        return new AvmContractCallResults(this.reverted, this.output);
+    }
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYXZtX21hY2hpbmVfc3RhdGUuanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvYXZtL2F2bV9tYWNoaW5lX3N0YXRlLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUVBLE9BQU8sRUFBRSxZQUFZLEVBQUUsTUFBTSx1QkFBdUIsQ0FBQztBQUNyRCxPQUFPLEVBQUUsc0JBQXNCLEVBQUUsTUFBTSw4QkFBOEIsQ0FBQztBQVd0RTs7R0FFRztBQUNILE1BQU0sT0FBTyxlQUFlO0lBMkIxQixZQUFZLFNBQWlCLEVBQUUsU0FBaUIsRUFBRSxTQUFpQjtRQXRCbkUsc0JBQXNCO1FBQ2YsT0FBRSxHQUFXLENBQUMsQ0FBQztRQUV0Qjs7O1dBR0c7UUFDSSxzQkFBaUIsR0FBYSxFQUFFLENBQUM7UUFFeEMscUNBQXFDO1FBQ3JCLFdBQU0sR0FBaUIsSUFBSSxZQUFZLEVBQUUsQ0FBQztRQUUxRDs7O2FBR0s7UUFDRSxXQUFNLEdBQVksS0FBSyxDQUFDO1FBQy9CLDJGQUEyRjtRQUNuRixhQUFRLEdBQVksS0FBSyxDQUFDO1FBQ2xDLHNEQUFzRDtRQUM5QyxXQUFNLEdBQVMsRUFBRSxDQUFDO1FBR3hCLElBQUksQ0FBQyxTQUFTLEdBQUcsU0FBUyxDQUFDO1FBQzNCLElBQUksQ0FBQyxTQUFTLEdBQUcsU0FBUyxDQUFDO1FBQzNCLElBQUksQ0FBQyxTQUFTLEdBQUcsU0FBUyxDQUFDO0lBQzdCLENBQUM7SUFFTSxNQUFNLENBQUMsU0FBUyxDQUFDLEtBQTZCO1FBQ25ELE9BQU8sSUFBSSxlQUFlLENBQUMsS0FBSyxDQUFDLFNBQVMsRUFBRSxLQUFLLENBQUMsU0FBUyxFQUFFLEtBQUssQ0FBQyxTQUFTLENBQUMsQ0FBQztJQUNoRixDQUFDO0lBRUQ7O09BRUc7SUFDSSxXQUFXO1FBQ2hCLElBQUksQ0FBQyxFQUFFLEVBQUUsQ0FBQztJQUNaLENBQUM7SUFFRDs7OztPQUlHO0lBQ0ksTUFBTSxDQUFDLE1BQVk7UUFDeEIsSUFBSSxDQUFDLE1BQU0sR0FBRyxJQUFJLENBQUM7UUFDbkIsSUFBSSxDQUFDLE1BQU0sR0FBRyxNQUFNLENBQUM7SUFDdkIsQ0FBQztJQUVEOzs7O09BSUc7SUFDSSxNQUFNLENBQUMsTUFBWTtRQUN4QixJQUFJLENBQUMsTUFBTSxHQUFHLElBQUksQ0FBQztRQUNuQixJQUFJLENBQUMsUUFBUSxHQUFHLElBQUksQ0FBQztRQUNyQixJQUFJLENBQUMsTUFBTSxHQUFHLE1BQU0sQ0FBQztJQUN2QixDQUFDO0lBRUQ7OztPQUdHO0lBQ0ksVUFBVTtRQUNmLElBQUksQ0FBQyxJQUFJLENBQUMsTUFBTSxFQUFFLENBQUM7WUFDakIsTUFBTSxJQUFJLEtBQUssQ0FBQyx3REFBd0QsQ0FBQyxDQUFDO1FBQzVFLENBQUM7UUFDRCxPQUFPLElBQUksc0JBQXNCLENBQUMsSUFBSSxDQUFDLFFBQVEsRUFBRSxJQUFJLENBQUMsTUFBTSxDQUFDLENBQUM7SUFDaEUsQ0FBQztDQUNGIn0=

package/dest/avm/avm_memory_types.d.ts

@@ -0,0 +1,113 @@
+import { Fr } from '@aztec/foundation/fields';
+export declare abstract class MemoryValue {
+    abstract add(rhs: MemoryValue): MemoryValue;
+    abstract sub(rhs: MemoryValue): MemoryValue;
+    abstract mul(rhs: MemoryValue): MemoryValue;
+    abstract div(rhs: MemoryValue): MemoryValue;
+    abstract equals(rhs: MemoryValue): boolean;
+    abstract lt(rhs: MemoryValue): boolean;
+    abstract build(n: bigint): MemoryValue;
+    abstract toBigInt(): bigint;
+    toFr(): Fr;
+}
+export declare abstract class IntegralValue extends MemoryValue {
+    abstract shl(rhs: IntegralValue): IntegralValue;
+    abstract shr(rhs: IntegralValue): IntegralValue;
+    abstract and(rhs: IntegralValue): IntegralValue;
+    abstract or(rhs: IntegralValue): IntegralValue;
+    abstract xor(rhs: IntegralValue): IntegralValue;
+    abstract not(): IntegralValue;
+}
+declare abstract class UnsignedInteger extends IntegralValue {
+    private n;
+    private bits;
+    private readonly bitmask;
+    private readonly mod;
+    protected constructor(n: bigint, bits: bigint);
+    abstract build(n: bigint): UnsignedInteger;
+    add(rhs: UnsignedInteger): UnsignedInteger;
+    sub(rhs: UnsignedInteger): UnsignedInteger;
+    mul(rhs: UnsignedInteger): UnsignedInteger;
+    div(rhs: UnsignedInteger): UnsignedInteger;
+    shr(rhs: UnsignedInteger): UnsignedInteger;
+    shl(rhs: UnsignedInteger): UnsignedInteger;
+    and(rhs: UnsignedInteger): UnsignedInteger;
+    or(rhs: UnsignedInteger): UnsignedInteger;
+    xor(rhs: UnsignedInteger): UnsignedInteger;
+    not(): UnsignedInteger;
+    equals(rhs: UnsignedInteger): boolean;
+    lt(rhs: UnsignedInteger): boolean;
+    toBigInt(): bigint;
+}
+export declare class Uint8 extends UnsignedInteger {
+    constructor(n: number | bigint);
+    build(n: bigint): Uint8;
+}
+export declare class Uint16 extends UnsignedInteger {
+    constructor(n: number | bigint);
+    build(n: bigint): Uint16;
+}
+export declare class Uint32 extends UnsignedInteger {
+    constructor(n: number | bigint);
+    build(n: bigint): Uint32;
+}
+export declare class Uint64 extends UnsignedInteger {
+    constructor(n: number | bigint);
+    build(n: bigint): Uint64;
+}
+export declare class Uint128 extends UnsignedInteger {
+    constructor(n: number | bigint);
+    build(n: bigint): Uint128;
+}
+export declare class Field extends MemoryValue {
+    static readonly MODULUS: bigint;
+    private readonly rep;
+    constructor(v: number | bigint | Fr);
+    build(n: bigint): Field;
+    add(rhs: Field): Field;
+    sub(rhs: Field): Field;
+    mul(rhs: Field): Field;
+    div(rhs: Field): Field;
+    equals(rhs: Field): boolean;
+    lt(rhs: Field): boolean;
+    toBigInt(): bigint;
+}
+export declare enum TypeTag {
+    UNINITIALIZED = 0,
+    UINT8 = 1,
+    UINT16 = 2,
+    UINT32 = 3,
+    UINT64 = 4,
+    UINT128 = 5,
+    FIELD = 6,
+    INVALID = 7
+}
+export declare class TaggedMemory {
+    static readonly MAX_MEMORY_SIZE: number;
+    private _mem;
+    constructor();
+    get(offset: number): MemoryValue;
+    getAs<T>(offset: number): T;
+    getSlice(offset: number, size: number): MemoryValue[];
+    getSliceAs<T>(offset: number, size: number): T[];
+    getSliceTags(offset: number, size: number): TypeTag[];
+    set(offset: number, v: MemoryValue): void;
+    setSlice(offset: number, vs: MemoryValue[]): void;
+    getTag(offset: number): TypeTag;
+    /**
+     * Check that the memory at the given offset matches the specified tag.
+     */
+    checkTag(tag: TypeTag, offset: number): void;
+    /**
+     * Check tags for memory at all of the specified offsets.
+     */
+    checkTags(tag: TypeTag, ...offsets: number[]): void;
+    /**
+     * Check tags for all memory in the specified range.
+     */
+    checkTagsRange(tag: TypeTag, startOffset: number, size: number): void;
+    static getTag(v: MemoryValue | undefined): TypeTag;
+    static integralFromTag(v: bigint, tag: TypeTag): IntegralValue;
+}
+export {};
+//# sourceMappingURL=avm_memory_types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"avm_memory_types.d.ts","sourceRoot":"","sources":["../../src/avm/avm_memory_types.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAM9C,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;IAG3B,IAAI,IAAI,EAAE;CAGlB;AAED,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;AAGD,uBAAe,eAAgB,SAAQ,aAAa;IAI5B,OAAO,CAAC,CAAC;IAAU,OAAO,CAAC,IAAI;IAHrD,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAS;IACjC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAS;IAE7B,SAAS,aAAqB,CAAC,EAAE,MAAM,EAAU,IAAI,EAAE,MAAM;aAS7C,KAAK,CAAC,CAAC,EAAE,MAAM,GAAG,eAAe;IAE1C,GAAG,CAAC,GAAG,EAAE,eAAe,GAAG,eAAe;IAK1C,GAAG,CAAC,GAAG,EAAE,eAAe,GAAG,eAAe;IAM1C,GAAG,CAAC,GAAG,EAAE,eAAe,GAAG,eAAe;IAK1C,GAAG,CAAC,GAAG,EAAE,eAAe,GAAG,eAAe;IAM1C,GAAG,CAAC,GAAG,EAAE,eAAe,GAAG,eAAe;IAM1C,GAAG,CAAC,GAAG,EAAE,eAAe,GAAG,eAAe;IAK1C,GAAG,CAAC,GAAG,EAAE,eAAe,GAAG,eAAe;IAK1C,EAAE,CAAC,GAAG,EAAE,eAAe,GAAG,eAAe;IAKzC,GAAG,CAAC,GAAG,EAAE,eAAe,GAAG,eAAe;IAK1C,GAAG,IAAI,eAAe;IAItB,MAAM,CAAC,GAAG,EAAE,eAAe,GAAG,OAAO;IAKrC,EAAE,CAAC,GAAG,EAAE,eAAe,GAAG,OAAO;IAKjC,QAAQ,IAAI,MAAM;CAG1B;AAED,qBAAa,KAAM,SAAQ,eAAe;gBAC5B,CAAC,EAAE,MAAM,GAAG,MAAM;IAIvB,KAAK,CAAC,CAAC,EAAE,MAAM,GAAG,KAAK;CAG/B;AAED,qBAAa,MAAO,SAAQ,eAAe;gBAC7B,CAAC,EAAE,MAAM,GAAG,MAAM;IAIvB,KAAK,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM;CAGhC;AAED,qBAAa,MAAO,SAAQ,eAAe;gBAC7B,CAAC,EAAE,MAAM,GAAG,MAAM;IAIvB,KAAK,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM;CAGhC;AAED,qBAAa,MAAO,SAAQ,eAAe;gBAC7B,CAAC,EAAE,MAAM,GAAG,MAAM;IAIvB,KAAK,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM;CAGhC;AAED,qBAAa,OAAQ,SAAQ,eAAe;gBAC9B,CAAC,EAAE,MAAM,GAAG,MAAM;IAIvB,KAAK,CAAC,CAAC,EAAE,MAAM,GAAG,OAAO;CAGjC;AAED,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;IAK5B,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;IAItB,GAAG,CAAC,GAAG,EAAE,KAAK,GAAG,KAAK;IAItB,MAAM,CAAC,GAAG,EAAE,KAAK,GAAG,OAAO;IAI3B,EAAE,CAAC,GAAG,EAAE,KAAK,GAAG,OAAO;IAIvB,QAAQ,IAAI,MAAM;CAG1B;AAED,oBAAY,OAAO;IACjB,aAAa,IAAA;IACb,KAAK,IAAA;IACL,MAAM,IAAA;IACN,MAAM,IAAA;IACN,MAAM,IAAA;IACN,OAAO,IAAA;IACP,KAAK,IAAA;IACL,OAAO,IAAA;CACR;AAGD,qBAAa,YAAY;IAEvB,MAAM,CAAC,QAAQ,CAAC,eAAe,SAAqB;IACpD,OAAO,CAAC,IAAI,CAAgB;;IAOrB,GAAG,CAAC,MAAM,EAAE,MAAM,GAAG,WAAW;IAIhC,KAAK,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,GAAG,CAAC;IAM3B,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,WAAW,EAAE;IAKrD,UAAU,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,CAAC,EAAE;IAKhD,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,EAAE;IAKrD,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,WAAW;IAKlC,QAAQ,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,WAAW,EAAE;IAK1C,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO;IAItC;;OAEG;IACI,QAAQ,CAAC,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM;IAM5C;;OAEG;IACI,SAAS,CAAC,GAAG,EAAE,OAAO,EAAE,GAAG,OAAO,EAAE,MAAM,EAAE;IAMnD;;OAEG;IACI,cAAc,CAAC,GAAG,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM;WAQvD,MAAM,CAAC,CAAC,EAAE,WAAW,GAAG,SAAS,GAAG,OAAO;WAuB3C,eAAe,CAAC,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,GAAG,aAAa;CAiBtE"}

package/dest/avm/avm_memory_types.js

@@ -0,0 +1,269 @@
+import { Fr } from '@aztec/foundation/fields';
+import { strict as assert } from 'assert';
+import { TagCheckError } from './errors.js';
+export class MemoryValue {
+    // To field
+    toFr() {
+        return new Fr(this.toBigInt());
+    }
+}
+export class IntegralValue extends MemoryValue {
+}
+// TODO: Optimize calculation of mod, etc. Can only do once per class?
+class UnsignedInteger extends IntegralValue {
+    constructor(n, bits) {
+        super();
+        this.n = n;
+        this.bits = bits;
+        assert(bits > 0);
+        // x % 2^n == x & (2^n - 1)
+        this.mod = 1n << bits;
+        this.bitmask = this.mod - 1n;
+        assert(n < this.mod);
+    }
+    add(rhs) {
+        assert(this.bits == rhs.bits);
+        return this.build((this.n + rhs.n) & this.bitmask);
+    }
+    sub(rhs) {
+        assert(this.bits == rhs.bits);
+        const res = this.n - rhs.n;
+        return this.build(res >= 0 ? res : res + this.mod);
+    }
+    mul(rhs) {
+        assert(this.bits == rhs.bits);
+        return this.build((this.n * rhs.n) & this.bitmask);
+    }
+    div(rhs) {
+        assert(this.bits == rhs.bits);
+        return this.build(this.n / rhs.n);
+    }
+    // No sign extension.
+    shr(rhs) {
+        assert(this.bits == rhs.bits);
+        // Note that this.n is > 0 by class invariant.
+        return this.build(this.n >> rhs.n);
+    }
+    shl(rhs) {
+        assert(this.bits == rhs.bits);
+        return this.build((this.n << rhs.n) & this.bitmask);
+    }
+    and(rhs) {
+        assert(this.bits == rhs.bits);
+        return this.build(this.n & rhs.n);
+    }
+    or(rhs) {
+        assert(this.bits == rhs.bits);
+        return this.build(this.n | rhs.n);
+    }
+    xor(rhs) {
+        assert(this.bits == rhs.bits);
+        return this.build(this.n ^ rhs.n);
+    }
+    not() {
+        return this.build(~this.n & this.bitmask);
+    }
+    equals(rhs) {
+        assert(this.bits == rhs.bits);
+        return this.n === rhs.n;
+    }
+    lt(rhs) {
+        assert(this.bits == rhs.bits);
+        return this.n < rhs.n;
+    }
+    toBigInt() {
+        return this.n;
+    }
+}
+export class Uint8 extends UnsignedInteger {
+    constructor(n) {
+        super(BigInt(n), 8n);
+    }
+    build(n) {
+        return new Uint8(n);
+    }
+}
+export class Uint16 extends UnsignedInteger {
+    constructor(n) {
+        super(BigInt(n), 16n);
+    }
+    build(n) {
+        return new Uint16(n);
+    }
+}
+export class Uint32 extends UnsignedInteger {
+    constructor(n) {
+        super(BigInt(n), 32n);
+    }
+    build(n) {
+        return new Uint32(n);
+    }
+}
+export class Uint64 extends UnsignedInteger {
+    constructor(n) {
+        super(BigInt(n), 64n);
+    }
+    build(n) {
+        return new Uint64(n);
+    }
+}
+export class Uint128 extends UnsignedInteger {
+    constructor(n) {
+        super(BigInt(n), 128n);
+    }
+    build(n) {
+        return new Uint128(n);
+    }
+}
+export class Field extends MemoryValue {
+    constructor(v) {
+        super();
+        this.rep = new Fr(v);
+    }
+    build(n) {
+        return new Field(n);
+    }
+    add(rhs) {
+        return new Field(this.rep.add(rhs.rep));
+    }
+    sub(rhs) {
+        return new Field(this.rep.sub(rhs.rep));
+    }
+    mul(rhs) {
+        return new Field(this.rep.mul(rhs.rep));
+    }
+    div(rhs) {
+        return new Field(this.rep.div(rhs.rep));
+    }
+    equals(rhs) {
+        return this.rep.equals(rhs.rep);
+    }
+    lt(rhs) {
+        return this.rep.lt(rhs.rep);
+    }
+    toBigInt() {
+        return this.rep.toBigInt();
+    }
+}
+Field.MODULUS = Fr.MODULUS;
+export var TypeTag;
+(function (TypeTag) {
+    TypeTag[TypeTag["UNINITIALIZED"] = 0] = "UNINITIALIZED";
+    TypeTag[TypeTag["UINT8"] = 1] = "UINT8";
+    TypeTag[TypeTag["UINT16"] = 2] = "UINT16";
+    TypeTag[TypeTag["UINT32"] = 3] = "UINT32";
+    TypeTag[TypeTag["UINT64"] = 4] = "UINT64";
+    TypeTag[TypeTag["UINT128"] = 5] = "UINT128";
+    TypeTag[TypeTag["FIELD"] = 6] = "FIELD";
+    TypeTag[TypeTag["INVALID"] = 7] = "INVALID";
+})(TypeTag || (TypeTag = {}));
+// TODO: Consider automatic conversion when getting undefined values.
+export class TaggedMemory {
+    constructor() {
+        // Initialize memory size, but leave all entries undefined.
+        this._mem = new Array(TaggedMemory.MAX_MEMORY_SIZE);
+    }
+    get(offset) {
+        return this.getAs(offset);
+    }
+    getAs(offset) {
+        assert(offset < TaggedMemory.MAX_MEMORY_SIZE);
+        const word = this._mem[offset];
+        return word;
+    }
+    getSlice(offset, size) {
+        assert(offset < TaggedMemory.MAX_MEMORY_SIZE);
+        return this._mem.slice(offset, offset + size);
+    }
+    getSliceAs(offset, size) {
+        assert(offset < TaggedMemory.MAX_MEMORY_SIZE);
+        return this._mem.slice(offset, offset + size);
+    }
+    getSliceTags(offset, size) {
+        assert(offset < TaggedMemory.MAX_MEMORY_SIZE);
+        return this._mem.slice(offset, offset + size).map(TaggedMemory.getTag);
+    }
+    set(offset, v) {
+        assert(offset < TaggedMemory.MAX_MEMORY_SIZE);
+        this._mem[offset] = v;
+    }
+    setSlice(offset, vs) {
+        assert(offset < TaggedMemory.MAX_MEMORY_SIZE);
+        this._mem.splice(offset, vs.length, ...vs);
+    }
+    getTag(offset) {
+        return TaggedMemory.getTag(this._mem[offset]);
+    }
+    /**
+     * Check that the memory at the given offset matches the specified tag.
+     */
+    checkTag(tag, offset) {
+        if (this.getTag(offset) !== tag) {
+            throw new TagCheckError(offset, TypeTag[this.getTag(offset)], TypeTag[tag]);
+        }
+    }
+    /**
+     * Check tags for memory at all of the specified offsets.
+     */
+    checkTags(tag, ...offsets) {
+        for (const offset of offsets) {
+            this.checkTag(tag, offset);
+        }
+    }
+    /**
+     * Check tags for all memory in the specified range.
+     */
+    checkTagsRange(tag, startOffset, size) {
+        for (let offset = startOffset; offset < startOffset + size; offset++) {
+            this.checkTag(tag, offset);
+        }
+    }
+    // TODO: this might be slow, but I don't want to have the types know of their tags.
+    // It might be possible to have a map<Prototype, TypeTag>.
+    static getTag(v) {
+        let tag = TypeTag.INVALID;
+        if (v === undefined) {
+            tag = TypeTag.UNINITIALIZED;
+        }
+        else if (v instanceof Field) {
+            tag = TypeTag.FIELD;
+        }
+        else if (v instanceof Uint8) {
+            tag = TypeTag.UINT8;
+        }
+        else if (v instanceof Uint16) {
+            tag = TypeTag.UINT16;
+        }
+        else if (v instanceof Uint32) {
+            tag = TypeTag.UINT32;
+        }
+        else if (v instanceof Uint64) {
+            tag = TypeTag.UINT64;
+        }
+        else if (v instanceof Uint128) {
+            tag = TypeTag.UINT128;
+        }
+        return tag;
+    }
+    // Truncates the value to fit the type.
+    static integralFromTag(v, tag) {
+        v = BigInt(v); // FIXME: not sure why this cast is needed, but this errors otherwise
+        switch (tag) {
+            case TypeTag.UINT8:
+                return new Uint8(v & ((1n << 8n) - 1n));
+            case TypeTag.UINT16:
+                return new Uint16(v & ((1n << 16n) - 1n));
+            case TypeTag.UINT32:
+                return new Uint32(v & ((1n << 32n) - 1n));
+            case TypeTag.UINT64:
+                return new Uint64(v & ((1n << 64n) - 1n));
+            case TypeTag.UINT128:
+                return new Uint128(v & ((1n << 128n) - 1n));
+            default:
+                throw new Error(`${TypeTag[tag]} is not a valid integral type.`);
+        }
+    }
+}
+// FIXME: memory should be 2^32, but TS doesn't allow for arrays that big.
+TaggedMemory.MAX_MEMORY_SIZE = Number(1n << 31n); // 1n << 32n
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYXZtX21lbW9yeV90eXBlcy5qcyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9hdm0vYXZtX21lbW9yeV90eXBlcy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sMEJBQTBCLENBQUM7QUFFOUMsT0FBTyxFQUFFLE1BQU0sSUFBSSxNQUFNLEVBQUUsTUFBTSxRQUFRLENBQUM7QUFFMUMsT0FBTyxFQUFFLGFBQWEsRUFBRSxNQUFNLGFBQWEsQ0FBQztBQUU1QyxNQUFNLE9BQWdCLFdBQVc7SUFlL0IsV0FBVztJQUNKLElBQUk7UUFDVCxPQUFPLElBQUksRUFBRSxDQUFDLElBQUksQ0FBQyxRQUFRLEVBQUUsQ0FBQyxDQUFDO0lBQ2pDLENBQUM7Q0FDRjtBQUVELE1BQU0sT0FBZ0IsYUFBYyxTQUFRLFdBQVc7Q0FPdEQ7QUFFRCxzRUFBc0U7QUFDdEUsTUFBZSxlQUFnQixTQUFRLGFBQWE7SUFJbEQsWUFBOEIsQ0FBUyxFQUFVLElBQVk7UUFDM0QsS0FBSyxFQUFFLENBQUM7UUFEb0IsTUFBQyxHQUFELENBQUMsQ0FBUTtRQUFVLFNBQUksR0FBSixJQUFJLENBQVE7UUFFM0QsTUFBTSxDQUFDLElBQUksR0FBRyxDQUFDLENBQUMsQ0FBQztRQUNqQiwyQkFBMkI7UUFDM0IsSUFBSSxDQUFDLEdBQUcsR0FBRyxFQUFFLElBQUksSUFBSSxDQUFDO1FBQ3RCLElBQUksQ0FBQyxPQUFPLEdBQUcsSUFBSSxDQUFDLEdBQUcsR0FBRyxFQUFFLENBQUM7UUFDN0IsTUFBTSxDQUFDLENBQUMsR0FBRyxJQUFJLENBQUMsR0FBRyxDQUFDLENBQUM7SUFDdkIsQ0FBQztJQUlNLEdBQUcsQ0FBQyxHQUFvQjtRQUM3QixNQUFNLENBQUMsSUFBSSxDQUFDLElBQUksSUFBSSxHQUFHLENBQUMsSUFBSSxDQUFDLENBQUM7UUFDOUIsT0FBTyxJQUFJLENBQUMsS0FBSyxDQUFDLENBQUMsSUFBSSxDQUFDLENBQUMsR0FBRyxHQUFHLENBQUMsQ0FBQyxDQUFDLEdBQUcsSUFBSSxDQUFDLE9BQU8sQ0FBQyxDQUFDO0lBQ3JELENBQUM7SUFFTSxHQUFHLENBQUMsR0FBb0I7UUFDN0IsTUFBTSxDQUFDLElBQUksQ0FBQyxJQUFJLElBQUksR0FBRyxDQUFDLElBQUksQ0FBQyxDQUFDO1FBQzlCLE1BQU0sR0FBRyxHQUFXLElBQUksQ0FBQyxDQUFDLEdBQUcsR0FBRyxDQUFDLENBQUMsQ0FBQztRQUNuQyxPQUFPLElBQUksQ0FBQyxLQUFLLENBQUMsR0FBRyxJQUFJLENBQUMsQ0FBQyxDQUFDLENBQUMsR0FBRyxDQUFDLENBQUMsQ0FBQyxHQUFHLEdBQUcsSUFBSSxDQUFDLEdBQUcsQ0FBQyxDQUFDO0lBQ3JELENBQUM7SUFFTSxHQUFHLENBQUMsR0FBb0I7UUFDN0IsTUFBTSxDQUFDLElBQUksQ0FBQyxJQUFJLElBQUksR0FBRyxDQUFDLElBQUksQ0FBQyxDQUFDO1FBQzlCLE9BQU8sSUFBSSxDQUFDLEtBQUssQ0FBQyxDQUFDLElBQUksQ0FBQyxDQUFDLEdBQUcsR0FBRyxDQUFDLENBQUMsQ0FBQyxHQUFHLElBQUksQ0FBQyxPQUFPLENBQUMsQ0FBQztJQUNyRCxDQUFDO0lBRU0sR0FBRyxDQUFDLEdBQW9CO1FBQzdCLE1BQU0sQ0FBQyxJQUFJLENBQUMsSUFBSSxJQUFJLEdBQUcsQ0FBQyxJQUFJLENBQUMsQ0FBQztRQUM5QixPQUFPLElBQUksQ0FBQyxLQUFLLENBQUMsSUFBSSxDQUFDLENBQUMsR0FBRyxHQUFHLENBQUMsQ0FBQyxDQUFDLENBQUM7SUFDcEMsQ0FBQztJQUVELHFCQUFxQjtJQUNkLEdBQUcsQ0FBQyxHQUFvQjtRQUM3QixNQUFNLENBQUMsSUFBSSxDQUFDLElBQUksSUFBSSxHQUFHLENBQUMsSUFBSSxDQUFDLENBQUM7UUFDOUIsOENBQThDO1FBQzlDLE9BQU8sSUFBSSxDQUFDLEtBQUssQ0FBQyxJQUFJLENBQUMsQ0FBQyxJQUFJLEdBQUcsQ0FBQyxDQUFDLENBQUMsQ0FBQztJQUNyQyxDQUFDO0lBRU0sR0FBRyxDQUFDLEdBQW9CO1FBQzdCLE1BQU0sQ0FBQyxJQUFJLENBQUMsSUFBSSxJQUFJLEdBQUcsQ0FBQyxJQUFJLENBQUMsQ0FBQztRQUM5QixPQUFPLElBQUksQ0FBQyxLQUFLLENBQUMsQ0FBQyxJQUFJLENBQUMsQ0FBQyxJQUFJLEdBQUcsQ0FBQyxDQUFDLENBQUMsR0FBRyxJQUFJLENBQUMsT0FBTyxDQUFDLENBQUM7SUFDdEQsQ0FBQztJQUVNLEdBQUcsQ0FBQyxHQUFvQjtRQUM3QixNQUFNLENBQUMsSUFBSSxDQUFDLElBQUksSUFBSSxHQUFHLENBQUMsSUFBSSxDQUFDLENBQUM7UUFDOUIsT0FBTyxJQUFJLENBQUMsS0FBSyxDQUFDLElBQUksQ0FBQyxDQUFDLEdBQUcsR0FBRyxDQUFDLENBQUMsQ0FBQyxDQUFDO0lBQ3BDLENBQUM7SUFFTSxFQUFFLENBQUMsR0FBb0I7UUFDNUIsTUFBTSxDQUFDLElBQUksQ0FBQyxJQUFJLElBQUksR0FBRyxDQUFDLElBQUksQ0FBQyxDQUFDO1FBQzlCLE9BQU8sSUFBSSxDQUFDLEtBQUssQ0FBQyxJQUFJLENBQUMsQ0FBQyxHQUFHLEdBQUcsQ0FBQyxDQUFDLENBQUMsQ0FBQztJQUNwQyxDQUFDO0lBRU0sR0FBRyxDQUFDLEdBQW9CO1FBQzdCLE1BQU0sQ0FBQyxJQUFJLENBQUMsSUFBSSxJQUFJLEdBQUcsQ0FBQyxJQUFJLENBQUMsQ0FBQztRQUM5QixPQUFPLElBQUksQ0FBQyxLQUFLLENBQUMsSUFBSSxDQUFDLENBQUMsR0FBRyxHQUFHLENBQUMsQ0FBQyxDQUFDLENBQUM7SUFDcEMsQ0FBQztJQUVNLEdBQUc7UUFDUixPQUFPLElBQUksQ0FBQyxLQUFLLENBQUMsQ0FBQyxJQUFJLENBQUMsQ0FBQyxHQUFHLElBQUksQ0FBQyxPQUFPLENBQUMsQ0FBQztJQUM1QyxDQUFDO0lBRU0sTUFBTSxDQUFDLEdBQW9CO1FBQ2hDLE1BQU0sQ0FBQyxJQUFJLENBQUMsSUFBSSxJQUFJLEdBQUcsQ0FBQyxJQUFJLENBQUMsQ0FBQztRQUM5QixPQUFPLElBQUksQ0FBQyxDQUFDLEtBQUssR0FBRyxDQUFDLENBQUMsQ0FBQztJQUMxQixDQUFDO0lBRU0sRUFBRSxDQUFDLEdBQW9CO1FBQzVCLE1BQU0sQ0FBQyxJQUFJLENBQUMsSUFBSSxJQUFJLEdBQUcsQ0FBQyxJQUFJLENBQUMsQ0FBQztRQUM5QixPQUFPLElBQUksQ0FBQyxDQUFDLEdBQUcsR0FBRyxDQUFDLENBQUMsQ0FBQztJQUN4QixDQUFDO0lBRU0sUUFBUTtRQUNiLE9BQU8sSUFBSSxDQUFDLENBQUMsQ0FBQztJQUNoQixDQUFDO0NBQ0Y7QUFFRCxNQUFNLE9BQU8sS0FBTSxTQUFRLGVBQWU7SUFDeEMsWUFBWSxDQUFrQjtRQUM1QixLQUFLLENBQUMsTUFBTSxDQUFDLENBQUMsQ0FBQyxFQUFFLEVBQUUsQ0FBQyxDQUFDO0lBQ3ZCLENBQUM7SUFFTSxLQUFLLENBQUMsQ0FBUztRQUNwQixPQUFPLElBQUksS0FBSyxDQUFDLENBQUMsQ0FBQyxDQUFDO0lBQ3RCLENBQUM7Q0FDRjtBQUVELE1BQU0sT0FBTyxNQUFPLFNBQVEsZUFBZTtJQUN6QyxZQUFZLENBQWtCO1FBQzVCLEtBQUssQ0FBQyxNQUFNLENBQUMsQ0FBQyxDQUFDLEVBQUUsR0FBRyxDQUFDLENBQUM7SUFDeEIsQ0FBQztJQUVNLEtBQUssQ0FBQyxDQUFTO1FBQ3BCLE9BQU8sSUFBSSxNQUFNLENBQUMsQ0FBQyxDQUFDLENBQUM7SUFDdkIsQ0FBQztDQUNGO0FBRUQsTUFBTSxPQUFPLE1BQU8sU0FBUSxlQUFlO0lBQ3pDLFlBQVksQ0FBa0I7UUFDNUIsS0FBSyxDQUFDLE1BQU0sQ0FBQyxDQUFDLENBQUMsRUFBRSxHQUFHLENBQUMsQ0FBQztJQUN4QixDQUFDO0lBRU0sS0FBSyxDQUFDLENBQVM7UUFDcEIsT0FBTyxJQUFJLE1BQU0sQ0FBQyxDQUFDLENBQUMsQ0FBQztJQUN2QixDQUFDO0NBQ0Y7QUFFRCxNQUFNLE9BQU8sTUFBTyxTQUFRLGVBQWU7SUFDekMsWUFBWSxDQUFrQjtRQUM1QixLQUFLLENBQUMsTUFBTSxDQUFDLENBQUMsQ0FBQyxFQUFFLEdBQUcsQ0FBQyxDQUFDO0lBQ3hCLENBQUM7SUFFTSxLQUFLLENBQUMsQ0FBUztRQUNwQixPQUFPLElBQUksTUFBTSxDQUFDLENBQUMsQ0FBQyxDQUFDO0lBQ3ZCLENBQUM7Q0FDRjtBQUVELE1BQU0sT0FBTyxPQUFRLFNBQVEsZUFBZTtJQUMxQyxZQUFZLENBQWtCO1FBQzVCLEtBQUssQ0FBQyxNQUFNLENBQUMsQ0FBQyxDQUFDLEVBQUUsSUFBSSxDQUFDLENBQUM7SUFDekIsQ0FBQztJQUVNLEtBQUssQ0FBQyxDQUFTO1FBQ3BCLE9BQU8sSUFBSSxPQUFPLENBQUMsQ0FBQyxDQUFDLENBQUM7SUFDeEIsQ0FBQztDQUNGO0FBRUQsTUFBTSxPQUFPLEtBQU0sU0FBUSxXQUFXO0lBSXBDLFlBQVksQ0FBdUI7UUFDakMsS0FBSyxFQUFFLENBQUM7UUFDUixJQUFJLENBQUMsR0FBRyxHQUFHLElBQUksRUFBRSxDQUFDLENBQUMsQ0FBQyxDQUFDO0lBQ3ZCLENBQUM7SUFFTSxLQUFLLENBQUMsQ0FBUztRQUNwQixPQUFPLElBQUksS0FBSyxDQUFDLENBQUMsQ0FBQyxDQUFDO0lBQ3RCLENBQUM7SUFFTSxHQUFHLENBQUMsR0FBVTtRQUNuQixPQUFPLElBQUksS0FBSyxDQUFDLElBQUksQ0FBQyxHQUFHLENBQUMsR0FBRyxDQUFDLEdBQUcsQ0FBQyxHQUFHLENBQUMsQ0FBQyxDQUFDO0lBQzFDLENBQUM7SUFFTSxHQUFHLENBQUMsR0FBVTtRQUNuQixPQUFPLElBQUksS0FBSyxDQUFDLElBQUksQ0FBQyxHQUFHLENBQUMsR0FBRyxDQUFDLEdBQUcsQ0FBQyxHQUFHLENBQUMsQ0FBQyxDQUFDO0lBQzFDLENBQUM7SUFFTSxHQUFHLENBQUMsR0FBVTtRQUNuQixPQUFPLElBQUksS0FBSyxDQUFDLElBQUksQ0FBQyxHQUFHLENBQUMsR0FBRyxDQUFDLEdBQUcsQ0FBQyxHQUFHLENBQUMsQ0FBQyxDQUFDO0lBQzFDLENBQUM7SUFFTSxHQUFHLENBQUMsR0FBVTtRQUNuQixPQUFPLElBQUksS0FBSyxDQUFDLElBQUksQ0FBQyxHQUFHLENBQUMsR0FBRyxDQUFDLEdBQUcsQ0FBQyxHQUFHLENBQUMsQ0FBQyxDQUFDO0lBQzFDLENBQUM7SUFFTSxNQUFNLENBQUMsR0FBVTtRQUN0QixPQUFPLElBQUksQ0FBQyxHQUFHLENBQUMsTUFBTSxDQUFDLEdBQUcsQ0FBQyxHQUFHLENBQUMsQ0FBQztJQUNsQyxDQUFDO0lBRU0sRUFBRSxDQUFDLEdBQVU7UUFDbEIsT0FBTyxJQUFJLENBQUMsR0FBRyxDQUFDLEVBQUUsQ0FBQyxHQUFHLENBQUMsR0FBRyxDQUFDLENBQUM7SUFDOUIsQ0FBQztJQUVNLFFBQVE7UUFDYixPQUFPLElBQUksQ0FBQyxHQUFHLENBQUMsUUFBUSxFQUFFLENBQUM7SUFDN0IsQ0FBQzs7QUF0Q3NCLGFBQU8sR0FBVyxFQUFFLENBQUMsT0FBTyxDQUFDO0FBeUN0RCxNQUFNLENBQU4sSUFBWSxPQVNYO0FBVEQsV0FBWSxPQUFPO0lBQ2pCLHVEQUFhLENBQUE7SUFDYix1Q0FBSyxDQUFBO0lBQ0wseUNBQU0sQ0FBQTtJQUNOLHlDQUFNLENBQUE7SUFDTix5Q0FBTSxDQUFBO0lBQ04sMkNBQU8sQ0FBQTtJQUNQLHVDQUFLLENBQUE7SUFDTCwyQ0FBTyxDQUFBO0FBQ1QsQ0FBQyxFQVRXLE9BQU8sS0FBUCxPQUFPLFFBU2xCO0FBRUQscUVBQXFFO0FBQ3JFLE1BQU0sT0FBTyxZQUFZO0lBS3ZCO1FBQ0UsMkRBQTJEO1FBQzNELElBQUksQ0FBQyxJQUFJLEdBQUcsSUFBSSxLQUFLLENBQUMsWUFBWSxDQUFDLGVBQWUsQ0FBQyxDQUFDO0lBQ3RELENBQUM7SUFFTSxHQUFHLENBQUMsTUFBYztRQUN2QixPQUFPLElBQUksQ0FBQyxLQUFLLENBQWMsTUFBTSxDQUFDLENBQUM7SUFDekMsQ0FBQztJQUVNLEtBQUssQ0FBSSxNQUFjO1FBQzVCLE1BQU0sQ0FBQyxNQUFNLEdBQUcsWUFBWSxDQUFDLGVBQWUsQ0FBQyxDQUFDO1FBQzlDLE1BQU0sSUFBSSxHQUFHLElBQUksQ0FBQyxJQUFJLENBQUMsTUFBTSxDQUFDLENBQUM7UUFDL0IsT0FBTyxJQUFTLENBQUM7SUFDbkIsQ0FBQztJQUVNLFFBQVEsQ0FBQyxNQUFjLEVBQUUsSUFBWTtRQUMxQyxNQUFNLENBQUMsTUFBTSxHQUFHLFlBQVksQ0FBQyxlQUFlLENBQUMsQ0FBQztRQUM5QyxPQUFPLElBQUksQ0FBQyxJQUFJLENBQUMsS0FBSyxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsSUFBSSxDQUFDLENBQUM7SUFDaEQsQ0FBQztJQUVNLFVBQVUsQ0FBSSxNQUFjLEVBQUUsSUFBWTtRQUMvQyxNQUFNLENBQUMsTUFBTSxHQUFHLFlBQVksQ0FBQyxlQUFlLENBQUMsQ0FBQztRQUM5QyxPQUFPLElBQUksQ0FBQyxJQUFJLENBQUMsS0FBSyxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsSUFBSSxDQUFRLENBQUM7SUFDdkQsQ0FBQztJQUVNLFlBQVksQ0FBQyxNQUFjLEVBQUUsSUFBWTtRQUM5QyxNQUFNLENBQUMsTUFBTSxHQUFHLFlBQVksQ0FBQyxlQUFlLENBQUMsQ0FBQztRQUM5QyxPQUFPLElBQUksQ0FBQyxJQUFJLENBQUMsS0FBSyxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsSUFBSSxDQUFDLENBQUMsR0FBRyxDQUFDLFlBQVksQ0FBQyxNQUFNLENBQUMsQ0FBQztJQUN6RSxDQUFDO0lBRU0sR0FBRyxDQUFDLE1BQWMsRUFBRSxDQUFjO1FBQ3ZDLE1BQU0sQ0FBQyxNQUFNLEdBQUcsWUFBWSxDQUFDLGVBQWUsQ0FBQyxDQUFDO1FBQzlDLElBQUksQ0FBQyxJQUFJLENBQUMsTUFBTSxDQUFDLEdBQUcsQ0FBQyxDQUFDO0lBQ3hCLENBQUM7SUFFTSxRQUFRLENBQUMsTUFBYyxFQUFFLEVBQWlCO1FBQy9DLE1BQU0sQ0FBQyxNQUFNLEdBQUcsWUFBWSxDQUFDLGVBQWUsQ0FBQyxDQUFDO1FBQzlDLElBQUksQ0FBQyxJQUFJLENBQUMsTUFBTSxDQUFDLE1BQU0sRUFBRSxFQUFFLENBQUMsTUFBTSxFQUFFLEdBQUcsRUFBRSxDQUFDLENBQUM7SUFDN0MsQ0FBQztJQUVNLE1BQU0sQ0FBQyxNQUFjO1FBQzFCLE9BQU8sWUFBWSxDQUFDLE1BQU0sQ0FBQyxJQUFJLENBQUMsSUFBSSxDQUFDLE1BQU0sQ0FBQyxDQUFDLENBQUM7SUFDaEQsQ0FBQztJQUVEOztPQUVHO0lBQ0ksUUFBUSxDQUFDLEdBQVksRUFBRSxNQUFjO1FBQzFDLElBQUksSUFBSSxDQUFDLE1BQU0sQ0FBQyxNQUFNLENBQUMsS0FBSyxHQUFHLEVBQUUsQ0FBQztZQUNoQyxNQUFNLElBQUksYUFBYSxDQUFDLE1BQU0sRUFBRSxPQUFPLENBQUMsSUFBSSxDQUFDLE1BQU0sQ0FBQyxNQUFNLENBQUMsQ0FBQyxFQUFFLE9BQU8sQ0FBQyxHQUFHLENBQUMsQ0FBQyxDQUFDO1FBQzlFLENBQUM7SUFDSCxDQUFDO0lBRUQ7O09BRUc7SUFDSSxTQUFTLENBQUMsR0FBWSxFQUFFLEdBQUcsT0FBaUI7UUFDakQsS0FBSyxNQUFNLE1BQU0sSUFBSSxPQUFPLEVBQUUsQ0FBQztZQUM3QixJQUFJLENBQUMsUUFBUSxDQUFDLEdBQUcsRUFBRSxNQUFNLENBQUMsQ0FBQztRQUM3QixDQUFDO0lBQ0gsQ0FBQztJQUVEOztPQUVHO0lBQ0ksY0FBYyxDQUFDLEdBQVksRUFBRSxXQUFtQixFQUFFLElBQVk7UUFDbkUsS0FBSyxJQUFJLE1BQU0sR0FBRyxXQUFXLEVBQUUsTUFBTSxHQUFHLFdBQVcsR0FBRyxJQUFJLEVBQUUsTUFBTSxFQUFFLEVBQUUsQ0FBQztZQUNyRSxJQUFJLENBQUMsUUFBUSxDQUFDLEdBQUcsRUFBRSxNQUFNLENBQUMsQ0FBQztRQUM3QixDQUFDO0lBQ0gsQ0FBQztJQUVELG1GQUFtRjtJQUNuRiwwREFBMEQ7SUFDbkQsTUFBTSxDQUFDLE1BQU0sQ0FBQyxDQUEwQjtRQUM3QyxJQUFJLEdBQUcsR0FBRyxPQUFPLENBQUMsT0FBTyxDQUFDO1FBRTFCLElBQUksQ0FBQyxLQUFLLFNBQVMsRUFBRSxDQUFDO1lBQ3BCLEdBQUcsR0FBRyxPQUFPLENBQUMsYUFBYSxDQUFDO1FBQzlCLENBQUM7YUFBTSxJQUFJLENBQUMsWUFBWSxLQUFLLEVBQUUsQ0FBQztZQUM5QixHQUFHLEdBQUcsT0FBTyxDQUFDLEtBQUssQ0FBQztRQUN0QixDQUFDO2FBQU0sSUFBSSxDQUFDLFlBQVksS0FBSyxFQUFFLENBQUM7WUFDOUIsR0FBRyxHQUFHLE9BQU8sQ0FBQyxLQUFLLENBQUM7UUFDdEIsQ0FBQzthQUFNLElBQUksQ0FBQyxZQUFZLE1BQU0sRUFBRSxDQUFDO1lBQy9CLEdBQUcsR0FBRyxPQUFPLENBQUMsTUFBTSxDQUFDO1FBQ3ZCLENBQUM7YUFBTSxJQUFJLENBQUMsWUFBWSxNQUFNLEVBQUUsQ0FBQztZQUMvQixHQUFHLEdBQUcsT0FBTyxDQUFDLE1BQU0sQ0FBQztRQUN2QixDQUFDO2FBQU0sSUFBSSxDQUFDLFlBQVksTUFBTSxFQUFFLENBQUM7WUFDL0IsR0FBRyxHQUFHLE9BQU8sQ0FBQyxNQUFNLENBQUM7UUFDdkIsQ0FBQzthQUFNLElBQUksQ0FBQyxZQUFZLE9BQU8sRUFBRSxDQUFDO1lBQ2hDLEdBQUcsR0FBRyxPQUFPLENBQUMsT0FBTyxDQUFDO1FBQ3hCLENBQUM7UUFFRCxPQUFPLEdBQUcsQ0FBQztJQUNiLENBQUM7SUFFRCx1Q0FBdUM7SUFDaEMsTUFBTSxDQUFDLGVBQWUsQ0FBQyxDQUFTLEVBQUUsR0FBWTtRQUNuRCxDQUFDLEdBQUcsTUFBTSxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMscUVBQXFFO1FBQ3BGLFFBQVEsR0FBRyxFQUFFLENBQUM7WUFDWixLQUFLLE9BQU8sQ0FBQyxLQUFLO2dCQUNoQixPQUFPLElBQUksS0FBSyxDQUFDLENBQUMsR0FBRyxDQUFDLENBQUMsRUFBRSxJQUFJLEVBQUUsQ0FBQyxHQUFHLEVBQUUsQ0FBQyxDQUFDLENBQUM7WUFDMUMsS0FBSyxPQUFPLENBQUMsTUFBTTtnQkFDakIsT0FBTyxJQUFJLE1BQU0sQ0FBQyxDQUFDLEdBQUcsQ0FBQyxDQUFDLEVBQUUsSUFBSSxHQUFHLENBQUMsR0FBRyxFQUFFLENBQUMsQ0FBQyxDQUFDO1lBQzVDLEtBQUssT0FBTyxDQUFDLE1BQU07Z0JBQ2pCLE9BQU8sSUFBSSxNQUFNLENBQUMsQ0FBQyxHQUFHLENBQUMsQ0FBQyxFQUFFLElBQUksR0FBRyxDQUFDLEdBQUcsRUFBRSxDQUFDLENBQUMsQ0FBQztZQUM1QyxLQUFLLE9BQU8sQ0FBQyxNQUFNO2dCQUNqQixPQUFPLElBQUksTUFBTSxDQUFDLENBQUMsR0FBRyxDQUFDLENBQUMsRUFBRSxJQUFJLEdBQUcsQ0FBQyxHQUFHLEVBQUUsQ0FBQyxDQUFDLENBQUM7WUFDNUMsS0FBSyxPQUFPLENBQUMsT0FBTztnQkFDbEIsT0FBTyxJQUFJLE9BQU8sQ0FBQyxDQUFDLEdBQUcsQ0FBQyxDQUFDLEVBQUUsSUFBSSxJQUFJLENBQUMsR0FBRyxFQUFFLENBQUMsQ0FBQyxDQUFDO1lBQzlDO2dCQUNFLE1BQU0sSUFBSSxLQUFLLENBQUMsR0FBRyxPQUFPLENBQUMsR0FBRyxDQUFDLGdDQUFnQyxDQUFDLENBQUM7UUFDckUsQ0FBQztJQUNILENBQUM7O0FBcEhELDBFQUEwRTtBQUMxRCw0QkFBZSxHQUFHLE1BQU0sQ0FBQyxFQUFFLElBQUksR0FBRyxDQUFDLENBQUMsQ0FBQyxZQUFZIn0=

package/dest/avm/avm_message_call_result.d.ts

@@ -0,0 +1,16 @@
+import { Fr } from '@aztec/foundation/fields';
+/**
+ * Results of an contract call's execution in the AVM.
+ */
+export declare class AvmContractCallResults {
+    readonly reverted: boolean;
+    readonly output: Fr[];
+    /** For exceptional halts */
+    readonly revertReason: Error | undefined;
+    constructor(reverted: boolean, output: Fr[], revertReason?: Error);
+    /**
+     * Generate a string representation of call results.
+     */
+    toString(): string;
+}
+//# sourceMappingURL=avm_message_call_result.d.ts.map

package/dest/avm/avm_message_call_result.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"avm_message_call_result.d.ts","sourceRoot":"","sources":["../../src/avm/avm_message_call_result.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C;;GAEG;AACH,qBAAa,sBAAsB;IACjC,SAAgB,QAAQ,EAAE,OAAO,CAAC;IAClC,SAAgB,MAAM,EAAE,EAAE,EAAE,CAAC;IAE7B,4BAA4B;IAC5B,SAAgB,YAAY,EAAE,KAAK,GAAG,SAAS,CAAC;gBAEpC,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,YAAY,CAAC,EAAE,KAAK;IAMjE;;OAEG;IACH,QAAQ,IAAI,MAAM;CAOnB"}