@aztec/simulator 0.0.1-commit.b655e406 → 0.0.1-commit.b8a057fa

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

@@ -1,255 +0,0 @@
-import { NullifierCollisionError } from '../../side_effect_errors.js';
-import { TypeTag, Uint1 } from '../avm_memory_types.js';
-import { InstructionExecutionError, StaticCallAlterationError } from '../errors.js';
-import { Opcode, OperandType } from '../serialization/instruction_serialization.js';
-import { Addressing } from './addressing_mode.js';
-import { Instruction } from './instruction.js';
-export class NoteHashExists extends Instruction {
-    indirect;
-    noteHashOffset;
-    leafIndexOffset;
-    existsOffset;
-    static type = 'NOTEHASHEXISTS';
-    static opcode = Opcode.NOTEHASHEXISTS;
-    // Informs (de)serialization. See Instruction.deserialize.
-    static wireFormat = [
-        OperandType.UINT8,
-        OperandType.UINT8,
-        OperandType.UINT16,
-        OperandType.UINT16,
-        OperandType.UINT16
-    ];
-    constructor(indirect, noteHashOffset, leafIndexOffset, existsOffset){
-        super(), this.indirect = indirect, this.noteHashOffset = noteHashOffset, this.leafIndexOffset = leafIndexOffset, this.existsOffset = existsOffset;
-    }
-    async execute(context) {
-        const memory = context.machineState.memory;
-        const addressing = Addressing.fromWire(this.indirect);
-        context.machineState.consumeGas(this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()));
-        const operands = [
-            this.noteHashOffset,
-            this.leafIndexOffset,
-            this.existsOffset
-        ];
-        const [noteHashOffset, leafIndexOffset, existsOffset] = addressing.resolve(operands, memory);
-        memory.checkTag(TypeTag.FIELD, noteHashOffset);
-        memory.checkTag(TypeTag.UINT64, leafIndexOffset);
-        // Note that this instruction accepts any type in memory, and converts to Field.
-        const noteHash = memory.get(noteHashOffset).toFr();
-        const leafIndex = memory.get(leafIndexOffset).toBigInt();
-        const exists = await context.persistableState.checkNoteHashExists(context.environment.address, noteHash, leafIndex);
-        memory.set(existsOffset, exists ? new Uint1(1) : new Uint1(0));
-    }
-}
-export class EmitNoteHash extends Instruction {
-    indirect;
-    noteHashOffset;
-    static type = 'EMITNOTEHASH';
-    static opcode = Opcode.EMITNOTEHASH;
-    // Informs (de)serialization. See Instruction.deserialize.
-    static wireFormat = [
-        OperandType.UINT8,
-        OperandType.UINT8,
-        OperandType.UINT16
-    ];
-    constructor(indirect, noteHashOffset){
-        super(), this.indirect = indirect, this.noteHashOffset = noteHashOffset;
-    }
-    async execute(context) {
-        const memory = context.machineState.memory;
-        const addressing = Addressing.fromWire(this.indirect);
-        context.machineState.consumeGas(this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()));
-        const operands = [
-            this.noteHashOffset
-        ];
-        const [noteHashOffset] = addressing.resolve(operands, memory);
-        memory.checkTag(TypeTag.FIELD, noteHashOffset);
-        if (context.environment.isStaticCall) {
-            throw new StaticCallAlterationError();
-        }
-        const noteHash = memory.get(noteHashOffset).toFr();
-        await context.persistableState.writeNoteHash(context.environment.address, noteHash);
-    }
-}
-export class NullifierExists extends Instruction {
-    indirect;
-    nullifierOffset;
-    addressOffset;
-    existsOffset;
-    static type = 'NULLIFIEREXISTS';
-    static opcode = Opcode.NULLIFIEREXISTS;
-    // Informs (de)serialization. See Instruction.deserialize.
-    static wireFormat = [
-        OperandType.UINT8,
-        OperandType.UINT8,
-        OperandType.UINT16,
-        OperandType.UINT16,
-        OperandType.UINT16
-    ];
-    constructor(indirect, nullifierOffset, addressOffset, existsOffset){
-        super(), this.indirect = indirect, this.nullifierOffset = nullifierOffset, this.addressOffset = addressOffset, this.existsOffset = existsOffset;
-    }
-    async execute(context) {
-        const memory = context.machineState.memory;
-        const addressing = Addressing.fromWire(this.indirect);
-        context.machineState.consumeGas(this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()));
-        const operands = [
-            this.nullifierOffset,
-            this.addressOffset,
-            this.existsOffset
-        ];
-        const [nullifierOffset, addressOffset, existsOffset] = addressing.resolve(operands, memory);
-        memory.checkTags(TypeTag.FIELD, nullifierOffset, addressOffset);
-        const nullifier = memory.get(nullifierOffset).toFr();
-        const address = memory.get(addressOffset).toAztecAddress();
-        const exists = await context.persistableState.checkNullifierExists(address, nullifier);
-        memory.set(existsOffset, exists ? new Uint1(1) : new Uint1(0));
-    }
-}
-export class EmitNullifier extends Instruction {
-    indirect;
-    nullifierOffset;
-    static type = 'EMITNULLIFIER';
-    static opcode = Opcode.EMITNULLIFIER;
-    // Informs (de)serialization. See Instruction.deserialize.
-    static wireFormat = [
-        OperandType.UINT8,
-        OperandType.UINT8,
-        OperandType.UINT16
-    ];
-    constructor(indirect, nullifierOffset){
-        super(), this.indirect = indirect, this.nullifierOffset = nullifierOffset;
-    }
-    async execute(context) {
-        if (context.environment.isStaticCall) {
-            throw new StaticCallAlterationError();
-        }
-        const memory = context.machineState.memory;
-        const addressing = Addressing.fromWire(this.indirect);
-        context.machineState.consumeGas(this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()));
-        const operands = [
-            this.nullifierOffset
-        ];
-        const [nullifierOffset] = addressing.resolve(operands, memory);
-        memory.checkTag(TypeTag.FIELD, nullifierOffset);
-        const nullifier = memory.get(nullifierOffset).toFr();
-        try {
-            await context.persistableState.writeNullifier(context.environment.address, nullifier);
-        } catch (e) {
-            if (e instanceof NullifierCollisionError) {
-                // Error is known/expected, raise as InstructionExecutionError that the will lead the simulator to revert this call
-                throw new InstructionExecutionError(`Attempted to emit duplicate nullifier ${nullifier} (contract address: ${context.environment.address}).`);
-            } else {
-                throw e;
-            }
-        }
-    }
-}
-export class L1ToL2MessageExists extends Instruction {
-    indirect;
-    msgHashOffset;
-    msgLeafIndexOffset;
-    existsOffset;
-    static type = 'L1TOL2MSGEXISTS';
-    static opcode = Opcode.L1TOL2MSGEXISTS;
-    // Informs (de)serialization. See Instruction.deserialize.
-    static wireFormat = [
-        OperandType.UINT8,
-        OperandType.UINT8,
-        OperandType.UINT16,
-        OperandType.UINT16,
-        OperandType.UINT16
-    ];
-    constructor(indirect, msgHashOffset, msgLeafIndexOffset, existsOffset){
-        super(), this.indirect = indirect, this.msgHashOffset = msgHashOffset, this.msgLeafIndexOffset = msgLeafIndexOffset, this.existsOffset = existsOffset;
-    }
-    async execute(context) {
-        const memory = context.machineState.memory;
-        const addressing = Addressing.fromWire(this.indirect);
-        context.machineState.consumeGas(this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()));
-        const operands = [
-            this.msgHashOffset,
-            this.msgLeafIndexOffset,
-            this.existsOffset
-        ];
-        const [msgHashOffset, msgLeafIndexOffset, existsOffset] = addressing.resolve(operands, memory);
-        memory.checkTag(TypeTag.FIELD, msgHashOffset);
-        memory.checkTag(TypeTag.UINT64, msgLeafIndexOffset);
-        const msgHash = memory.get(msgHashOffset).toFr();
-        const msgLeafIndex = memory.get(msgLeafIndexOffset).toFr();
-        const exists = await context.persistableState.checkL1ToL2MessageExists(msgHash, msgLeafIndex);
-        memory.set(existsOffset, exists ? new Uint1(1) : new Uint1(0));
-    }
-}
-export class EmitUnencryptedLog extends Instruction {
-    indirect;
-    logSizeOffset;
-    logOffset;
-    // TODO(#11124): rename unencrypted -> public
-    static type = 'EMITUNENCRYPTEDLOG';
-    static opcode = Opcode.EMITUNENCRYPTEDLOG;
-    // Informs (de)serialization. See Instruction.deserialize.
-    static wireFormat = [
-        OperandType.UINT8,
-        OperandType.UINT8,
-        OperandType.UINT16,
-        OperandType.UINT16
-    ];
-    constructor(indirect, logSizeOffset, logOffset){
-        super(), this.indirect = indirect, this.logSizeOffset = logSizeOffset, this.logOffset = logOffset;
-    }
-    async execute(context) {
-        if (context.environment.isStaticCall) {
-            throw new StaticCallAlterationError();
-        }
-        const memory = context.machineState.memory;
-        const addressing = Addressing.fromWire(this.indirect);
-        context.machineState.consumeGas(this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()));
-        const operands = [
-            this.logSizeOffset,
-            this.logOffset
-        ];
-        const [logSizeOffset, logOffset] = addressing.resolve(operands, memory);
-        memory.checkTag(TypeTag.UINT32, logSizeOffset);
-        const logSize = memory.get(logSizeOffset).toNumber();
-        memory.checkTagsRange(TypeTag.FIELD, logOffset, logSize);
-        const contractAddress = context.environment.address;
-        context.machineState.consumeGas(this.dynamicGasCost(logSize));
-        const log = memory.getSlice(logOffset, logSize).map((f)=>f.toFr());
-        context.persistableState.writePublicLog(contractAddress, log);
-    }
-}
-export class SendL2ToL1Message extends Instruction {
-    indirect;
-    recipientOffset;
-    contentOffset;
-    static type = 'SENDL2TOL1MSG';
-    static opcode = Opcode.SENDL2TOL1MSG;
-    // Informs (de)serialization. See Instruction.deserialize.
-    static wireFormat = [
-        OperandType.UINT8,
-        OperandType.UINT8,
-        OperandType.UINT16,
-        OperandType.UINT16
-    ];
-    constructor(indirect, recipientOffset, contentOffset){
-        super(), this.indirect = indirect, this.recipientOffset = recipientOffset, this.contentOffset = contentOffset;
-    }
-    async execute(context) {
-        if (context.environment.isStaticCall) {
-            throw new StaticCallAlterationError();
-        }
-        const memory = context.machineState.memory;
-        const addressing = Addressing.fromWire(this.indirect);
-        context.machineState.consumeGas(this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()));
-        const operands = [
-            this.recipientOffset,
-            this.contentOffset
-        ];
-        const [recipientOffset, contentOffset] = addressing.resolve(operands, memory);
-        memory.checkTags(TypeTag.FIELD, recipientOffset, contentOffset);
-        const recipient = memory.get(recipientOffset).toFr();
-        const content = memory.get(contentOffset).toFr();
-        context.persistableState.writeL2ToL1Message(context.environment.address, recipient, content);
-    }
-}

package/dest/public/avm/opcodes/addressing_mode.d.ts

@@ -1,31 +0,0 @@
-import { AVM_MAX_OPERANDS } from '@aztec/constants';
-import type { Tuple } from '@aztec/foundation/serialize';
-import { type TaggedMemoryInterface } from '../avm_memory_types.js';
-export declare enum AddressingMode {
-    DIRECT = 0,
-    INDIRECT = 1,
-    RELATIVE = 2,
-    INDIRECT_RELATIVE = 3
-}
-/** A class to represent the addressing mode of an instruction. */
-export declare class Addressing {
-    /** The addressing mode for each possible operand. */
-    private readonly modePerOperand;
-    constructor(
-    /** The addressing mode for each possible operand. */
-    modePerOperand: Tuple<AddressingMode, typeof AVM_MAX_OPERANDS>);
-    static fromModes(modes: AddressingMode[]): Addressing;
-    static fromWire(wireModes: number): Addressing;
-    toWire(): number;
-    indirectOperandsCount(): number;
-    relativeOperandsCount(): number;
-    /**
-     * Resolves the offsets using the addressing mode.
-     * @param offsets The offsets to resolve.
-     * @param mem The memory to use for resolution.
-     * @returns The resolved offsets. The length of the returned array is the same as the length of the input array and the resolved offsets are guaranteed to be valid addresses.
-     * @throws An error if any step failed. Should be treated as a black box.
-     */
-    resolve(offsets: number[], mem: TaggedMemoryInterface): number[];
-}
-//# sourceMappingURL=addressing_mode.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"addressing_mode.d.ts","sourceRoot":"","sources":["../../../../src/public/avm/opcodes/addressing_mode.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAEpD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,6BAA6B,CAAC;AAIzD,OAAO,EAA6B,KAAK,qBAAqB,EAAW,MAAM,wBAAwB,CAAC;AAGxG,oBAAY,cAAc;IACxB,MAAM,IAAI;IACV,QAAQ,IAAI;IACZ,QAAQ,IAAI;IACZ,iBAAiB,IAAI;CACtB;AAED,kEAAkE;AAClE,qBAAa,UAAU;IAEnB,qDAAqD;IACrD,OAAO,CAAC,QAAQ,CAAC,cAAc;;IAD/B,qDAAqD;IACpC,cAAc,EAAE,KAAK,CAAC,cAAc,EAAE,OAAO,gBAAgB,CAAC;WAGnE,SAAS,CAAC,KAAK,EAAE,cAAc,EAAE,GAAG,UAAU;WAK9C,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,UAAU;IAa9C,MAAM,IAAI,MAAM;IAehB,qBAAqB,IAAI,MAAM;IAI/B,qBAAqB,IAAI,MAAM;IAItC;;;;;;OAMG;IACI,OAAO,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE,GAAG,EAAE,qBAAqB,GAAG,MAAM,EAAE;CAuCxE"}

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

@@ -1,94 +0,0 @@
-import { AVM_MAX_OPERANDS } from '@aztec/constants';
-import { padArrayEnd } from '@aztec/foundation/collection';
-import { strict as assert } from 'assert';
-import { TaggedMemory, TypeTag } from '../avm_memory_types.js';
-import { RelativeAddressOutOfRangeError, TagCheckError } from '../errors.js';
-export var AddressingMode = /*#__PURE__*/ function(AddressingMode) {
-    AddressingMode[AddressingMode["DIRECT"] = 0] = "DIRECT";
-    AddressingMode[AddressingMode["INDIRECT"] = 1] = "INDIRECT";
-    AddressingMode[AddressingMode["RELATIVE"] = 2] = "RELATIVE";
-    AddressingMode[AddressingMode["INDIRECT_RELATIVE"] = 3] = "INDIRECT_RELATIVE";
-    return AddressingMode;
-}({});
-/** A class to represent the addressing mode of an instruction. */ export class Addressing {
-    modePerOperand;
-    constructor(/** The addressing mode for each possible operand. */ modePerOperand){
-        this.modePerOperand = modePerOperand;
-    }
-    static fromModes(modes) {
-        assert(modes.length <= AVM_MAX_OPERANDS, 'Too many operands for addressing mode');
-        return new Addressing(padArrayEnd(modes, 0, AVM_MAX_OPERANDS));
-    }
-    static fromWire(wireModes) {
-        // The modes are stored in the wire format as one or two bytes, with each two bits representing the modes for an operand.
-        // Even bits are indirect, odd bits are relative.
-        const modes = new Array(AVM_MAX_OPERANDS);
-        for(let i = 0; i < AVM_MAX_OPERANDS; i++){
-            modes[i] = (wireModes >> i * 2 & 1) * 1 | (wireModes >> i * 2 + 1 & 1) * 2;
-        }
-        // Casting the array to tuple since it should be more performant than using makeTuple
-        return new Addressing(modes);
-    }
-    toWire() {
-        // The modes are stored in the wire format as a byte, with each bit representing the mode for an operand.
-        // The least significant bit represents the zeroth operand, and the least significant bit represents the last operand.
-        let wire = 0;
-        for(let i = 0; i < this.modePerOperand.length; i++){
-            if (this.modePerOperand[i] & 1) {
-                wire |= 1 << i * 2;
-            }
-            if (this.modePerOperand[i] & 2) {
-                wire |= 1 << i * 2 + 1;
-            }
-        }
-        return wire;
-    }
-    indirectOperandsCount() {
-        return this.modePerOperand.filter((mode)=>mode & 1).length;
-    }
-    relativeOperandsCount() {
-        return this.modePerOperand.filter((mode)=>mode & 2).length;
-    }
-    /**
-   * Resolves the offsets using the addressing mode.
-   * @param offsets The offsets to resolve.
-   * @param mem The memory to use for resolution.
-   * @returns The resolved offsets. The length of the returned array is the same as the length of the input array and the resolved offsets are guaranteed to be valid addresses.
-   * @throws An error if any step failed. Should be treated as a black box.
-   */ resolve(offsets, mem) {
-        const resolved = new Array(offsets.length);
-        // These will be read (once) if we have any relative operands.
-        let baseAddr;
-        for (const [i, offset] of offsets.entries()){
-            const mode = this.modePerOperand[i];
-            // The given offsets are assumed to be valid addresses.
-            resolved[i] = offset;
-            if (mode & 2) {
-                if (!baseAddr) {
-                    baseAddr = mem.get(0);
-                    const baseAddrTag = baseAddr.getTag();
-                    if (!TaggedMemory.isValidMemoryAddressTag(baseAddrTag)) {
-                        throw TagCheckError.forOffset(0, TypeTag[baseAddrTag], TypeTag[TypeTag.UINT32]);
-                    }
-                }
-                // Here we know that resolved[i] is at most 32 bits and baseAddr is at most 32 bits.
-                // Therefore, the addition is safe since the `number` type fits more than 33 bits.
-                resolved[i] += Number(baseAddr.toBigInt());
-                if (resolved[i] >= TaggedMemory.MAX_MEMORY_SIZE) {
-                    throw new RelativeAddressOutOfRangeError(Number(baseAddr.toBigInt()), offset);
-                }
-            }
-            if (mode & 1) {
-                // At this point we know that resolved[i] is a valid memory address.
-                const resolvedValue = mem.get(resolved[i]);
-                const resolvedTag = resolvedValue.getTag();
-                // Final check.
-                if (!TaggedMemory.isValidMemoryAddressTag(resolvedTag)) {
-                    throw TagCheckError.forOffset(resolved[i], TypeTag[resolvedTag], TypeTag[TypeTag.UINT32]);
-                }
-                resolved[i] = Number(resolvedValue.toBigInt());
-            }
-        }
-        return resolved;
-    }
-}

package/dest/public/avm/opcodes/arithmetic.d.ts

@@ -1,47 +0,0 @@
-import type { AvmContext } from '../avm_context.js';
-import { type Field, type IntegralValue, type MemoryValue, type TaggedMemoryInterface } from '../avm_memory_types.js';
-import { Opcode } from '../serialization/instruction_serialization.js';
-import { ThreeOperandInstruction } from './instruction_impl.js';
-export declare abstract class ThreeOperandArithmeticInstruction extends ThreeOperandInstruction {
-    execute(context: AvmContext): Promise<void>;
-    protected abstract compute(a: MemoryValue, b: MemoryValue): MemoryValue;
-    protected checkTags(memory: TaggedMemoryInterface, aOffset: number, bOffset: number): void;
-}
-export declare class Add extends ThreeOperandArithmeticInstruction {
-    static readonly type: string;
-    static readonly opcode = Opcode.ADD_8;
-    protected compute(a: MemoryValue, b: MemoryValue): MemoryValue;
-}
-export declare class Sub extends ThreeOperandArithmeticInstruction {
-    static readonly type: string;
-    static readonly opcode = Opcode.SUB_8;
-    protected compute(a: MemoryValue, b: MemoryValue): MemoryValue;
-}
-export declare class Mul extends ThreeOperandArithmeticInstruction {
-    static type: string;
-    static readonly opcode = Opcode.MUL_8;
-    protected compute(a: MemoryValue, b: MemoryValue): MemoryValue;
-}
-export declare class Div extends ThreeOperandArithmeticInstruction {
-    static type: string;
-    static readonly opcode = Opcode.DIV_8;
-    protected compute(a: MemoryValue, b: MemoryValue): MemoryValue;
-    protected checkTags(memory: TaggedMemoryInterface, aOffset: number, bOffset: number): void;
-}
-export declare class FieldDiv extends ThreeOperandArithmeticInstruction {
-    static type: string;
-    static readonly opcode = Opcode.FDIV_8;
-    protected compute(a: Field, b: Field): Field;
-    protected checkTags(memory: TaggedMemoryInterface, aOffset: number, bOffset: number): void;
-}
-export declare class Shl extends ThreeOperandArithmeticInstruction {
-    static readonly type: string;
-    static readonly opcode = Opcode.SHL_8;
-    protected compute(a: IntegralValue, b: IntegralValue): IntegralValue;
-}
-export declare class Shr extends ThreeOperandArithmeticInstruction {
-    static readonly type: string;
-    static readonly opcode = Opcode.SHR_8;
-    protected compute(a: IntegralValue, b: IntegralValue): IntegralValue;
-}
-//# sourceMappingURL=arithmetic.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"arithmetic.d.ts","sourceRoot":"","sources":["../../../../src/public/avm/opcodes/arithmetic.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,EACL,KAAK,KAAK,EACV,KAAK,aAAa,EAClB,KAAK,WAAW,EAEhB,KAAK,qBAAqB,EAE3B,MAAM,wBAAwB,CAAC;AAEhC,OAAO,EAAE,MAAM,EAAE,MAAM,+CAA+C,CAAC;AAEvE,OAAO,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAC;AAEhE,8BAAsB,iCAAkC,SAAQ,uBAAuB;IACxE,OAAO,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;IAmBxD,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,WAAW,GAAG,WAAW;IACvE,SAAS,CAAC,SAAS,CAAC,MAAM,EAAE,qBAAqB,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM;CAGpF;AAED,qBAAa,GAAI,SAAQ,iCAAiC;IACxD,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,WAAW;CAG/D;AAED,qBAAa,GAAI,SAAQ,iCAAiC;IACxD,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,WAAW;CAG/D;AAED,qBAAa,GAAI,SAAQ,iCAAiC;IACxD,MAAM,CAAC,IAAI,EAAE,MAAM,CAAS;IAC5B,MAAM,CAAC,QAAQ,CAAC,MAAM,gBAAgB;IAEtC,SAAS,CAAC,OAAO,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,WAAW,GAAG,WAAW;CAG/D;AAED,qBAAa,GAAI,SAAQ,iCAAiC;IACxD,MAAM,CAAC,IAAI,EAAE,MAAM,CAAS;IAC5B,MAAM,CAAC,QAAQ,CAAC,MAAM,gBAAgB;IAEtC,SAAS,CAAC,OAAO,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,WAAW,GAAG,WAAW;cAQ3C,SAAS,CAAC,MAAM,EAAE,qBAAqB,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM;CAI7F;AAED,qBAAa,QAAS,SAAQ,iCAAiC;IAC7D,MAAM,CAAC,IAAI,EAAE,MAAM,CAAU;IAC7B,MAAM,CAAC,QAAQ,CAAC,MAAM,iBAAiB;IAEvC,SAAS,CAAC,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,GAAG,KAAK;cAKzB,SAAS,CAAC,MAAM,EAAE,qBAAqB,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM;CAI7F;AAED,qBAAa,GAAI,SAAQ,iCAAiC;IACxD,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAS;IACrC,MAAM,CAAC,QAAQ,CAAC,MAAM,gBAAgB;cAEnB,OAAO,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,aAAa,GAAG,aAAa;CAG9E;AAED,qBAAa,GAAI,SAAQ,iCAAiC;IACxD,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAS;IACrC,MAAM,CAAC,QAAQ,CAAC,MAAM,gBAAgB;cAEnB,OAAO,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,aAAa,GAAG,aAAa;CAG9E"}

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

@@ -1,87 +0,0 @@
-import { TaggedMemory, TypeTag } from '../avm_memory_types.js';
-import { ArithmeticError } from '../errors.js';
-import { Opcode } from '../serialization/instruction_serialization.js';
-import { Addressing } from './addressing_mode.js';
-import { ThreeOperandInstruction } from './instruction_impl.js';
-export class ThreeOperandArithmeticInstruction extends ThreeOperandInstruction {
-    async execute(context) {
-        const memory = context.machineState.memory;
-        const addressing = Addressing.fromWire(this.indirect);
-        context.machineState.consumeGas(this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()));
-        const operands = [
-            this.aOffset,
-            this.bOffset,
-            this.dstOffset
-        ];
-        const [aOffset, bOffset, dstOffset] = addressing.resolve(operands, memory);
-        this.checkTags(memory, aOffset, bOffset);
-        const a = memory.get(aOffset);
-        const b = memory.get(bOffset);
-        const dest = this.compute(a, b);
-        memory.set(dstOffset, dest);
-    }
-    checkTags(memory, aOffset, bOffset) {
-        memory.checkTagsAreSame(aOffset, bOffset);
-    }
-}
-export class Add extends ThreeOperandArithmeticInstruction {
-    static type = 'ADD';
-    static opcode = Opcode.ADD_8;
-    compute(a, b) {
-        return a.add(b);
-    }
-}
-export class Sub extends ThreeOperandArithmeticInstruction {
-    static type = 'SUB';
-    static opcode = Opcode.SUB_8;
-    compute(a, b) {
-        return a.sub(b);
-    }
-}
-export class Mul extends ThreeOperandArithmeticInstruction {
-    static type = 'MUL';
-    static opcode = Opcode.MUL_8;
-    compute(a, b) {
-        return a.mul(b);
-    }
-}
-export class Div extends ThreeOperandArithmeticInstruction {
-    static type = 'DIV';
-    static opcode = Opcode.DIV_8;
-    compute(a, b) {
-        if (b.toBigInt() === 0n) {
-            throw new ArithmeticError('Division by zero');
-        }
-        return a.div(b);
-    }
-    checkTags(memory, aOffset, bOffset) {
-        memory.checkTagsAreSame(aOffset, bOffset);
-        TaggedMemory.checkIsIntegralTag(memory.getTag(aOffset)); // Follows that bOffset tag is also of integral type
-    }
-}
-export class FieldDiv extends ThreeOperandArithmeticInstruction {
-    static type = 'FDIV';
-    static opcode = Opcode.FDIV_8;
-    compute(a, b) {
-        // return (a as Field).fdiv(b as Field);
-        return a.fdiv(b);
-    }
-    checkTags(memory, aOffset, bOffset) {
-        memory.checkTagsAreSame(aOffset, bOffset);
-        memory.checkTag(TypeTag.FIELD, aOffset); // Follows that bOffset has also tag of type Field
-    }
-}
-export class Shl extends ThreeOperandArithmeticInstruction {
-    static type = 'SHL';
-    static opcode = Opcode.SHL_8;
-    compute(a, b) {
-        return a.shl(b);
-    }
-}
-export class Shr extends ThreeOperandArithmeticInstruction {
-    static type = 'SHR';
-    static opcode = Opcode.SHR_8;
-    compute(a, b) {
-        return a.shr(b);
-    }
-}

package/dest/public/avm/opcodes/bitwise.d.ts

@@ -1,42 +0,0 @@
-import type { AvmContext } from '../avm_context.js';
-import { type IntegralValue, type TaggedMemoryInterface, TypeTag } from '../avm_memory_types.js';
-import { Opcode, OperandType } from '../serialization/instruction_serialization.js';
-import { Instruction } from './instruction.js';
-import { ThreeOperandInstruction } from './instruction_impl.js';
-declare abstract class ThreeOperandBitwiseInstruction extends ThreeOperandInstruction {
-    execute(context: AvmContext): Promise<void>;
-    protected abstract compute(a: IntegralValue, b: IntegralValue): IntegralValue;
-    protected checkTags(memory: TaggedMemoryInterface, aOffset: number, bOffset: number): void;
-    protected getDynamicMultiplier(_lhsTag: TypeTag): number;
-}
-export declare class And extends ThreeOperandBitwiseInstruction {
-    static readonly type: string;
-    static readonly opcode = Opcode.AND_8;
-    protected compute(a: IntegralValue, b: IntegralValue): IntegralValue;
-    protected getDynamicMultiplier(lhsTag: TypeTag): number;
-}
-export declare class Or extends ThreeOperandBitwiseInstruction {
-    static readonly type: string;
-    static readonly opcode = Opcode.OR_8;
-    protected compute(a: IntegralValue, b: IntegralValue): IntegralValue;
-    protected getDynamicMultiplier(lhsTag: TypeTag): number;
-}
-export declare class Xor extends ThreeOperandBitwiseInstruction {
-    static readonly type: string;
-    static readonly opcode = Opcode.XOR_8;
-    protected compute(a: IntegralValue, b: IntegralValue): IntegralValue;
-    protected getDynamicMultiplier(lhsTag: TypeTag): number;
-}
-export declare class Not extends Instruction {
-    private indirect;
-    private srcOffset;
-    private dstOffset;
-    static readonly type: string;
-    static readonly opcode = Opcode.NOT_8;
-    static readonly wireFormat8: OperandType[];
-    static readonly wireFormat16: OperandType[];
-    constructor(indirect: number, srcOffset: number, dstOffset: number);
-    execute(context: AvmContext): Promise<void>;
-}
-export {};
-//# sourceMappingURL=bitwise.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"bitwise.d.ts","sourceRoot":"","sources":["../../../../src/public/avm/opcodes/bitwise.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAEpD,OAAO,EAAE,KAAK,aAAa,EAAgB,KAAK,qBAAqB,EAAE,OAAO,EAAE,MAAM,wBAAwB,CAAC;AAC/G,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,+CAA+C,CAAC;AAEpF,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAC;AAEhE,uBAAe,8BAA+B,SAAQ,uBAAuB;IAC9D,OAAO,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;IAsBxD,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,aAAa,GAAG,aAAa;IAC7E,SAAS,CAAC,SAAS,CAAC,MAAM,EAAE,qBAAqB,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM;IAKnF,SAAS,CAAC,oBAAoB,CAAC,OAAO,EAAE,OAAO,GAAG,MAAM;CAGzD;AAED,qBAAa,GAAI,SAAQ,8BAA8B;IACrD,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAS;IACrC,MAAM,CAAC,QAAQ,CAAC,MAAM,gBAAgB;cAEnB,OAAO,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,aAAa,GAAG,aAAa;cAI1D,oBAAoB,CAAC,MAAM,EAAE,OAAO,GAAG,MAAM;CAGjE;AAED,qBAAa,EAAG,SAAQ,8BAA8B;IACpD,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAQ;IACpC,MAAM,CAAC,QAAQ,CAAC,MAAM,eAAe;cAElB,OAAO,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,aAAa,GAAG,aAAa;cAI1D,oBAAoB,CAAC,MAAM,EAAE,OAAO,GAAG,MAAM;CAGjE;AAED,qBAAa,GAAI,SAAQ,8BAA8B;IACrD,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAS;IACrC,MAAM,CAAC,QAAQ,CAAC,MAAM,gBAAgB;cAEnB,OAAO,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,aAAa,GAAG,aAAa;cAI1D,oBAAoB,CAAC,MAAM,EAAE,OAAO,GAAG,MAAM;CAGjE;AAED,qBAAa,GAAI,SAAQ,WAAW;IAQhC,OAAO,CAAC,QAAQ;IAChB,OAAO,CAAC,SAAS;IACjB,OAAO,CAAC,SAAS;IATnB,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAS;IACrC,MAAM,CAAC,QAAQ,CAAC,MAAM,gBAAgB;IAEtC,MAAM,CAAC,QAAQ,CAAC,WAAW,gBAAgF;IAC3G,MAAM,CAAC,QAAQ,CAAC,YAAY,gBAAkF;gBAGpG,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,SAAS,EAAE,MAAM;IAKd,OAAO,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;CAgBzD"}

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

@@ -1,99 +0,0 @@
-import { getBitwiseDynamicGasMultiplier } from '../avm_gas.js';
-import { TaggedMemory } from '../avm_memory_types.js';
-import { Opcode, OperandType } from '../serialization/instruction_serialization.js';
-import { Addressing } from './addressing_mode.js';
-import { Instruction } from './instruction.js';
-import { ThreeOperandInstruction } from './instruction_impl.js';
-class ThreeOperandBitwiseInstruction extends ThreeOperandInstruction {
-    async execute(context) {
-        const memory = context.machineState.memory;
-        const addressing = Addressing.fromWire(this.indirect);
-        context.machineState.consumeGas(this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()));
-        const operands = [
-            this.aOffset,
-            this.bOffset,
-            this.dstOffset
-        ];
-        const [aOffset, bOffset, dstOffset] = addressing.resolve(operands, memory);
-        this.checkTags(memory, aOffset, bOffset);
-        const multiplier = this.getDynamicMultiplier(memory.getTag(aOffset));
-        context.machineState.consumeGas(this.dynamicGasCost(multiplier));
-        const a = memory.getAs(aOffset);
-        const b = memory.getAs(bOffset);
-        const res = this.compute(a, b);
-        memory.set(dstOffset, res);
-    }
-    checkTags(memory, aOffset, bOffset) {
-        TaggedMemory.checkIsIntegralTag(memory.getTag(aOffset));
-        memory.checkTagsAreSame(aOffset, bOffset);
-    }
-    getDynamicMultiplier(_lhsTag) {
-        return 0;
-    }
-}
-export class And extends ThreeOperandBitwiseInstruction {
-    static type = 'AND';
-    static opcode = Opcode.AND_8;
-    compute(a, b) {
-        return a.and(b);
-    }
-    getDynamicMultiplier(lhsTag) {
-        return getBitwiseDynamicGasMultiplier(lhsTag);
-    }
-}
-export class Or extends ThreeOperandBitwiseInstruction {
-    static type = 'OR';
-    static opcode = Opcode.OR_8;
-    compute(a, b) {
-        return a.or(b);
-    }
-    getDynamicMultiplier(lhsTag) {
-        return getBitwiseDynamicGasMultiplier(lhsTag);
-    }
-}
-export class Xor extends ThreeOperandBitwiseInstruction {
-    static type = 'XOR';
-    static opcode = Opcode.XOR_8;
-    compute(a, b) {
-        return a.xor(b);
-    }
-    getDynamicMultiplier(lhsTag) {
-        return getBitwiseDynamicGasMultiplier(lhsTag);
-    }
-}
-export class Not extends Instruction {
-    indirect;
-    srcOffset;
-    dstOffset;
-    static type = 'NOT';
-    static opcode = Opcode.NOT_8;
-    static wireFormat8 = [
-        OperandType.UINT8,
-        OperandType.UINT8,
-        OperandType.UINT8,
-        OperandType.UINT8
-    ];
-    static wireFormat16 = [
-        OperandType.UINT8,
-        OperandType.UINT8,
-        OperandType.UINT16,
-        OperandType.UINT16
-    ];
-    constructor(indirect, srcOffset, dstOffset){
-        super(), this.indirect = indirect, this.srcOffset = srcOffset, this.dstOffset = dstOffset;
-    }
-    async execute(context) {
-        const memory = context.machineState.memory;
-        const addressing = Addressing.fromWire(this.indirect);
-        context.machineState.consumeGas(this.baseGasCost(addressing.indirectOperandsCount(), addressing.relativeOperandsCount()));
-        const operands = [
-            this.srcOffset,
-            this.dstOffset
-        ];
-        const [srcOffset, dstOffset] = addressing.resolve(operands, memory);
-        TaggedMemory.checkIsIntegralTag(memory.getTag(srcOffset));
-        const value = memory.getAs(srcOffset);
-        const res = value.not();
-        memory.set(dstOffset, res);
-    }
-}