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

package/dest/public/avm/opcodes/comparators.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"comparators.d.ts","sourceRoot":"","sources":["../../../../src/public/avm/opcodes/comparators.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EAAE,KAAK,WAAW,EAAS,MAAM,wBAAwB,CAAC;AACjE,OAAO,EAAE,MAAM,EAAE,MAAM,+CAA+C,CAAC;AAEvE,OAAO,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAC;AAEhE,uBAAe,qBAAsB,SAAQ,uBAAuB;IACrD,OAAO,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;IAgBxD,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,WAAW,GAAG,OAAO;CACpE;AAED,qBAAa,EAAG,SAAQ,qBAAqB;IAC3C,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAQ;IACpC,MAAM,CAAC,QAAQ,CAAC,MAAM,eAAe;IAErC,SAAS,CAAC,OAAO,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,WAAW,GAAG,OAAO;CAG3D;AAED,qBAAa,EAAG,SAAQ,qBAAqB;IAC3C,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAQ;IACpC,MAAM,CAAC,QAAQ,CAAC,MAAM,eAAe;IAErC,SAAS,CAAC,OAAO,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,WAAW,GAAG,OAAO;CAG3D;AAED,qBAAa,GAAI,SAAQ,qBAAqB;IAC5C,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAS;IACrC,MAAM,CAAC,QAAQ,CAAC,MAAM,gBAAgB;IAEtC,SAAS,CAAC,OAAO,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,WAAW,GAAG,OAAO;CAG3D"}

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

@@ -0,0 +1,43 @@
+import { Uint1 } from '../avm_memory_types.js';
+import { Opcode } from '../serialization/instruction_serialization.js';
+import { Addressing } from './addressing_mode.js';
+import { ThreeOperandInstruction } from './instruction_impl.js';
+class ComparatorInstruction extends ThreeOperandInstruction {
+    async execute(context) {
+        const memory = context.machineState.memory;
+        context.machineState.consumeGas(this.gasCost());
+        const operands = [
+            this.aOffset,
+            this.bOffset,
+            this.dstOffset
+        ];
+        const addressing = Addressing.fromWire(this.indirect, operands.length);
+        const [aOffset, bOffset, dstOffset] = addressing.resolve(operands, memory);
+        memory.checkTagsAreSame(aOffset, bOffset);
+        const a = memory.get(aOffset);
+        const b = memory.get(bOffset);
+        const dest = new Uint1(this.compare(a, b) ? 1 : 0);
+        memory.set(dstOffset, dest);
+    }
+}
+export class Eq extends ComparatorInstruction {
+    static type = 'EQ';
+    static opcode = Opcode.EQ_8;
+    compare(a, b) {
+        return a.equals(b);
+    }
+}
+export class Lt extends ComparatorInstruction {
+    static type = 'LT';
+    static opcode = Opcode.LT_8;
+    compare(a, b) {
+        return a.lt(b);
+    }
+}
+export class Lte extends ComparatorInstruction {
+    static type = 'LTE';
+    static opcode = Opcode.LTE_8;
+    compare(a, b) {
+        return a.lt(b) || a.equals(b);
+    }
+}

package/dest/public/avm/opcodes/contract.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract.d.ts","sourceRoot":"","sources":["../../../../src/public/avm/opcodes/contract.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAGpD,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,+CAA+C,CAAC;AAEpF,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAE/C,oBAAY,sBAAsB;IAChC,QAAQ,IAAA;IACR,QAAQ,IAAA;IACR,SAAS,IAAA;CACV;AAED,qBAAa,mBAAoB,SAAQ,WAAW;IAchD,OAAO,CAAC,QAAQ;IAChB,OAAO,CAAC,aAAa;IACrB,OAAO,CAAC,SAAS;IACjB,OAAO,CAAC,YAAY;IACpB,OAAO,CAAC,UAAU;IAjBpB,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAyB;IACrD,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAA8B;IAE5D,MAAM,CAAC,QAAQ,CAAC,UAAU,EAAE,WAAW,EAAE,CAOvC;gBAGQ,QAAQ,EAAE,MAAM,EAChB,aAAa,EAAE,MAAM,EACrB,SAAS,EAAE,MAAM,EACjB,YAAY,EAAE,MAAM,EACpB,UAAU,EAAE,MAAM;IAKtB,OAAO,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;CAmClD"}

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

@@ -0,0 +1,66 @@
+import { Field, TypeTag, Uint1 } from '../avm_memory_types.js';
+import { InstructionExecutionError } from '../errors.js';
+import { Opcode, OperandType } from '../serialization/instruction_serialization.js';
+import { Addressing } from './addressing_mode.js';
+import { Instruction } from './instruction.js';
+export var ContractInstanceMember = /*#__PURE__*/ function(ContractInstanceMember) {
+    ContractInstanceMember[ContractInstanceMember["DEPLOYER"] = 0] = "DEPLOYER";
+    ContractInstanceMember[ContractInstanceMember["CLASS_ID"] = 1] = "CLASS_ID";
+    ContractInstanceMember[ContractInstanceMember["INIT_HASH"] = 2] = "INIT_HASH";
+    return ContractInstanceMember;
+}({});
+export class GetContractInstance extends Instruction {
+    indirect;
+    addressOffset;
+    dstOffset;
+    existsOffset;
+    memberEnum;
+    static type = 'GETCONTRACTINSTANCE';
+    static opcode = Opcode.GETCONTRACTINSTANCE;
+    // Informs (de)serialization. See Instruction.deserialize.
+    static wireFormat = [
+        OperandType.UINT8,
+        OperandType.UINT8,
+        OperandType.UINT16,
+        OperandType.UINT16,
+        OperandType.UINT16,
+        OperandType.UINT8
+    ];
+    constructor(indirect, addressOffset, dstOffset, existsOffset, memberEnum){
+        super(), this.indirect = indirect, this.addressOffset = addressOffset, this.dstOffset = dstOffset, this.existsOffset = existsOffset, this.memberEnum = memberEnum;
+    }
+    async execute(context) {
+        const memory = context.machineState.memory;
+        context.machineState.consumeGas(this.gasCost());
+        if (!(this.memberEnum in ContractInstanceMember)) {
+            throw new InstructionExecutionError(`Invalid GETCONSTRACTINSTANCE member enum ${this.memberEnum}`);
+        }
+        const operands = [
+            this.addressOffset,
+            this.dstOffset,
+            this.existsOffset
+        ];
+        const addressing = Addressing.fromWire(this.indirect, operands.length);
+        const [addressOffset, dstOffset, existsOffset] = addressing.resolve(operands, memory);
+        memory.checkTag(TypeTag.FIELD, addressOffset);
+        const address = memory.get(addressOffset).toAztecAddress();
+        const instance = await context.persistableState.getContractInstance(address);
+        const exists = instance !== undefined;
+        let memberValue = new Field(0);
+        if (exists) {
+            switch(this.memberEnum){
+                case 0:
+                    memberValue = new Field(instance.deployer.toField());
+                    break;
+                case 1:
+                    memberValue = new Field(instance.currentContractClassId.toField());
+                    break;
+                case 2:
+                    memberValue = new Field(instance.initializationHash);
+                    break;
+            }
+        }
+        memory.set(existsOffset, new Uint1(exists ? 1 : 0));
+        memory.set(dstOffset, memberValue);
+    }
+}

package/dest/public/avm/opcodes/control_flow.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"control_flow.d.ts","sourceRoot":"","sources":["../../../../src/public/avm/opcodes/control_flow.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAGpD,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,+CAA+C,CAAC;AAEpF,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAE/C,qBAAa,IAAK,SAAQ,WAAW;IAMvB,OAAO,CAAC,UAAU;IAL9B,MAAM,CAAC,IAAI,EAAE,MAAM,CAAU;IAC7B,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAkB;IAEhD,MAAM,CAAC,QAAQ,CAAC,UAAU,EAAE,WAAW,EAAE,CAA2C;gBAEhE,UAAU,EAAE,MAAM;IAIzB,OAAO,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;IAMxC,SAAS,IAAI,OAAO;CAGrC;AAED,qBAAa,KAAM,SAAQ,WAAW;IAYxB,OAAO,CAAC,QAAQ;IAAU,OAAO,CAAC,UAAU;IAAU,OAAO,CAAC,GAAG;IAX7E,MAAM,CAAC,IAAI,EAAE,MAAM,CAAW;IAC9B,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAmB;IAGjD,MAAM,CAAC,QAAQ,CAAC,UAAU,EAAE,WAAW,EAAE,CAKvC;gBAEkB,QAAQ,EAAE,MAAM,EAAU,UAAU,EAAE,MAAM,EAAU,GAAG,EAAE,MAAM;IAIxE,OAAO,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;IAgBxC,SAAS,IAAI,OAAO;CAGrC;AAED,qBAAa,YAAa,SAAQ,WAAW;IAM/B,OAAO,CAAC,GAAG;IALvB,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAkB;IAC9C,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAuB;IAErD,MAAM,CAAC,QAAQ,CAAC,UAAU,EAAE,WAAW,EAAE,CAA2C;gBAEhE,GAAG,EAAE,MAAM;IAIlB,OAAO,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;IAUxC,SAAS,IAAI,OAAO;CAGrC;AAED,qBAAa,cAAe,SAAQ,WAAW;IAC7C,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAoB;IAChD,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAyB;IAEvD,MAAM,CAAC,QAAQ,CAAC,UAAU,EAAE,WAAW,EAAE,CAAuB;;IAMnD,OAAO,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;IAUxC,SAAS,IAAI,OAAO;CAGrC"}

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

@@ -0,0 +1,105 @@
+import { InstructionExecutionError } from '../errors.js';
+import { Opcode, OperandType } from '../serialization/instruction_serialization.js';
+import { Addressing } from './addressing_mode.js';
+import { Instruction } from './instruction.js';
+export class Jump extends Instruction {
+    jumpOffset;
+    static type = 'JUMP';
+    static opcode = Opcode.JUMP_32;
+    // Informs (de)serialization. See Instruction.deserialize.
+    static wireFormat = [
+        OperandType.UINT8,
+        OperandType.UINT32
+    ];
+    constructor(jumpOffset){
+        super(), this.jumpOffset = jumpOffset;
+    }
+    async execute(context) {
+        context.machineState.consumeGas(this.gasCost());
+        context.machineState.pc = this.jumpOffset;
+    }
+    handlesPC() {
+        return true;
+    }
+}
+export class JumpI extends Instruction {
+    indirect;
+    condOffset;
+    loc;
+    static type = 'JUMPI';
+    static opcode = Opcode.JUMPI_32;
+    // Instruction wire format with opcode.
+    static wireFormat = [
+        OperandType.UINT8,
+        OperandType.UINT8,
+        OperandType.UINT16,
+        OperandType.UINT32
+    ];
+    constructor(indirect, condOffset, loc){
+        super(), this.indirect = indirect, this.condOffset = condOffset, this.loc = loc;
+    }
+    async execute(context) {
+        const memory = context.machineState.memory;
+        context.machineState.consumeGas(this.gasCost());
+        const operands = [
+            this.condOffset
+        ];
+        const addressing = Addressing.fromWire(this.indirect, operands.length);
+        const [condOffset] = addressing.resolve(operands, memory);
+        const condition = memory.getAs(condOffset);
+        if (condition.toBigInt() == 0n) {
+            context.machineState.pc = context.machineState.nextPc;
+        } else {
+            context.machineState.pc = this.loc;
+        }
+    }
+    handlesPC() {
+        return true;
+    }
+}
+export class InternalCall extends Instruction {
+    loc;
+    static type = 'INTERNALCALL';
+    static opcode = Opcode.INTERNALCALL;
+    // Informs (de)serialization. See Instruction.deserialize.
+    static wireFormat = [
+        OperandType.UINT8,
+        OperandType.UINT32
+    ];
+    constructor(loc){
+        super(), this.loc = loc;
+    }
+    async execute(context) {
+        context.machineState.consumeGas(this.gasCost());
+        context.machineState.internalCallStack.push({
+            callPc: context.machineState.pc,
+            returnPc: context.machineState.nextPc
+        });
+        context.machineState.pc = this.loc;
+    }
+    handlesPC() {
+        return true;
+    }
+}
+export class InternalReturn extends Instruction {
+    static type = 'INTERNALRETURN';
+    static opcode = Opcode.INTERNALRETURN;
+    // Informs (de)serialization. See Instruction.deserialize.
+    static wireFormat = [
+        OperandType.UINT8
+    ];
+    constructor(){
+        super();
+    }
+    async execute(context) {
+        context.machineState.consumeGas(this.gasCost());
+        const stackEntry = context.machineState.internalCallStack.pop();
+        if (stackEntry === undefined) {
+            throw new InstructionExecutionError('Internal call stack empty!');
+        }
+        context.machineState.pc = stackEntry.returnPc;
+    }
+    handlesPC() {
+        return true;
+    }
+}

package/dest/{avm → public/avm}/opcodes/conversion.d.ts

@@ -1,4 +1,4 @@
-import { type AvmContext } from '../avm_context.js';
+import type { AvmContext } from '../avm_context.js';
 import { Opcode, OperandType } from '../serialization/instruction_serialization.js';
 import { Instruction } from './instruction.js';
 export declare class ToRadixBE extends Instruction {

package/dest/public/avm/opcodes/conversion.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"conversion.d.ts","sourceRoot":"","sources":["../../../../src/public/avm/opcodes/conversion.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAGpD,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,+CAA+C,CAAC;AAEpF,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAE/C,qBAAa,SAAU,SAAQ,WAAW;IAgBtC,OAAO,CAAC,QAAQ;IAChB,OAAO,CAAC,SAAS;IACjB,OAAO,CAAC,WAAW;IACnB,OAAO,CAAC,cAAc;IACtB,OAAO,CAAC,gBAAgB;IACxB,OAAO,CAAC,SAAS;IApBnB,MAAM,CAAC,IAAI,EAAE,MAAM,CAAe;IAClC,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAoB;IAGlD,MAAM,CAAC,QAAQ,CAAC,UAAU,EAAE,WAAW,EAAE,CAQvC;gBAGQ,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,WAAW,EAAE,MAAM,EACnB,cAAc,EAAE,MAAM,EACtB,gBAAgB,EAAE,MAAM,EACxB,SAAS,EAAE,MAAM;IAKd,OAAO,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;CA8CzD"}

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

@@ -0,0 +1,69 @@
+import { TypeTag, Uint1, Uint8 } from '../avm_memory_types.js';
+import { InvalidToRadixInputsError } from '../errors.js';
+import { Opcode, OperandType } from '../serialization/instruction_serialization.js';
+import { Addressing } from './addressing_mode.js';
+import { Instruction } from './instruction.js';
+export class ToRadixBE extends Instruction {
+    indirect;
+    srcOffset;
+    radixOffset;
+    numLimbsOffset;
+    outputBitsOffset;
+    dstOffset;
+    static type = 'TORADIXBE';
+    static opcode = Opcode.TORADIXBE;
+    // Informs (de)serialization. See Instruction.deserialize.
+    static wireFormat = [
+        OperandType.UINT8,
+        OperandType.UINT16,
+        OperandType.UINT16,
+        OperandType.UINT16,
+        OperandType.UINT16,
+        OperandType.UINT16,
+        OperandType.UINT16
+    ];
+    constructor(indirect, srcOffset, radixOffset, numLimbsOffset, outputBitsOffset, dstOffset){
+        super(), this.indirect = indirect, this.srcOffset = srcOffset, this.radixOffset = radixOffset, this.numLimbsOffset = numLimbsOffset, this.outputBitsOffset = outputBitsOffset, this.dstOffset = dstOffset;
+    }
+    async execute(context) {
+        const memory = context.machineState.memory;
+        const operands = [
+            this.srcOffset,
+            this.radixOffset,
+            this.numLimbsOffset,
+            this.outputBitsOffset,
+            this.dstOffset
+        ];
+        const addressing = Addressing.fromWire(this.indirect, operands.length);
+        const [srcOffset, radixOffset, numLimbsOffset, outputBitsOffset, dstOffset] = addressing.resolve(operands, memory);
+        // The radix gadget only takes in a Field
+        memory.checkTag(TypeTag.FIELD, srcOffset);
+        memory.checkTag(TypeTag.UINT32, radixOffset);
+        memory.checkTag(TypeTag.UINT32, numLimbsOffset);
+        memory.checkTag(TypeTag.UINT1, outputBitsOffset);
+        const numLimbs = memory.get(numLimbsOffset).toNumber();
+        context.machineState.consumeGas(this.gasCost(numLimbs));
+        const outputBits = memory.get(outputBitsOffset).toNumber();
+        let value = memory.get(srcOffset).toBigInt();
+        const radix = memory.get(radixOffset).toBigInt();
+        if (radix < 2 || radix > 256) {
+            throw new InvalidToRadixInputsError(`ToRadixBE instruction's radix should be in range [2,256] (was ${radix}).`);
+        }
+        if (numLimbs < 1 && value != BigInt(0n)) {
+            throw new InvalidToRadixInputsError(`ToRadixBE instruction's input value is not zero (was ${value}) but numLimbs zero.`);
+        }
+        if (outputBits != 0 && radix != BigInt(2n)) {
+            throw new InvalidToRadixInputsError(`Radix ${radix} is not equal to 2 and bit mode is activated.`);
+        }
+        const radixBN = BigInt(radix);
+        const limbArray = new Array(numLimbs);
+        for(let i = numLimbs - 1; i >= 0; i--){
+            const limb = value % radixBN;
+            limbArray[i] = limb;
+            value /= radixBN;
+        }
+        const outputType = outputBits != 0 ? Uint1 : Uint8;
+        const res = limbArray.map((byte)=>new outputType(byte));
+        memory.setSlice(dstOffset, res);
+    }
+}

package/dest/{avm → public/avm}/opcodes/ec_add.d.ts

@@ -1,4 +1,4 @@
-import { type AvmContext } from '../avm_context.js';
+import type { AvmContext } from '../avm_context.js';
 import { Opcode, OperandType } from '../serialization/instruction_serialization.js';
 import { Instruction } from './instruction.js';
 export declare class EcAdd extends Instruction {

package/dest/public/avm/opcodes/ec_add.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ec_add.d.ts","sourceRoot":"","sources":["../../../../src/public/avm/opcodes/ec_add.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAEpD,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,+CAA+C,CAAC;AAEpF,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAE/C,qBAAa,KAAM,SAAQ,WAAW;IAkBlC,OAAO,CAAC,QAAQ;IAChB,OAAO,CAAC,SAAS;IACjB,OAAO,CAAC,SAAS;IACjB,OAAO,CAAC,kBAAkB;IAC1B,OAAO,CAAC,SAAS;IACjB,OAAO,CAAC,SAAS;IACjB,OAAO,CAAC,kBAAkB;IAC1B,OAAO,CAAC,SAAS;IAxBnB,MAAM,CAAC,IAAI,EAAE,MAAM,CAAW;IAC9B,MAAM,CAAC,QAAQ,CAAC,MAAM,gBAAgB;IAGtC,MAAM,CAAC,QAAQ,CAAC,UAAU,EAAE,WAAW,EAAE,CAUvC;gBAGQ,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,SAAS,EAAE,MAAM,EACjB,kBAAkB,EAAE,MAAM,EAC1B,SAAS,EAAE,MAAM,EACjB,SAAS,EAAE,MAAM,EACjB,kBAAkB,EAAE,MAAM,EAC1B,SAAS,EAAE,MAAM;IAKd,OAAO,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;CAqDzD"}

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

@@ -0,0 +1,84 @@
+import { Grumpkin } from '@aztec/foundation/crypto';
+import { Point } from '@aztec/foundation/fields';
+import { Field, TypeTag, Uint1 } from '../avm_memory_types.js';
+import { Opcode, OperandType } from '../serialization/instruction_serialization.js';
+import { Addressing } from './addressing_mode.js';
+import { Instruction } from './instruction.js';
+export class EcAdd extends Instruction {
+    indirect;
+    p1XOffset;
+    p1YOffset;
+    p1IsInfiniteOffset;
+    p2XOffset;
+    p2YOffset;
+    p2IsInfiniteOffset;
+    dstOffset;
+    static type = 'ECADD';
+    static opcode = Opcode.ECADD;
+    // Informs (de)serialization. See Instruction.deserialize.
+    static wireFormat = [
+        OperandType.UINT8,
+        OperandType.UINT16,
+        OperandType.UINT16,
+        OperandType.UINT16,
+        OperandType.UINT16,
+        OperandType.UINT16,
+        OperandType.UINT16,
+        OperandType.UINT16,
+        OperandType.UINT16
+    ];
+    constructor(indirect, p1XOffset, p1YOffset, p1IsInfiniteOffset, p2XOffset, p2YOffset, p2IsInfiniteOffset, dstOffset){
+        super(), this.indirect = indirect, this.p1XOffset = p1XOffset, this.p1YOffset = p1YOffset, this.p1IsInfiniteOffset = p1IsInfiniteOffset, this.p2XOffset = p2XOffset, this.p2YOffset = p2YOffset, this.p2IsInfiniteOffset = p2IsInfiniteOffset, this.dstOffset = dstOffset;
+    }
+    async execute(context) {
+        const memory = context.machineState.memory;
+        context.machineState.consumeGas(this.gasCost());
+        const operands = [
+            this.p1XOffset,
+            this.p1YOffset,
+            this.p1IsInfiniteOffset,
+            this.p2XOffset,
+            this.p2YOffset,
+            this.p2IsInfiniteOffset,
+            this.dstOffset
+        ];
+        const addressing = Addressing.fromWire(this.indirect, operands.length);
+        const [p1XOffset, p1YOffset, p1IsInfiniteOffset, p2XOffset, p2YOffset, p2IsInfiniteOffset, dstOffset] = addressing.resolve(operands, memory);
+        memory.checkTags(TypeTag.FIELD, p1XOffset, p1YOffset, p2XOffset, p2YOffset);
+        memory.checkTags(TypeTag.UINT1, p1IsInfiniteOffset, p2IsInfiniteOffset);
+        const p1X = memory.get(p1XOffset);
+        const p1Y = memory.get(p1YOffset);
+        const p1IsInfinite = memory.get(p1IsInfiniteOffset).toNumber() === 1;
+        const p1 = new Point(p1X.toFr(), p1Y.toFr(), p1IsInfinite);
+        if (!p1.isOnGrumpkin()) {
+            throw new Error(`Point1 is not on the curve`);
+        }
+        const p2X = memory.get(p2XOffset);
+        const p2Y = memory.get(p2YOffset);
+        // unused. Point doesn't store this information
+        const p2IsInfinite = memory.get(p2IsInfiniteOffset).toNumber() === 1;
+        const p2 = new Point(p2X.toFr(), p2Y.toFr(), p2IsInfinite);
+        if (!p2.isOnGrumpkin()) {
+            throw new Error(`Point1 is not on the curve`);
+        }
+        const grumpkin = new Grumpkin();
+        let dest;
+        if (p1IsInfinite) {
+            dest = p2;
+        } else if (p2IsInfinite) {
+            dest = p1;
+        } else {
+            dest = await grumpkin.add(p1, p2);
+        }
+        // Important to use setSlice() and not set() in the two following statements as
+        // this checks that the offsets lie within memory range.
+        memory.setSlice(dstOffset, [
+            new Field(dest.x),
+            new Field(dest.y)
+        ]);
+        // Check representation of infinity for grumpkin
+        memory.setSlice(dstOffset + 2, [
+            new Uint1(dest.equals(Point.ZERO) ? 1 : 0)
+        ]);
+    }
+}

package/dest/public/avm/opcodes/environment_getters.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"environment_getters.d.ts","sourceRoot":"","sources":["../../../../src/public/avm/opcodes/environment_getters.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAGpD,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,+CAA+C,CAAC;AAEpF,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAE/C,oBAAY,mBAAmB;IAC7B,OAAO,IAAA;IACP,MAAM,IAAA;IACN,cAAc,IAAA;IACd,OAAO,IAAA;IACP,OAAO,IAAA;IACP,WAAW,IAAA;IACX,SAAS,IAAA;IACT,WAAW,IAAA;IACX,WAAW,IAAA;IACX,YAAY,IAAA;IACZ,SAAS,KAAA;IACT,SAAS,KAAA;CACV;AAiCD,qBAAa,SAAU,SAAQ,WAAW;IAU5B,OAAO,CAAC,QAAQ;IAAU,OAAO,CAAC,SAAS;IAAU,OAAO,CAAC,OAAO;IAThF,gBAAuB,IAAI,EAAE,MAAM,CAAe;IAClD,gBAAuB,MAAM,EAAE,MAAM,CAAuB;IAC5D,MAAM,CAAC,QAAQ,CAAC,YAAY,EAAE,WAAW,EAAE,CAKzC;gBAEkB,QAAQ,EAAE,MAAM,EAAU,SAAS,EAAE,MAAM,EAAU,OAAO,EAAE,MAAM;IAI3E,OAAO,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;CAczD"}

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

@@ -0,0 +1,79 @@
+import { Field, Uint64 } from '../avm_memory_types.js';
+import { InstructionExecutionError } from '../errors.js';
+import { Opcode, OperandType } from '../serialization/instruction_serialization.js';
+import { Addressing } from './addressing_mode.js';
+import { Instruction } from './instruction.js';
+export var EnvironmentVariable = /*#__PURE__*/ function(EnvironmentVariable) {
+    EnvironmentVariable[EnvironmentVariable["ADDRESS"] = 0] = "ADDRESS";
+    EnvironmentVariable[EnvironmentVariable["SENDER"] = 1] = "SENDER";
+    EnvironmentVariable[EnvironmentVariable["TRANSACTIONFEE"] = 2] = "TRANSACTIONFEE";
+    EnvironmentVariable[EnvironmentVariable["CHAINID"] = 3] = "CHAINID";
+    EnvironmentVariable[EnvironmentVariable["VERSION"] = 4] = "VERSION";
+    EnvironmentVariable[EnvironmentVariable["BLOCKNUMBER"] = 5] = "BLOCKNUMBER";
+    EnvironmentVariable[EnvironmentVariable["TIMESTAMP"] = 6] = "TIMESTAMP";
+    EnvironmentVariable[EnvironmentVariable["FEEPERL2GAS"] = 7] = "FEEPERL2GAS";
+    EnvironmentVariable[EnvironmentVariable["FEEPERDAGAS"] = 8] = "FEEPERDAGAS";
+    EnvironmentVariable[EnvironmentVariable["ISSTATICCALL"] = 9] = "ISSTATICCALL";
+    EnvironmentVariable[EnvironmentVariable["L2GASLEFT"] = 10] = "L2GASLEFT";
+    EnvironmentVariable[EnvironmentVariable["DAGASLEFT"] = 11] = "DAGASLEFT";
+    return EnvironmentVariable;
+}({});
+function getValue(e, ctx) {
+    switch(e){
+        case 0:
+            return new Field(ctx.environment.address.toField());
+        case 1:
+            return new Field(ctx.environment.sender.toField());
+        case 2:
+            return new Field(ctx.environment.transactionFee);
+        case 3:
+            return new Field(ctx.environment.globals.chainId);
+        case 4:
+            return new Field(ctx.environment.globals.version);
+        case 5:
+            return new Field(ctx.environment.globals.blockNumber);
+        case 6:
+            return new Uint64(ctx.environment.globals.timestamp.toBigInt());
+        case 7:
+            return new Field(ctx.environment.globals.gasFees.feePerL2Gas);
+        case 8:
+            return new Field(ctx.environment.globals.gasFees.feePerDaGas);
+        case 9:
+            return new Field(ctx.environment.isStaticCall ? 1 : 0);
+        case 10:
+            return new Field(ctx.machineState.l2GasLeft);
+        case 11:
+            return new Field(ctx.machineState.daGasLeft);
+        default:
+            throw new Error(`Unknown environment variable ${e}`);
+    }
+}
+export class GetEnvVar extends Instruction {
+    indirect;
+    dstOffset;
+    varEnum;
+    static type = 'GETENVVAR';
+    static opcode = Opcode.GETENVVAR_16;
+    static wireFormat16 = [
+        OperandType.UINT8,
+        OperandType.UINT8,
+        OperandType.UINT16,
+        OperandType.UINT8
+    ];
+    constructor(indirect, dstOffset, varEnum){
+        super(), this.indirect = indirect, this.dstOffset = dstOffset, this.varEnum = varEnum;
+    }
+    async execute(context) {
+        const memory = context.machineState.memory;
+        context.machineState.consumeGas(this.gasCost());
+        if (!(this.varEnum in EnvironmentVariable)) {
+            throw new InstructionExecutionError(`Invalid GETENVVAR var enum ${this.varEnum}`);
+        }
+        const operands = [
+            this.dstOffset
+        ];
+        const addressing = Addressing.fromWire(this.indirect, operands.length);
+        const [dstOffset] = addressing.resolve(operands, memory);
+        memory.set(dstOffset, getValue(this.varEnum, context));
+    }
+}

package/dest/public/avm/opcodes/external_calls.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"external_calls.d.ts","sourceRoot":"","sources":["../../../../src/public/avm/opcodes/external_calls.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAGpD,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,+CAA+C,CAAC;AAEpF,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAE/C,uBAAe,YAAa,SAAQ,WAAW;IAa3C,OAAO,CAAC,QAAQ;IAChB,OAAO,CAAC,SAAS;IACjB,OAAO,CAAC,UAAU;IAClB,OAAO,CAAC,UAAU;IAClB,OAAO,CAAC,cAAc;IACtB,OAAO,CAAC,aAAa;IAhBvB,MAAM,CAAC,QAAQ,CAAC,UAAU,EAAE,WAAW,EAAE,CAQvC;gBAGQ,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,UAAU,EAAE,MAAM,EAClB,UAAU,EAAE,MAAM,EAClB,cAAc,EAAE,MAAM,EACtB,aAAa,EAAE,MAAM;IAKlB,OAAO,CAAC,OAAO,EAAE,UAAU;IAmExC,aAA6B,IAAI,IAAI,MAAM,GAAG,YAAY,CAAC;CAC5D;AAED,qBAAa,IAAK,SAAQ,YAAY;IACpC,MAAM,CAAC,IAAI,SAAmB;IAC9B,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAe;IAE7C,IAAW,IAAI,WAEd;CACF;AAED,qBAAa,UAAW,SAAQ,YAAY;IAC1C,MAAM,CAAC,IAAI,eAAyB;IACpC,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAqB;IAEnD,IAAW,IAAI,iBAEd;CACF;AAED,qBAAa,MAAO,SAAQ,WAAW;IAWzB,OAAO,CAAC,QAAQ;IAAU,OAAO,CAAC,YAAY;IAAU,OAAO,CAAC,gBAAgB;IAV5F,MAAM,CAAC,IAAI,EAAE,MAAM,CAAY;IAC/B,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAiB;IAE/C,MAAM,CAAC,QAAQ,CAAC,UAAU,EAAE,WAAW,EAAE,CAKvC;gBAEkB,QAAQ,EAAE,MAAM,EAAU,YAAY,EAAE,MAAM,EAAU,gBAAgB,EAAE,MAAM;IAIvF,OAAO,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;IAgBxC,SAAS,IAAI,OAAO;CAGrC;AAED,qBAAa,MAAO,SAAQ,WAAW;IAiBzB,OAAO,CAAC,QAAQ;IAAU,OAAO,CAAC,YAAY;IAAU,OAAO,CAAC,aAAa;IAhBzF,MAAM,CAAC,IAAI,EAAE,MAAM,CAAY;IAC/B,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAmB;IAEjD,MAAM,CAAC,QAAQ,CAAC,WAAW,EAAE,WAAW,EAAE,CAKxC;IACF,MAAM,CAAC,QAAQ,CAAC,YAAY,EAAE,WAAW,EAAE,CAKzC;gBAEkB,QAAQ,EAAE,MAAM,EAAU,YAAY,EAAE,MAAM,EAAU,aAAa,EAAE,MAAM;IAIpF,OAAO,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;IAiBxC,SAAS,IAAI,OAAO;CAGrC"}