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

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

@@ -1,24 +0,0 @@
-import type { AvmContext } from '../avm_context.js';
-import { Opcode, OperandType } from '../serialization/instruction_serialization.js';
-import { Instruction } from './instruction.js';
-declare abstract class BaseStorageInstruction extends Instruction {
-    protected indirect: number;
-    protected aOffset: number;
-    protected bOffset: number;
-    static readonly wireFormat: OperandType[];
-    constructor(indirect: number, aOffset: number, bOffset: number);
-}
-export declare class SStore extends BaseStorageInstruction {
-    static readonly type: string;
-    static readonly opcode = Opcode.SSTORE;
-    constructor(indirect: number, srcOffset: number, slotOffset: number);
-    execute(context: AvmContext): Promise<void>;
-}
-export declare class SLoad extends BaseStorageInstruction {
-    static readonly type: string;
-    static readonly opcode = Opcode.SLOAD;
-    constructor(indirect: number, slotOffset: number, dstOffset: number);
-    execute(context: AvmContext): Promise<void>;
-}
-export {};
-//# sourceMappingURL=storage.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"storage.d.ts","sourceRoot":"","sources":["../../../../src/public/avm/opcodes/storage.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,sBAAuB,SAAQ,WAAW;IAUrD,SAAS,CAAC,QAAQ,EAAE,MAAM;IAC1B,SAAS,CAAC,OAAO,EAAE,MAAM;IACzB,SAAS,CAAC,OAAO,EAAE,MAAM;IAV3B,gBAAuB,UAAU,EAAE,WAAW,EAAE,CAK9C;gBAGU,QAAQ,EAAE,MAAM,EAChB,OAAO,EAAE,MAAM,EACf,OAAO,EAAE,MAAM;CAI5B;AAED,qBAAa,MAAO,SAAQ,sBAAsB;IAChD,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAY;IACxC,MAAM,CAAC,QAAQ,CAAC,MAAM,iBAAiB;gBAE3B,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM;IAItD,OAAO,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;CA2BzD;AAED,qBAAa,KAAM,SAAQ,sBAAsB;IAC/C,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAW;IACvC,MAAM,CAAC,QAAQ,CAAC,MAAM,gBAAgB;gBAE1B,QAAQ,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM;IAItD,OAAO,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC;CAgBzD"}

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

@@ -1,68 +0,0 @@
-import { Field, TypeTag } from '../avm_memory_types.js';
-import { StaticCallAlterationError } from '../errors.js';
-import { Opcode, OperandType } from '../serialization/instruction_serialization.js';
-import { Addressing } from './addressing_mode.js';
-import { Instruction } from './instruction.js';
-class BaseStorageInstruction extends Instruction {
-    indirect;
-    aOffset;
-    bOffset;
-    // Informs (de)serialization. See Instruction.deserialize.
-    static wireFormat = [
-        OperandType.UINT8,
-        OperandType.UINT8,
-        OperandType.UINT16,
-        OperandType.UINT16
-    ];
-    constructor(indirect, aOffset, bOffset){
-        super(), this.indirect = indirect, this.aOffset = aOffset, this.bOffset = bOffset;
-    }
-}
-export class SStore extends BaseStorageInstruction {
-    static type = 'SSTORE';
-    static opcode = Opcode.SSTORE;
-    constructor(indirect, srcOffset, slotOffset){
-        super(indirect, srcOffset, slotOffset);
-    }
-    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.aOffset,
-            this.bOffset
-        ];
-        const [srcOffset, slotOffset] = addressing.resolve(operands, memory);
-        // We read before tag checking since it's needed for gas cost calculation
-        const slot = memory.get(slotOffset).toFr();
-        context.machineState.consumeGas(this.dynamicGasCost(Number(context.persistableState.isStorageCold(context.environment.address, slot))));
-        memory.checkTag(TypeTag.FIELD, slotOffset);
-        memory.checkTag(TypeTag.FIELD, srcOffset);
-        const value = memory.get(srcOffset).toFr();
-        await context.persistableState.writeStorage(context.environment.address, slot, value);
-    }
-}
-export class SLoad extends BaseStorageInstruction {
-    static type = 'SLOAD';
-    static opcode = Opcode.SLOAD;
-    constructor(indirect, slotOffset, dstOffset){
-        super(indirect, slotOffset, 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.aOffset,
-            this.bOffset
-        ];
-        const [slotOffset, dstOffset] = addressing.resolve(operands, memory);
-        memory.checkTag(TypeTag.FIELD, slotOffset);
-        const slot = memory.get(slotOffset).toFr();
-        const value = await context.persistableState.readStorage(context.environment.address, slot);
-        memory.set(dstOffset, new Field(value));
-    }
-}

package/dest/public/avm/revert_reason.d.ts

@@ -1,18 +0,0 @@
-import type { Fr } from '@aztec/foundation/fields';
-import type { AvmContext } from './avm_context.js';
-import { type AvmExecutionError, AvmRevertReason } from './errors.js';
-/**
- * Create a "revert reason" error for an exceptional halt.
- *
- * @param haltingError - the lower-level error causing the exceptional halt
- * @param context - the context of the AVM execution used to extract the failingFunction and noirCallStack
- */
-export declare function revertReasonFromExceptionalHalt(haltingError: AvmExecutionError, context: AvmContext): Promise<AvmRevertReason>;
-/**
- * Create a "revert reason" error for an explicit revert (a root cause).
- *
- * @param revertData - output data of the explicit REVERT instruction
- * @param context - the context of the AVM execution used to extract the failingFunction and noirCallStack
- */
-export declare function revertReasonFromExplicitRevert(revertData: Fr[], context: AvmContext): Promise<AvmRevertReason>;
-//# sourceMappingURL=revert_reason.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"revert_reason.d.ts","sourceRoot":"","sources":["../../../src/public/avm/revert_reason.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAEnD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AACnD,OAAO,EAAE,KAAK,iBAAiB,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AA8BtE;;;;;GAKG;AACH,wBAAsB,+BAA+B,CACnD,YAAY,EAAE,iBAAiB,EAC/B,OAAO,EAAE,UAAU,GAClB,OAAO,CAAC,eAAe,CAAC,CAE1B;AAED;;;;;GAKG;AACH,wBAAsB,8BAA8B,CAAC,UAAU,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,eAAe,CAAC,CAEpH"}

package/dest/public/avm/revert_reason.js

@@ -1,38 +0,0 @@
-import { AvmRevertReason } from './errors.js';
-async function createRevertReason(message, revertData, context) {
-    // We drop the returnPc information.
-    const internalCallStack = context.machineState.internalCallStack.map((entry)=>entry.callPc);
-    // If we are reverting due to the same error that we have been tracking, we use the nested error as the cause.
-    let nestedError = undefined;
-    const revertDataEquals = (a, b)=>a.length === b.length && a.every((v, i)=>v.equals(b[i]));
-    if (context.machineState.collectedRevertInfo && revertDataEquals(context.machineState.collectedRevertInfo.revertDataRepresentative, revertData)) {
-        nestedError = context.machineState.collectedRevertInfo.recursiveRevertReason;
-        message = context.machineState.collectedRevertInfo.recursiveRevertReason.message;
-    }
-    const fnName = await context.persistableState.getPublicFunctionDebugName(context.environment);
-    return new AvmRevertReason(message, /*failingFunction=*/ {
-        contractAddress: context.environment.address,
-        functionName: fnName
-    }, /*noirCallStack=*/ [
-        ...internalCallStack,
-        context.machineState.pc
-    ].map((pc)=>`0.${pc}`), /*options=*/ {
-        cause: nestedError
-    });
-}
-/**
- * Create a "revert reason" error for an exceptional halt.
- *
- * @param haltingError - the lower-level error causing the exceptional halt
- * @param context - the context of the AVM execution used to extract the failingFunction and noirCallStack
- */ export async function revertReasonFromExceptionalHalt(haltingError, context) {
-    return await createRevertReason(haltingError.message, [], context);
-}
-/**
- * Create a "revert reason" error for an explicit revert (a root cause).
- *
- * @param revertData - output data of the explicit REVERT instruction
- * @param context - the context of the AVM execution used to extract the failingFunction and noirCallStack
- */ export async function revertReasonFromExplicitRevert(revertData, context) {
-    return await createRevertReason('Assertion failed: ', revertData, context);
-}

package/dest/public/avm/serialization/buffer_cursor.d.ts

@@ -1,26 +0,0 @@
-export declare class BufferCursor {
-    private _buffer;
-    private _position;
-    constructor(_buffer: Buffer, _position?: number);
-    position(): number;
-    buffer(): Buffer;
-    eof(): boolean;
-    bufferAtPosition(): Buffer;
-    advance(n: number): void;
-    peekUint8(): number;
-    readUint8(): number;
-    readUint16LE(): number;
-    readUint16BE(): number;
-    readUint32LE(): number;
-    readUint32BE(): number;
-    readBigInt64LE(): bigint;
-    readBigInt64BE(): bigint;
-    writeUint8(v: number): number;
-    writeUint16LE(v: number): number;
-    writeUint16BE(v: number): number;
-    writeUint32LE(v: number): number;
-    writeUint32BE(v: number): number;
-    writeBigInt64LE(v: bigint): number;
-    writeBigInt64BE(v: bigint): number;
-}
-//# sourceMappingURL=buffer_cursor.d.ts.map

package/dest/public/avm/serialization/buffer_cursor.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"buffer_cursor.d.ts","sourceRoot":"","sources":["../../../../src/public/avm/serialization/buffer_cursor.ts"],"names":[],"mappings":"AAGA,qBAAa,YAAY;IAErB,OAAO,CAAC,OAAO;IACf,OAAO,CAAC,SAAS;gBADT,OAAO,EAAE,MAAM,EACf,SAAS,GAAE,MAAU;IAGxB,QAAQ,IAAI,MAAM;IAIlB,MAAM,IAAI,MAAM;IAIhB,GAAG,IAAI,OAAO;IAId,gBAAgB,IAAI,MAAM;IAI1B,OAAO,CAAC,CAAC,EAAE,MAAM,GAAG,IAAI;IAIxB,SAAS,IAAI,MAAM;IAKnB,SAAS,IAAI,MAAM;IAMnB,YAAY,IAAI,MAAM;IAMtB,YAAY,IAAI,MAAM;IAMtB,YAAY,IAAI,MAAM;IAMtB,YAAY,IAAI,MAAM;IAMtB,cAAc,IAAI,MAAM;IAMxB,cAAc,IAAI,MAAM;IAMxB,UAAU,CAAC,CAAC,EAAE,MAAM;IAMpB,aAAa,CAAC,CAAC,EAAE,MAAM;IAMvB,aAAa,CAAC,CAAC,EAAE,MAAM;IAMvB,aAAa,CAAC,CAAC,EAAE,MAAM;IAMvB,aAAa,CAAC,CAAC,EAAE,MAAM;IAMvB,eAAe,CAAC,CAAC,EAAE,MAAM;IAMzB,eAAe,CAAC,CAAC,EAAE,MAAM;CAKjC"}

package/dest/public/avm/serialization/buffer_cursor.js

@@ -1,99 +0,0 @@
-/*
- * A Buffer-like class that automatically advances the position.
- */ export class BufferCursor {
-    _buffer;
-    _position;
-    constructor(_buffer, _position = 0){
-        this._buffer = _buffer;
-        this._position = _position;
-    }
-    position() {
-        return this._position;
-    }
-    buffer() {
-        return this._buffer;
-    }
-    eof() {
-        return this._position === this._buffer.length;
-    }
-    bufferAtPosition() {
-        return this._buffer.subarray(this._position);
-    }
-    advance(n) {
-        this._position += n;
-    }
-    peekUint8() {
-        const ret = this._buffer.readUint8(this._position);
-        return ret;
-    }
-    readUint8() {
-        const ret = this._buffer.readUint8(this._position);
-        this._position += 1;
-        return ret;
-    }
-    readUint16LE() {
-        const ret = this._buffer.readUint16LE(this._position);
-        this._position += 2;
-        return ret;
-    }
-    readUint16BE() {
-        const ret = this._buffer.readUint16BE(this._position);
-        this._position += 2;
-        return ret;
-    }
-    readUint32LE() {
-        const ret = this._buffer.readUint32LE(this._position);
-        this._position += 4;
-        return ret;
-    }
-    readUint32BE() {
-        const ret = this._buffer.readUint32BE(this._position);
-        this._position += 4;
-        return ret;
-    }
-    readBigInt64LE() {
-        const ret = this._buffer.readBigInt64LE(this._position);
-        this._position += 8;
-        return ret;
-    }
-    readBigInt64BE() {
-        const ret = this._buffer.readBigInt64BE(this._position);
-        this._position += 8;
-        return ret;
-    }
-    writeUint8(v) {
-        const ret = this._buffer.writeUint8(v, this._position);
-        this._position += 1;
-        return ret;
-    }
-    writeUint16LE(v) {
-        const ret = this._buffer.writeUint16LE(v, this._position);
-        this._position += 2;
-        return ret;
-    }
-    writeUint16BE(v) {
-        const ret = this._buffer.writeUint16BE(v, this._position);
-        this._position += 2;
-        return ret;
-    }
-    writeUint32LE(v) {
-        const ret = this._buffer.writeUint32LE(v, this._position);
-        this._position += 4;
-        return ret;
-    }
-    writeUint32BE(v) {
-        const ret = this._buffer.writeUint32BE(v, this._position);
-        this._position += 4;
-        return ret;
-    }
-    writeBigInt64LE(v) {
-        const ret = this._buffer.writeBigInt64LE(v, this._position);
-        this._position += 8;
-        return ret;
-    }
-    writeBigInt64BE(v) {
-        const ret = this._buffer.writeBigInt64BE(v, this._position);
-        this._position += 8;
-        return ret;
-    }
-}

package/dest/public/avm/serialization/bytecode_serialization.d.ts

@@ -1,17 +0,0 @@
-import { type Bufferable } from '@aztec/foundation/serialize';
-import { Instruction } from '../opcodes/index.js';
-import { BufferCursor } from './buffer_cursor.js';
-import { Opcode } from './instruction_serialization.js';
-export type InstructionDeserializer = (buf: BufferCursor | Buffer) => Instruction;
-export interface Deserializable {
-    deserialize: InstructionDeserializer;
-}
-export type InstructionSet = Map<Opcode, InstructionDeserializer>;
-export declare const INSTRUCTION_SET: Map<Opcode, InstructionDeserializer>;
-/**
- * Serializes an array of instructions to bytecode.
- */
-export declare function encodeToBytecode(instructions: Bufferable[]): Buffer;
-export declare function decodeFromBytecode(bytecode: Buffer, instructionSet?: InstructionSet): Instruction[];
-export declare function decodeInstructionFromBytecode(bytecode: Buffer, pc: number, instructionSet?: InstructionSet): [Instruction, number];
-//# sourceMappingURL=bytecode_serialization.d.ts.map

package/dest/public/avm/serialization/bytecode_serialization.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"bytecode_serialization.d.ts","sourceRoot":"","sources":["../../../../src/public/avm/serialization/bytecode_serialization.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,UAAU,EAAqB,MAAM,6BAA6B,CAAC;AAGjF,OAAO,EAgBL,WAAW,EAgCZ,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAoB,MAAM,EAAE,MAAM,gCAAgC,CAAC;AAE1E,MAAM,MAAM,uBAAuB,GAAG,CAAC,GAAG,EAAE,YAAY,GAAG,MAAM,KAAK,WAAW,CAAC;AAElF,MAAM,WAAW,cAAc;IAC7B,WAAW,EAAE,uBAAuB,CAAC;CACtC;AAED,MAAM,MAAM,cAAc,GAAG,GAAG,CAAC,MAAM,EAAE,uBAAuB,CAAC,CAAC;AAClE,eAAO,MAAM,eAAe,sCAoF1B,CAAC;AAEH;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,YAAY,EAAE,UAAU,EAAE,GAAG,MAAM,CAEnE;AAGD,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE,MAAM,EAAE,cAAc,GAAE,cAAgC,GAAG,WAAW,EAAE,CASpH;AAGD,wBAAgB,6BAA6B,CAC3C,QAAQ,EAAE,MAAM,EAChB,EAAE,EAAE,MAAM,EACV,cAAc,GAAE,cAAgC,GAC/C,CAAC,WAAW,EAAE,MAAM,CAAC,CA+BvB"}

package/dest/public/avm/serialization/bytecode_serialization.js

@@ -1,333 +0,0 @@
-import { serializeToBuffer } from '@aztec/foundation/serialize';
-import { AvmExecutionError, AvmParsingError, InvalidOpcodeError, InvalidProgramCounterError } from '../errors.js';
-import { Add, And, Call, CalldataCopy, Cast, DebugLog, Div, EcAdd, EmitNoteHash, EmitNullifier, EmitUnencryptedLog, Eq, FieldDiv, GetContractInstance, GetEnvVar, Instruction, InternalCall, InternalReturn, Jump, JumpI, KeccakF1600, L1ToL2MessageExists, Lt, Lte, Mov, Mul, Not, NoteHashExists, NullifierExists, Or, Poseidon2, Return, ReturndataCopy, ReturndataSize, Revert, SLoad, SStore, SendL2ToL1Message, Set, Sha256Compression, Shl, Shr, StaticCall, Sub, SuccessCopy, ToRadixBE, Xor } from '../opcodes/index.js';
-import { BufferCursor } from './buffer_cursor.js';
-import { MAX_OPCODE_VALUE, Opcode } from './instruction_serialization.js';
-export const INSTRUCTION_SET = new Map([
-    [
-        Opcode.ADD_8,
-        Add.as(Add.wireFormat8).fromBuffer
-    ],
-    [
-        Opcode.ADD_16,
-        Add.as(Add.wireFormat16).fromBuffer
-    ],
-    [
-        Opcode.SUB_8,
-        Sub.as(Sub.wireFormat8).fromBuffer
-    ],
-    [
-        Opcode.SUB_16,
-        Sub.as(Sub.wireFormat16).fromBuffer
-    ],
-    [
-        Opcode.MUL_8,
-        Mul.as(Mul.wireFormat8).fromBuffer
-    ],
-    [
-        Opcode.MUL_16,
-        Mul.as(Mul.wireFormat16).fromBuffer
-    ],
-    [
-        Opcode.DIV_8,
-        Div.as(Div.wireFormat8).fromBuffer
-    ],
-    [
-        Opcode.DIV_16,
-        Div.as(Div.wireFormat16).fromBuffer
-    ],
-    [
-        Opcode.FDIV_8,
-        FieldDiv.as(FieldDiv.wireFormat8).fromBuffer
-    ],
-    [
-        Opcode.FDIV_16,
-        FieldDiv.as(FieldDiv.wireFormat16).fromBuffer
-    ],
-    [
-        Opcode.EQ_8,
-        Eq.as(Eq.wireFormat8).fromBuffer
-    ],
-    [
-        Opcode.EQ_16,
-        Eq.as(Eq.wireFormat16).fromBuffer
-    ],
-    [
-        Opcode.LT_8,
-        Lt.as(Lt.wireFormat8).fromBuffer
-    ],
-    [
-        Opcode.LT_16,
-        Lt.as(Lt.wireFormat16).fromBuffer
-    ],
-    [
-        Opcode.LTE_8,
-        Lte.as(Lte.wireFormat8).fromBuffer
-    ],
-    [
-        Opcode.LTE_16,
-        Lte.as(Lte.wireFormat16).fromBuffer
-    ],
-    [
-        Opcode.AND_8,
-        And.as(And.wireFormat8).fromBuffer
-    ],
-    [
-        Opcode.AND_16,
-        And.as(And.wireFormat16).fromBuffer
-    ],
-    [
-        Opcode.OR_8,
-        Or.as(Or.wireFormat8).fromBuffer
-    ],
-    [
-        Opcode.OR_16,
-        Or.as(Or.wireFormat16).fromBuffer
-    ],
-    [
-        Opcode.XOR_8,
-        Xor.as(Xor.wireFormat8).fromBuffer
-    ],
-    [
-        Opcode.XOR_16,
-        Xor.as(Xor.wireFormat16).fromBuffer
-    ],
-    [
-        Opcode.NOT_8,
-        Not.as(Not.wireFormat8).fromBuffer
-    ],
-    [
-        Opcode.NOT_16,
-        Not.as(Not.wireFormat16).fromBuffer
-    ],
-    [
-        Opcode.SHL_8,
-        Shl.as(Shl.wireFormat8).fromBuffer
-    ],
-    [
-        Opcode.SHL_16,
-        Shl.as(Shl.wireFormat16).fromBuffer
-    ],
-    [
-        Opcode.SHR_8,
-        Shr.as(Shr.wireFormat8).fromBuffer
-    ],
-    [
-        Opcode.SHR_16,
-        Shr.as(Shr.wireFormat16).fromBuffer
-    ],
-    [
-        Opcode.CAST_8,
-        Cast.as(Cast.wireFormat8).fromBuffer
-    ],
-    [
-        Opcode.CAST_16,
-        Cast.as(Cast.wireFormat16).fromBuffer
-    ],
-    // Execution Environment
-    [
-        Opcode.GETENVVAR_16,
-        GetEnvVar.as(GetEnvVar.wireFormat16).fromBuffer
-    ],
-    [
-        CalldataCopy.opcode,
-        Instruction.fromBuffer.bind(CalldataCopy)
-    ],
-    [
-        SuccessCopy.opcode,
-        Instruction.fromBuffer.bind(SuccessCopy)
-    ],
-    [
-        Opcode.RETURNDATASIZE,
-        Instruction.fromBuffer.bind(ReturndataSize)
-    ],
-    [
-        Opcode.RETURNDATACOPY,
-        Instruction.fromBuffer.bind(ReturndataCopy)
-    ],
-    // Machine State - Internal Control Flow
-    [
-        Jump.opcode,
-        Instruction.fromBuffer.bind(Jump)
-    ],
-    [
-        JumpI.opcode,
-        Instruction.fromBuffer.bind(JumpI)
-    ],
-    [
-        InternalCall.opcode,
-        Instruction.fromBuffer.bind(InternalCall)
-    ],
-    [
-        InternalReturn.opcode,
-        Instruction.fromBuffer.bind(InternalReturn)
-    ],
-    [
-        Opcode.SET_8,
-        Set.as(Set.wireFormat8).fromBuffer
-    ],
-    [
-        Opcode.SET_16,
-        Set.as(Set.wireFormat16).fromBuffer
-    ],
-    [
-        Opcode.SET_32,
-        Set.as(Set.wireFormat32).fromBuffer
-    ],
-    [
-        Opcode.SET_64,
-        Set.as(Set.wireFormat64).fromBuffer
-    ],
-    [
-        Opcode.SET_128,
-        Set.as(Set.wireFormat128).fromBuffer
-    ],
-    [
-        Opcode.SET_FF,
-        Set.as(Set.wireFormatFF).fromBuffer
-    ],
-    [
-        Opcode.MOV_8,
-        Mov.as(Mov.wireFormat8).fromBuffer
-    ],
-    [
-        Opcode.MOV_16,
-        Mov.as(Mov.wireFormat16).fromBuffer
-    ],
-    // World State
-    [
-        SLoad.opcode,
-        Instruction.fromBuffer.bind(SLoad)
-    ],
-    [
-        SStore.opcode,
-        Instruction.fromBuffer.bind(SStore)
-    ],
-    [
-        NoteHashExists.opcode,
-        Instruction.fromBuffer.bind(NoteHashExists)
-    ],
-    [
-        EmitNoteHash.opcode,
-        Instruction.fromBuffer.bind(EmitNoteHash)
-    ],
-    [
-        NullifierExists.opcode,
-        Instruction.fromBuffer.bind(NullifierExists)
-    ],
-    [
-        EmitNullifier.opcode,
-        Instruction.fromBuffer.bind(EmitNullifier)
-    ],
-    [
-        L1ToL2MessageExists.opcode,
-        Instruction.fromBuffer.bind(L1ToL2MessageExists)
-    ],
-    // Accrued Substate
-    [
-        EmitUnencryptedLog.opcode,
-        Instruction.fromBuffer.bind(EmitUnencryptedLog)
-    ],
-    [
-        SendL2ToL1Message.opcode,
-        Instruction.fromBuffer.bind(SendL2ToL1Message)
-    ],
-    [
-        GetContractInstance.opcode,
-        Instruction.fromBuffer.bind(GetContractInstance)
-    ],
-    // Control Flow - Contract Calls
-    [
-        Call.opcode,
-        Instruction.fromBuffer.bind(Call)
-    ],
-    [
-        StaticCall.opcode,
-        Instruction.fromBuffer.bind(StaticCall)
-    ],
-    [
-        Return.opcode,
-        Instruction.fromBuffer.bind(Return)
-    ],
-    [
-        Opcode.REVERT_8,
-        Revert.as(Revert.wireFormat8).fromBuffer
-    ],
-    [
-        Opcode.REVERT_16,
-        Revert.as(Revert.wireFormat16).fromBuffer
-    ],
-    // Misc
-    [
-        DebugLog.opcode,
-        Instruction.fromBuffer.bind(DebugLog)
-    ],
-    // Gadgets
-    [
-        EcAdd.opcode,
-        Instruction.fromBuffer.bind(EcAdd)
-    ],
-    [
-        Poseidon2.opcode,
-        Instruction.fromBuffer.bind(Poseidon2)
-    ],
-    [
-        Sha256Compression.opcode,
-        Instruction.fromBuffer.bind(Sha256Compression)
-    ],
-    [
-        KeccakF1600.opcode,
-        Instruction.fromBuffer.bind(KeccakF1600)
-    ],
-    // Conversions
-    [
-        ToRadixBE.opcode,
-        Instruction.fromBuffer.bind(ToRadixBE)
-    ]
-]);
-/**
- * Serializes an array of instructions to bytecode.
- */ export function encodeToBytecode(instructions) {
-    return serializeToBuffer(instructions);
-}
-// For testing only
-export function decodeFromBytecode(bytecode, instructionSet = INSTRUCTION_SET) {
-    const instructions = [];
-    let pc = 0;
-    while(pc < bytecode.length){
-        const [instruction, bytesConsumed] = decodeInstructionFromBytecode(bytecode, pc, instructionSet);
-        instructions.push(instruction);
-        pc += bytesConsumed;
-    }
-    return instructions;
-}
-// Returns the instruction and the number of bytes consumed.
-export function decodeInstructionFromBytecode(bytecode, pc, instructionSet = INSTRUCTION_SET) {
-    if (pc >= bytecode.length) {
-        throw new InvalidProgramCounterError(pc, bytecode.length);
-    }
-    try {
-        const cursor = new BufferCursor(bytecode, pc);
-        const startingPosition = cursor.position();
-        const opcode = cursor.bufferAtPosition().readUint8(); // peek.
-        if (opcode > MAX_OPCODE_VALUE) {
-            throw new InvalidOpcodeError(`Opcode ${opcode} (0x${opcode.toString(16)}) value is not in the range of valid opcodes.`);
-        }
-        const instructionDeserializerOrUndef = instructionSet.get(opcode);
-        if (instructionDeserializerOrUndef === undefined) {
-            throw new InvalidOpcodeError(`Opcode ${Opcode[opcode]} (0x${opcode.toString(16)}) is not implemented`);
-        }
-        const instructionDeserializer = instructionDeserializerOrUndef;
-        const instruction = instructionDeserializer(cursor);
-        return [
-            instruction,
-            cursor.position() - startingPosition
-        ];
-    } catch (error) {
-        if (error instanceof InvalidOpcodeError || error instanceof AvmExecutionError) {
-            throw error;
-        } else {
-            throw new AvmParsingError(`${error}`);
-        }
-    }
-}