@feelyourprotocol/evm 8141.0.0

package/dist/cjs/eof/constants.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"constants.js","sourceRoot":"","sources":["../../../src/eof/constants.ts"],"names":[],"mappings":";AAAA,0EAA0E;;;AAE1E,0CAA0C;AAC7B,QAAA,MAAM,GAAG,IAAI,CAAA;AACb,QAAA,KAAK,GAAG,IAAI,CAAA;AACZ,QAAA,OAAO,GAAG,IAAI,CAAA;AAE3B,qCAAqC;AACxB,QAAA,eAAe,GAAG,EAAE,CAAA,CAAC,2DAA2D;AAChF,QAAA,eAAe,GAAG,KAAK,CAAA,CAAC,8BAA8B;AAEtD,QAAA,SAAS,GAAG,IAAI,CAAA,CAAC,6BAA6B;AAC9C,QAAA,SAAS,GAAG,IAAI,CAAA,CAAC,4BAA4B;AAC7C,QAAA,cAAc,GAAG,IAAI,CAAA,CAAC,2EAA2E;AACjG,QAAA,SAAS,GAAG,IAAI,CAAA,CAAC,6BAA6B;AAC9C,QAAA,UAAU,GAAG,IAAI,CAAA,CAAC,4BAA4B;AAE9C,QAAA,QAAQ,GAAG,MAAM,CAAA,CAAC,gCAAgC;AAClD,QAAA,QAAQ,GAAG,MAAM,CAAA,CAAC,gCAAgC;AAClD,QAAA,YAAY,GAAG,CAAC,CAAA,CAAC,uEAAuE;AAExF,QAAA,QAAQ,GAAG,MAAM,CAAA,CAAC,+BAA+B;AAEjD,QAAA,aAAa,GAAG,CAAC,CAAA,CAAC,+DAA+D;AAEjF,QAAA,aAAa,GAAG,MAAM,CAAA,CAAC,oCAAoC;AAC3D,QAAA,aAAa,GAAG,MAAM,CAAA,CAAC,oCAAoC;AAE3D,QAAA,kBAAkB,GAAG,CAAC,CAAA,CAAC,0CAA0C;AAE9E,oEAAoE;AACvD,QAAA,UAAU,GAAG,IAAI,CAAA,CAAC,2CAA2C;AAC7D,QAAA,WAAW,GAAG,IAAI,CAAA,CAAC,4CAA4C;AAC5E,qEAAqE;AACrE,kIAAkI;AACrH,QAAA,gBAAgB,GAAG,MAAM,CAAA,CAAC,mGAAmG"}

package/dist/cjs/eof/container.d.ts

@@ -0,0 +1,87 @@
+import { ContainerSectionType } from './verify.ts';
+import type { EVM } from '../evm.ts';
+export type EOFContainerMode = (typeof EOFContainerMode)[keyof typeof EOFContainerMode];
+export declare const EOFContainerMode: {
+    readonly Default: "default";
+    readonly Initmode: "initMode";
+    readonly TxInitmode: "txInitMode";
+};
+/**
+ * The EOFHeader, describing the header of the EOF container
+ */
+declare class EOFHeader {
+    typeSize: number;
+    codeSizes: number[];
+    containerSizes: number[];
+    dataSize: number;
+    dataSizePtr: number;
+    buffer: Uint8Array;
+    private codeStartPos;
+    /**
+     * Create an EOF header. Performs various validation checks inside the constructor
+     * @param input either a raw header or a complete container
+     */
+    constructor(input: Uint8Array);
+    sections(): (number | number[])[];
+    sectionSizes(): number[];
+    getCodePosition(section: number): number;
+    getSectionFromProgramCounter(programCounter: number): number;
+}
+export interface TypeSection {
+    inputs: number;
+    outputs: number;
+    maxStackHeight: number;
+}
+/**
+ * The EOF body holds the contents of the EOF container, such as the code sections (bytecode),
+ * the subcontainers (EOF containers to be deployed via EOFCREATE) and the data section
+ */
+declare class EOFBody {
+    typeSections: TypeSection[];
+    codeSections: Uint8Array[];
+    containerSections: Uint8Array[];
+    entireCode: Uint8Array;
+    dataSection: Uint8Array;
+    buffer: Uint8Array;
+    txCallData?: Uint8Array;
+    constructor(buf: Uint8Array, // Buffer of the body. This should be the entire body. It is not valid to pass an entire EOF container in here
+    header: EOFHeader, // EOFHeader corresponding to this body
+    eofMode?: EOFContainerMode, // Container mode of EOF
+    dataSectionAllowedSmaller?: boolean);
+    sections(): (Uint8Array<ArrayBufferLike> | Uint8Array<ArrayBufferLike>[] | TypeSection[])[];
+    size(): {
+        typeSize: number;
+        codeSize: number;
+        dataSize: number;
+    };
+    sectionSizes(): (number | number[])[];
+}
+/**
+ * Main constructor for the EOFContainer
+ */
+export declare class EOFContainer {
+    header: EOFHeader;
+    body: EOFBody;
+    buffer: Uint8Array;
+    eofMode: EOFContainerMode;
+    /**
+     *
+     * @param buf Entire container buffer
+     * @param eofMode Container mode to validate the container on
+     * @param dataSectionAllowedSmaller `true` if the data section is allowed to be smaller than the data section size in the header
+     */
+    constructor(buf: Uint8Array, eofMode?: EOFContainerMode, dataSectionAllowedSmaller?: boolean);
+}
+/**
+ * This method validates the EOF. It also performs deeper validation of the body, such as stack/opcode validation
+ * This is ONLY necessary when trying to deploy contracts from a transaction: these can submit containers which are invalid
+ * Since all deployed EOF containers are valid by definition, `validateEOF` does not need to be called each time an EOF contract is called
+ * @param input Full container buffer
+ * @param evm EVM, to read opcodes from
+ * @param containerMode Container mode to validate on
+ * @param eofMode EOF mode to run in
+ * @returns The decoded EOF container
+ */
+export declare function validateEOF(input: Uint8Array, evm: EVM, containerMode?: ContainerSectionType, eofMode?: EOFContainerMode): EOFContainer;
+export {};
+//# sourceMappingURL=container.d.ts.map

package/dist/cjs/eof/container.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"container.d.ts","sourceRoot":"","sources":["../../../src/eof/container.ts"],"names":[],"mappings":"AAyBA,OAAO,EAAE,oBAAoB,EAAc,MAAM,aAAa,CAAA;AAE9D,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,WAAW,CAAA;AAYpC,MAAM,MAAM,gBAAgB,GAAG,CAAC,OAAO,gBAAgB,CAAC,CAAC,MAAM,OAAO,gBAAgB,CAAC,CAAA;AAEvF,eAAO,MAAM,gBAAgB;;;;CAInB,CAAA;AAyFV;;GAEG;AACH,cAAM,SAAS;IACb,QAAQ,EAAE,MAAM,CAAA;IAChB,SAAS,EAAE,MAAM,EAAE,CAAA;IACnB,cAAc,EAAE,MAAM,EAAE,CAAA;IACxB,QAAQ,EAAE,MAAM,CAAA;IAChB,WAAW,EAAE,MAAM,CAAA;IACnB,MAAM,EAAE,UAAU,CAAA;IAElB,OAAO,CAAC,YAAY,CAAU;IAE9B;;;OAGG;gBACS,KAAK,EAAE,UAAU;IAmG7B,QAAQ;IAGR,YAAY;IAMZ,eAAe,CAAC,OAAO,EAAE,MAAM;IAc/B,4BAA4B,CAAC,cAAc,EAAE,MAAM;CAsBpD;AAED,MAAM,WAAW,WAAW;IAC1B,MAAM,EAAE,MAAM,CAAA;IACd,OAAO,EAAE,MAAM,CAAA;IACf,cAAc,EAAE,MAAM,CAAA;CACvB;AAED;;;GAGG;AACH,cAAM,OAAO;IACX,YAAY,EAAE,WAAW,EAAE,CAAA;IAC3B,YAAY,EAAE,UAAU,EAAE,CAAA;IAC1B,iBAAiB,EAAE,UAAU,EAAE,CAAA;IAC/B,UAAU,EAAE,UAAU,CAAA;IACtB,WAAW,EAAE,UAAU,CAAA;IACvB,MAAM,EAAE,UAAU,CAAA;IAElB,UAAU,CAAC,EAAE,UAAU,CAAA;gBAIrB,GAAG,EAAE,UAAU,EAAE,8GAA8G;IAC/H,MAAM,EAAE,SAAS,EAAE,uCAAuC;IAC1D,OAAO,GAAE,gBAA2C,EAAE,wBAAwB;IAC9E,yBAAyB,UAAQ;IA4FnC,QAAQ;IAGR,IAAI;;;;;IAOJ,YAAY;CAOb;AAED;;GAEG;AACH,qBAAa,YAAY;IACvB,MAAM,EAAE,SAAS,CAAA;IACjB,IAAI,EAAE,OAAO,CAAA;IACb,MAAM,EAAE,UAAU,CAAA;IAClB,OAAO,EAAE,gBAAgB,CAAA;IAEzB;;;;;OAKG;gBAED,GAAG,EAAE,UAAU,EACf,OAAO,GAAE,gBAA2C,EACpD,yBAAyB,UAAQ;CAYpC;AAED;;;;;;;;;GASG;AACH,wBAAgB,WAAW,CACzB,KAAK,EAAE,UAAU,EACjB,GAAG,EAAE,GAAG,EACR,aAAa,GAAE,oBAAuD,EACtE,OAAO,GAAE,gBAA2C,gBAerD"}

package/dist/cjs/eof/container.js

@@ -0,0 +1,380 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.EOFContainer = exports.EOFContainerMode = void 0;
+exports.validateEOF = validateEOF;
+const util_1 = require("@feelyourprotocol/util");
+const constants_ts_1 = require("./constants.js");
+const errors_ts_1 = require("./errors.js");
+const verify_ts_1 = require("./verify.js");
+exports.EOFContainerMode = {
+    Default: 'default', // Default container validation
+    Initmode: 'initMode', // Initmode container validation (for subcontainers pointed to by EOFCreate)
+    TxInitmode: 'txInitMode', // Tx initmode container validation (for txs deploying EOF contracts)
+};
+// The StreamReader is a helper class to help reading byte arrays
+class StreamReader {
+    constructor(stream) {
+        this.data = stream;
+        this.ptr = 0;
+    }
+    /**
+     * Read `amount` bytes from the stream. Throws when trying to read out of bounds with an optional error string.
+     * This also updates the internal pointer
+     * @param amount Bytes to read
+     * @param errorStr Optional error string to throw when trying to read out-of-bounds
+     * @returns The byte array with length `amount`
+     */
+    readBytes(amount, errorStr) {
+        const end = this.ptr + amount;
+        if (end > this.data.length) {
+            (0, errors_ts_1.validationError)(errors_ts_1.EOFErrorMessage.OUT_OF_BOUNDS, this.ptr, errorStr);
+        }
+        const ptr = this.ptr;
+        this.ptr += amount;
+        return this.data.slice(ptr, end);
+    }
+    /**
+     * Reads an Uint8. Also updates the pointer.
+     * @param errorStr Optional error string
+     * @returns The uint8
+     */
+    readUint(errorStr) {
+        if (this.ptr >= this.data.length) {
+            (0, errors_ts_1.validationError)(errors_ts_1.EOFErrorMessage.OUT_OF_BOUNDS, this.ptr, errorStr);
+        }
+        return this.data[this.ptr++];
+    }
+    /**
+     * Verify that the current uint8 pointed to by the pointer is the expected uint8
+     * Also updates the pointer
+     * @param expect The uint to expect
+     * @param errorStr Optional error string when the read uint is not the expected uint
+     */
+    verifyUint(expect, errorStr) {
+        if (this.readUint() !== expect) {
+            (0, errors_ts_1.validationError)(errors_ts_1.EOFErrorMessage.VERIFY_UINT, this.ptr - 1, errorStr);
+        }
+    }
+    /**
+     * Same as readUint, except this reads an uint16
+     * @param errorStr - Optional error message to include in thrown validation errors
+     * @returns Unsigned 16-bit integer read from the stream
+     */
+    readUint16(errorStr) {
+        const end = this.ptr + 2;
+        if (end > this.data.length) {
+            (0, errors_ts_1.validationError)(errors_ts_1.EOFErrorMessage.OUT_OF_BOUNDS, this.ptr, errorStr);
+        }
+        const ptr = this.ptr;
+        this.ptr += 2;
+        return new DataView(this.data.buffer).getUint16(ptr);
+    }
+    /**
+     * Get the current pointer of the stream
+     * @returns The pointer
+     */
+    getPtr() {
+        return this.ptr;
+    }
+    // Get the remainder bytes of the current stream
+    readRemainder() {
+        return this.data.slice(this.ptr);
+    }
+    // Returns `true` if the stream is fully read, or false if there are dangling bytes
+    isAtEnd() {
+        return this.ptr === this.data.length;
+    }
+}
+// TODO add initcode flags (isEOFContract)
+// TODO validation: mark sections as either initcode or runtime code to validate
+/**
+ * The EOFHeader, describing the header of the EOF container
+ */
+class EOFHeader {
+    /**
+     * Create an EOF header. Performs various validation checks inside the constructor
+     * @param input either a raw header or a complete container
+     */
+    constructor(input) {
+        if (input.length > constants_ts_1.MAX_HEADER_SIZE) {
+            throw (0, util_1.EthereumJSErrorWithoutCode)('err: container size more than maximum valid size');
+        }
+        const stream = new StreamReader(input);
+        // Verify that the header starts with 0xEF0001
+        stream.verifyUint(constants_ts_1.FORMAT, errors_ts_1.EOFErrorMessage.FORMAT);
+        stream.verifyUint(constants_ts_1.MAGIC, errors_ts_1.EOFErrorMessage.MAGIC);
+        stream.verifyUint(constants_ts_1.VERSION, errors_ts_1.EOFErrorMessage.VERSION);
+        if (input.length < 15) {
+            throw (0, util_1.EthereumJSErrorWithoutCode)('err: container size less than minimum valid size');
+        }
+        // Verify that the types section is present and its length is valid
+        stream.verifyUint(constants_ts_1.KIND_TYPE, errors_ts_1.EOFErrorMessage.KIND_TYPE);
+        const typeSize = stream.readUint16(errors_ts_1.EOFErrorMessage.TYPE_SIZE);
+        if (typeSize < constants_ts_1.TYPE_MIN) {
+            (0, errors_ts_1.validationError)(errors_ts_1.EOFErrorMessage.INVALID_TYPE_SIZE, typeSize);
+        }
+        if (typeSize % constants_ts_1.TYPE_DIVISOR !== 0) {
+            (0, errors_ts_1.validationError)(errors_ts_1.EOFErrorMessage.INVALID_TYPE_SIZE, typeSize);
+        }
+        if (typeSize > constants_ts_1.TYPE_MAX) {
+            throw (0, util_1.EthereumJSErrorWithoutCode)(`err: number of code sections must not exceed 1024 (got ${typeSize})`);
+        }
+        // Verify that the code section is present and its size is valid
+        stream.verifyUint(constants_ts_1.KIND_CODE, errors_ts_1.EOFErrorMessage.KIND_CODE);
+        const codeSize = stream.readUint16(errors_ts_1.EOFErrorMessage.CODE_SIZE);
+        if (codeSize < constants_ts_1.CODE_MIN) {
+            (0, errors_ts_1.validationError)(errors_ts_1.EOFErrorMessage.MIN_CODE_SECTIONS);
+        }
+        if (codeSize !== typeSize / constants_ts_1.TYPE_DIVISOR) {
+            (0, errors_ts_1.validationError)(errors_ts_1.EOFErrorMessage.TYPE_SECTIONS, typeSize / constants_ts_1.TYPE_DIVISOR, codeSize);
+        }
+        // Read the actual code sizes in the code section and verify that each section has the minimum size
+        const codeSizes = [];
+        for (let i = 0; i < codeSize; i++) {
+            const codeSectionSize = stream.readUint16(errors_ts_1.EOFErrorMessage.CODE_SECTION);
+            if (codeSectionSize < constants_ts_1.CODE_SIZE_MIN) {
+                (0, errors_ts_1.validationError)(errors_ts_1.EOFErrorMessage.CODE_SECTION_SIZE);
+            }
+            codeSizes.push(codeSectionSize);
+        }
+        // Check if there are container sections
+        let nextSection = stream.readUint();
+        const containerSizes = [];
+        if (nextSection === constants_ts_1.KIND_CONTAINER) {
+            // The optional container section is present, validate that the size is within bounds
+            const containerSectionSize = stream.readUint16(errors_ts_1.EOFErrorMessage.CONTAINER_SIZE);
+            if (containerSectionSize < constants_ts_1.CONTAINER_MIN) {
+                (0, errors_ts_1.validationError)(errors_ts_1.EOFErrorMessage.CONTAINER_SECTION_SIZE);
+            }
+            if (containerSectionSize > constants_ts_1.CONTAINER_MAX) {
+                (0, errors_ts_1.validationError)(errors_ts_1.EOFErrorMessage.CONTAINER_SECTION_SIZE);
+            }
+            // Read the actual container sections and validate that each section has the minimum size
+            for (let i = 0; i < containerSectionSize; i++) {
+                const containerSize = stream.readUint16(errors_ts_1.EOFErrorMessage.CONTAINER_SECTION);
+                if (containerSize < constants_ts_1.CONTAINER_SIZE_MIN) {
+                    (0, errors_ts_1.validationError)(errors_ts_1.EOFErrorMessage.CONTAINER_SECTION_MIN);
+                }
+                containerSizes.push(containerSize);
+            }
+            nextSection = stream.readUint();
+        }
+        // Verify that the next section is of the data type
+        if (nextSection !== constants_ts_1.KIND_DATA) {
+            (0, errors_ts_1.validationError)(errors_ts_1.EOFErrorMessage.KIND_DATA);
+        }
+        this.dataSizePtr = stream.getPtr();
+        const dataSize = stream.readUint16(errors_ts_1.EOFErrorMessage.DATA_SIZE);
+        // Verify that the header ends with the TERMINATOR byte
+        stream.verifyUint(constants_ts_1.TERMINATOR, errors_ts_1.EOFErrorMessage.TERMINATOR);
+        // Write all values to the header object
+        this.typeSize = typeSize;
+        this.codeSizes = codeSizes;
+        this.containerSizes = containerSizes;
+        this.dataSize = dataSize;
+        // Slice the input such that `this.buffer` is now the complete header
+        // If there are dangling bytes in the stream, this is OK: this is the body section of the container
+        this.buffer = input.slice(0, stream.getPtr());
+        const relativeOffset = this.buffer.length + this.typeSize;
+        // Write the start of the first code section into `codeStartPos`
+        // Note: in EVM, if one would set the Program Counter to this byte, it would start executing the bytecode of the first code section
+        this.codeStartPos = [relativeOffset];
+    }
+    sections() {
+        return [this.typeSize, this.codeSizes, this.containerSizes, this.dataSize];
+    }
+    sectionSizes() {
+        return [1, this.codeSizes.length, this.containerSizes.length, 1];
+    }
+    // Returns the code position in the container for the requested section
+    // Setting the Program Counter in the EVM to a number of this array would start executing the bytecode of the indexed section
+    getCodePosition(section) {
+        if (this.codeStartPos[section]) {
+            return this.codeStartPos[section];
+        }
+        const start = this.codeStartPos.length;
+        let offset = this.codeStartPos[start - 1];
+        for (let i = start; i <= section; i++) {
+            offset += this.codeSizes[i - 1];
+            this.codeStartPos[i] = offset;
+        }
+        return offset;
+    }
+    // Returns the code section for a given program counter position
+    getSectionFromProgramCounter(programCounter) {
+        const lastIndex = this.codeSizes.length - 1;
+        const lastStart = this.getCodePosition(lastIndex);
+        const lastEnd = lastStart + this.codeSizes[lastIndex];
+        if (programCounter < 0 || programCounter > lastEnd) {
+            // If code position is outside the beginning or end of the code sections, return 0
+            throw (0, util_1.EthereumJSErrorWithoutCode)('program counter out of bounds');
+        }
+        if (this.codeStartPos.length < this.codeSizes.length) {
+            this.getCodePosition(this.codeSizes.length - 1); // initialize code positions if uninitialized
+        }
+        for (let i = 0; i < this.codeSizes.length; i++) {
+            if (programCounter < this.codeStartPos[i] + this.codeSizes[i]) {
+                // We've found our section if the code position is less than the end of the current code section
+                return i;
+            }
+        }
+        // This shouldn't happen so just error
+        throw (0, util_1.EthereumJSErrorWithoutCode)(`Invalid program counter value: ${programCounter}`);
+    }
+}
+/**
+ * The EOF body holds the contents of the EOF container, such as the code sections (bytecode),
+ * the subcontainers (EOF containers to be deployed via EOFCREATE) and the data section
+ */
+class EOFBody {
+    // and these are used for the CALLDATA in the EVM when trying to create a contract via a transaction, and the deployment code is an EOF container
+    constructor(buf, // Buffer of the body. This should be the entire body. It is not valid to pass an entire EOF container in here
+    header, // EOFHeader corresponding to this body
+    eofMode = exports.EOFContainerMode.Default, // Container mode of EOF
+    dataSectionAllowedSmaller = false) {
+        const stream = new StreamReader(buf);
+        const typeSections = [];
+        // Read and parse each type section, and validate that the type section values are within valid bounds
+        for (let i = 0; i < header.typeSize / 4; i++) {
+            const inputs = stream.readUint(errors_ts_1.EOFErrorMessage.INPUTS);
+            const outputs = stream.readUint(errors_ts_1.EOFErrorMessage.OUTPUTS);
+            const maxStackHeight = stream.readUint16(errors_ts_1.EOFErrorMessage.MAX_STACK_HEIGHT);
+            if (i === 0) {
+                if (inputs !== 0) {
+                    (0, errors_ts_1.validationError)(errors_ts_1.EOFErrorMessage.CODE0_INPUTS);
+                }
+                if (outputs !== 0x80) {
+                    (0, errors_ts_1.validationError)(errors_ts_1.EOFErrorMessage.CODE0_OUTPUTS);
+                }
+            }
+            if (inputs > constants_ts_1.INPUTS_MAX) {
+                (0, errors_ts_1.validationError)(errors_ts_1.EOFErrorMessage.MAX_INPUTS, i, inputs);
+            }
+            if (outputs > constants_ts_1.OUTPUTS_MAX) {
+                (0, errors_ts_1.validationError)(errors_ts_1.EOFErrorMessage.MAX_OUTPUTS, i, outputs);
+            }
+            if (maxStackHeight > constants_ts_1.MAX_STACK_HEIGHT) {
+                (0, errors_ts_1.validationError)(errors_ts_1.EOFErrorMessage.MAX_STACK_HEIGHT_LIMIT, i, maxStackHeight);
+            }
+            typeSections.push({
+                inputs,
+                outputs,
+                maxStackHeight,
+            });
+        }
+        // Read each code section
+        const codeStartPtr = stream.getPtr();
+        const codes = [];
+        for (const [i, codeSize] of header.codeSizes.entries()) {
+            try {
+                const code = stream.readBytes(codeSize);
+                codes.push(code);
+            }
+            catch {
+                (0, errors_ts_1.validationError)(errors_ts_1.EOFErrorMessage.CODE_SECTION, i);
+            }
+        }
+        // Write the entire code section to the entireCodeSection
+        const entireCodeSection = buf.slice(codeStartPtr, stream.getPtr());
+        // Read all raw subcontainers and push those to the containers array
+        const containers = [];
+        for (const [i, containerSize] of header.containerSizes.entries()) {
+            try {
+                const container = stream.readBytes(containerSize);
+                containers.push(container);
+            }
+            catch {
+                (0, errors_ts_1.validationError)(errors_ts_1.EOFErrorMessage.CONTAINER_SECTION, i);
+            }
+        }
+        // Data section of the body
+        // Note: for EOF containers in Initmode (these are Subcontainers) it is allowed
+        // to have a data section of size lower than what is written in the header
+        // For details, see "Data section lifecycle" of EIP 7620
+        let dataSection;
+        // Edge case: deployment code validation
+        if (eofMode !== exports.EOFContainerMode.Initmode && !dataSectionAllowedSmaller) {
+            dataSection = stream.readBytes(header.dataSize, errors_ts_1.EOFErrorMessage.DATA_SECTION);
+            if (eofMode === exports.EOFContainerMode.Default) {
+                if (!stream.isAtEnd()) {
+                    // If there are dangling bytes in default container mode, this is invalid
+                    (0, errors_ts_1.validationError)(errors_ts_1.EOFErrorMessage.DANGLING_BYTES);
+                }
+            }
+            else {
+                // Tx init mode: the remaining bytes (if any) are used as CALLDATA in the EVM, in case of a Tx init
+                this.txCallData = stream.readRemainder();
+            }
+        }
+        else {
+            dataSection = stream.readRemainder();
+            if (dataSection.length > header.dataSize) {
+                (0, errors_ts_1.validationError)(errors_ts_1.EOFErrorMessage.DANGLING_BYTES);
+            }
+        }
+        // Write all data to the object
+        this.typeSections = typeSections;
+        this.codeSections = codes;
+        this.containerSections = containers;
+        this.entireCode = entireCodeSection;
+        this.dataSection = dataSection;
+        this.buffer = buf;
+    }
+    sections() {
+        return [this.typeSections, this.codeSections, this.dataSection];
+    }
+    size() {
+        return {
+            typeSize: this.typeSections.length,
+            codeSize: this.codeSections.length,
+            dataSize: this.dataSection.length,
+        };
+    }
+    sectionSizes() {
+        return [
+            this.typeSections.map(() => 4),
+            this.codeSections.map((b) => b.length),
+            this.dataSection.length,
+        ];
+    }
+}
+/**
+ * Main constructor for the EOFContainer
+ */
+class EOFContainer {
+    /**
+     *
+     * @param buf Entire container buffer
+     * @param eofMode Container mode to validate the container on
+     * @param dataSectionAllowedSmaller `true` if the data section is allowed to be smaller than the data section size in the header
+     */
+    constructor(buf, eofMode = exports.EOFContainerMode.Default, dataSectionAllowedSmaller = false) {
+        this.eofMode = eofMode;
+        this.header = new EOFHeader(buf);
+        this.body = new EOFBody(buf.slice(this.header.buffer.length), this.header, eofMode, dataSectionAllowedSmaller);
+        this.buffer = buf;
+    }
+}
+exports.EOFContainer = EOFContainer;
+/**
+ * This method validates the EOF. It also performs deeper validation of the body, such as stack/opcode validation
+ * This is ONLY necessary when trying to deploy contracts from a transaction: these can submit containers which are invalid
+ * Since all deployed EOF containers are valid by definition, `validateEOF` does not need to be called each time an EOF contract is called
+ * @param input Full container buffer
+ * @param evm EVM, to read opcodes from
+ * @param containerMode Container mode to validate on
+ * @param eofMode EOF mode to run in
+ * @returns The decoded EOF container
+ */
+function validateEOF(input, evm, containerMode = verify_ts_1.ContainerSectionType.RuntimeCode, eofMode = exports.EOFContainerMode.Default) {
+    const container = new EOFContainer(input, eofMode, containerMode === verify_ts_1.ContainerSectionType.DeploymentCode);
+    const containerMap = (0, verify_ts_1.verifyCode)(container, evm, containerMode);
+    // Recursively validate the containerSections
+    for (let i = 0; i < container.body.containerSections.length; i++) {
+        const subContainer = container.body.containerSections[i];
+        const mode = containerMap.get(i);
+        validateEOF(subContainer, evm, mode);
+    }
+    return container;
+}
+//# sourceMappingURL=container.js.map

package/dist/cjs/eof/container.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"container.js","sourceRoot":"","sources":["../../../src/eof/container.ts"],"names":[],"mappings":";;;AA2dA,kCAmBC;AA9eD,2CAA6D;AAE7D,iDAqBuB;AACvB,2CAA8D;AAC9D,2CAA8D;AAgBjD,QAAA,gBAAgB,GAAG;IAC9B,OAAO,EAAE,SAAS,EAAE,+BAA+B;IACnD,QAAQ,EAAE,UAAU,EAAE,4EAA4E;IAClG,UAAU,EAAE,YAAY,EAAE,qEAAqE;CACvF,CAAA;AAEV,iEAAiE;AACjE,MAAM,YAAY;IAGhB,YAAY,MAAkB;QAC5B,IAAI,CAAC,IAAI,GAAG,MAAM,CAAA;QAClB,IAAI,CAAC,GAAG,GAAG,CAAC,CAAA;IACd,CAAC;IAED;;;;;;OAMG;IACH,SAAS,CAAC,MAAc,EAAE,QAAiB;QACzC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,GAAG,MAAM,CAAA;QAC7B,IAAI,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;YAC3B,IAAA,2BAAe,EAAC,2BAAe,CAAC,aAAa,EAAE,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAA;QACpE,CAAC;QACD,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAA;QACpB,IAAI,CAAC,GAAG,IAAI,MAAM,CAAA;QAClB,OAAO,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;IAClC,CAAC;IAED;;;;OAIG;IACH,QAAQ,CAAC,QAAiB;QACxB,IAAI,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;YACjC,IAAA,2BAAe,EAAC,2BAAe,CAAC,aAAa,EAAE,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAA;QACpE,CAAC;QACD,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAA;IAC9B,CAAC;IAED;;;;;OAKG;IACH,UAAU,CAAC,MAAc,EAAE,QAAiB;QAC1C,IAAI,IAAI,CAAC,QAAQ,EAAE,KAAK,MAAM,EAAE,CAAC;YAC/B,IAAA,2BAAe,EAAC,2BAAe,CAAC,WAAW,EAAE,IAAI,CAAC,GAAG,GAAG,CAAC,EAAE,QAAQ,CAAC,CAAA;QACtE,CAAC;IACH,CAAC;IAED;;;;OAIG;IACH,UAAU,CAAC,QAAiB;QAC1B,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,GAAG,CAAC,CAAA;QACxB,IAAI,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;YAC3B,IAAA,2BAAe,EAAC,2BAAe,CAAC,aAAa,EAAE,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAA;QACpE,CAAC;QACD,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAA;QACpB,IAAI,CAAC,GAAG,IAAI,CAAC,CAAA;QACb,OAAO,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAA;IACtD,CAAC;IAED;;;OAGG;IACH,MAAM;QACJ,OAAO,IAAI,CAAC,GAAG,CAAA;IACjB,CAAC;IAED,gDAAgD;IAChD,aAAa;QACX,OAAO,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IAClC,CAAC;IAED,mFAAmF;IACnF,OAAO;QACL,OAAO,IAAI,CAAC,GAAG,KAAK,IAAI,CAAC,IAAI,CAAC,MAAM,CAAA;IACtC,CAAC;CACF;AAED,0CAA0C;AAC1C,gFAAgF;AAEhF;;GAEG;AACH,MAAM,SAAS;IAUb;;;OAGG;IACH,YAAY,KAAiB;QAC3B,IAAI,KAAK,CAAC,MAAM,GAAG,8BAAe,EAAE,CAAC;YACnC,MAAM,IAAA,iCAA0B,EAAC,kDAAkD,CAAC,CAAA;QACtF,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,YAAY,CAAC,KAAK,CAAC,CAAA;QACtC,8CAA8C;QAC9C,MAAM,CAAC,UAAU,CAAC,qBAAM,EAAE,2BAAe,CAAC,MAAM,CAAC,CAAA;QACjD,MAAM,CAAC,UAAU,CAAC,oBAAK,EAAE,2BAAe,CAAC,KAAK,CAAC,CAAA;QAC/C,MAAM,CAAC,UAAU,CAAC,sBAAO,EAAE,2BAAe,CAAC,OAAO,CAAC,CAAA;QACnD,IAAI,KAAK,CAAC,MAAM,GAAG,EAAE,EAAE,CAAC;YACtB,MAAM,IAAA,iCAA0B,EAAC,kDAAkD,CAAC,CAAA;QACtF,CAAC;QACD,mEAAmE;QACnE,MAAM,CAAC,UAAU,CAAC,wBAAS,EAAE,2BAAe,CAAC,SAAS,CAAC,CAAA;QACvD,MAAM,QAAQ,GAAG,MAAM,CAAC,UAAU,CAAC,2BAAe,CAAC,SAAS,CAAC,CAAA;QAC7D,IAAI,QAAQ,GAAG,uBAAQ,EAAE,CAAC;YACxB,IAAA,2BAAe,EAAC,2BAAe,CAAC,iBAAiB,EAAE,QAAQ,CAAC,CAAA;QAC9D,CAAC;QACD,IAAI,QAAQ,GAAG,2BAAY,KAAK,CAAC,EAAE,CAAC;YAClC,IAAA,2BAAe,EAAC,2BAAe,CAAC,iBAAiB,EAAE,QAAQ,CAAC,CAAA;QAC9D,CAAC;QACD,IAAI,QAAQ,GAAG,uBAAQ,EAAE,CAAC;YACxB,MAAM,IAAA,iCAA0B,EAC9B,0DAA0D,QAAQ,GAAG,CACtE,CAAA;QACH,CAAC;QACD,gEAAgE;QAChE,MAAM,CAAC,UAAU,CAAC,wBAAS,EAAE,2BAAe,CAAC,SAAS,CAAC,CAAA;QACvD,MAAM,QAAQ,GAAG,MAAM,CAAC,UAAU,CAAC,2BAAe,CAAC,SAAS,CAAC,CAAA;QAC7D,IAAI,QAAQ,GAAG,uBAAQ,EAAE,CAAC;YACxB,IAAA,2BAAe,EAAC,2BAAe,CAAC,iBAAiB,CAAC,CAAA;QACpD,CAAC;QACD,IAAI,QAAQ,KAAK,QAAQ,GAAG,2BAAY,EAAE,CAAC;YACzC,IAAA,2BAAe,EAAC,2BAAe,CAAC,aAAa,EAAE,QAAQ,GAAG,2BAAY,EAAE,QAAQ,CAAC,CAAA;QACnF,CAAC;QACD,mGAAmG;QACnG,MAAM,SAAS,GAAG,EAAE,CAAA;QACpB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,EAAE,CAAC,EAAE,EAAE,CAAC;YAClC,MAAM,eAAe,GAAG,MAAM,CAAC,UAAU,CAAC,2BAAe,CAAC,YAAY,CAAC,CAAA;YACvE,IAAI,eAAe,GAAG,4BAAa,EAAE,CAAC;gBACpC,IAAA,2BAAe,EAAC,2BAAe,CAAC,iBAAiB,CAAC,CAAA;YACpD,CAAC;YACD,SAAS,CAAC,IAAI,CAAC,eAAe,CAAC,CAAA;QACjC,CAAC;QAED,wCAAwC;QACxC,IAAI,WAAW,GAAG,MAAM,CAAC,QAAQ,EAAE,CAAA;QACnC,MAAM,cAAc,GAAa,EAAE,CAAA;QACnC,IAAI,WAAW,KAAK,6BAAc,EAAE,CAAC;YACnC,qFAAqF;YACrF,MAAM,oBAAoB,GAAG,MAAM,CAAC,UAAU,CAAC,2BAAe,CAAC,cAAc,CAAC,CAAA;YAE9E,IAAI,oBAAoB,GAAG,4BAAa,EAAE,CAAC;gBACzC,IAAA,2BAAe,EAAC,2BAAe,CAAC,sBAAsB,CAAC,CAAA;YACzD,CAAC;YACD,IAAI,oBAAoB,GAAG,4BAAa,EAAE,CAAC;gBACzC,IAAA,2BAAe,EAAC,2BAAe,CAAC,sBAAsB,CAAC,CAAA;YACzD,CAAC;YAED,yFAAyF;YACzF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,oBAAoB,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC9C,MAAM,aAAa,GAAG,MAAM,CAAC,UAAU,CAAC,2BAAe,CAAC,iBAAiB,CAAC,CAAA;gBAE1E,IAAI,aAAa,GAAG,iCAAkB,EAAE,CAAC;oBACvC,IAAA,2BAAe,EAAC,2BAAe,CAAC,qBAAqB,CAAC,CAAA;gBACxD,CAAC;gBAED,cAAc,CAAC,IAAI,CAAC,aAAa,CAAC,CAAA;YACpC,CAAC;YAED,WAAW,GAAG,MAAM,CAAC,QAAQ,EAAE,CAAA;QACjC,CAAC;QAED,mDAAmD;QACnD,IAAI,WAAW,KAAK,wBAAS,EAAE,CAAC;YAC9B,IAAA,2BAAe,EAAC,2BAAe,CAAC,SAAS,CAAC,CAAA;QAC5C,CAAC;QAED,IAAI,CAAC,WAAW,GAAG,MAAM,CAAC,MAAM,EAAE,CAAA;QAElC,MAAM,QAAQ,GAAG,MAAM,CAAC,UAAU,CAAC,2BAAe,CAAC,SAAS,CAAC,CAAA;QAE7D,uDAAuD;QACvD,MAAM,CAAC,UAAU,CAAC,yBAAU,EAAE,2BAAe,CAAC,UAAU,CAAC,CAAA;QAEzD,wCAAwC;QACxC,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAA;QACxB,IAAI,CAAC,SAAS,GAAG,SAAS,CAAA;QAC1B,IAAI,CAAC,cAAc,GAAG,cAAc,CAAA;QACpC,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAA;QACxB,qEAAqE;QACrE,mGAAmG;QACnG,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAA;QAC7C,MAAM,cAAc,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAA;QACzD,gEAAgE;QAChE,mIAAmI;QACnI,IAAI,CAAC,YAAY,GAAG,CAAC,cAAc,CAAC,CAAA;IACtC,CAAC;IAED,QAAQ;QACN,OAAO,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,cAAc,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAA;IAC5E,CAAC;IACD,YAAY;QACV,OAAO,CAAC,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,CAAC,cAAc,CAAC,MAAM,EAAE,CAAC,CAAC,CAAA;IAClE,CAAC;IAED,uEAAuE;IACvE,6HAA6H;IAC7H,eAAe,CAAC,OAAe;QAC7B,IAAI,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE,CAAC;YAC/B,OAAO,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAA;QACnC,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,CAAC,YAAY,CAAC,MAAM,CAAA;QACtC,IAAI,MAAM,GAAG,IAAI,CAAC,YAAY,CAAC,KAAK,GAAG,CAAC,CAAC,CAAA;QACzC,KAAK,IAAI,CAAC,GAAG,KAAK,EAAE,CAAC,IAAI,OAAO,EAAE,CAAC,EAAE,EAAE,CAAC;YACtC,MAAM,IAAI,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;YAC/B,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,GAAG,MAAM,CAAA;QAC/B,CAAC;QACD,OAAO,MAAM,CAAA;IACf,CAAC;IAED,gEAAgE;IAChE,4BAA4B,CAAC,cAAsB;QACjD,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAA;QAC3C,MAAM,SAAS,GAAG,IAAI,CAAC,eAAe,CAAC,SAAS,CAAC,CAAA;QACjD,MAAM,OAAO,GAAG,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,CAAA;QACrD,IAAI,cAAc,GAAG,CAAC,IAAI,cAAc,GAAG,OAAO,EAAE,CAAC;YACnD,kFAAkF;YAClF,MAAM,IAAA,iCAA0B,EAAC,+BAA+B,CAAC,CAAA;QACnE,CAAC;QAED,IAAI,IAAI,CAAC,YAAY,CAAC,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC;YACrD,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA,CAAC,6CAA6C;QAC/F,CAAC;QAED,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC/C,IAAI,cAAc,GAAG,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC9D,gGAAgG;gBAChG,OAAO,CAAC,CAAA;YACV,CAAC;QACH,CAAC;QACD,sCAAsC;QACtC,MAAM,IAAA,iCAA0B,EAAC,kCAAkC,cAAc,EAAE,CAAC,CAAA;IACtF,CAAC;CACF;AAQD;;;GAGG;AACH,MAAM,OAAO;IASX,iJAAiJ;IAEjJ,YACE,GAAe,EAAE,8GAA8G;IAC/H,MAAiB,EAAE,uCAAuC;IAC1D,UAA4B,wBAAgB,CAAC,OAAO,EAAE,wBAAwB;IAC9E,yBAAyB,GAAG,KAAK;QAEjC,MAAM,MAAM,GAAG,IAAI,YAAY,CAAC,GAAG,CAAC,CAAA;QACpC,MAAM,YAAY,GAAkB,EAAE,CAAA;QACtC,sGAAsG;QACtG,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,QAAQ,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC7C,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,2BAAe,CAAC,MAAM,CAAC,CAAA;YACtD,MAAM,OAAO,GAAG,MAAM,CAAC,QAAQ,CAAC,2BAAe,CAAC,OAAO,CAAC,CAAA;YACxD,MAAM,cAAc,GAAG,MAAM,CAAC,UAAU,CAAC,2BAAe,CAAC,gBAAgB,CAAC,CAAA;YAC1E,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBACZ,IAAI,MAAM,KAAK,CAAC,EAAE,CAAC;oBACjB,IAAA,2BAAe,EAAC,2BAAe,CAAC,YAAY,CAAC,CAAA;gBAC/C,CAAC;gBACD,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;oBACrB,IAAA,2BAAe,EAAC,2BAAe,CAAC,aAAa,CAAC,CAAA;gBAChD,CAAC;YACH,CAAC;YACD,IAAI,MAAM,GAAG,yBAAU,EAAE,CAAC;gBACxB,IAAA,2BAAe,EAAC,2BAAe,CAAC,UAAU,EAAE,CAAC,EAAE,MAAM,CAAC,CAAA;YACxD,CAAC;YACD,IAAI,OAAO,GAAG,0BAAW,EAAE,CAAC;gBAC1B,IAAA,2BAAe,EAAC,2BAAe,CAAC,WAAW,EAAE,CAAC,EAAE,OAAO,CAAC,CAAA;YAC1D,CAAC;YACD,IAAI,cAAc,GAAG,+BAAgB,EAAE,CAAC;gBACtC,IAAA,2BAAe,EAAC,2BAAe,CAAC,sBAAsB,EAAE,CAAC,EAAE,cAAc,CAAC,CAAA;YAC5E,CAAC;YACD,YAAY,CAAC,IAAI,CAAC;gBAChB,MAAM;gBACN,OAAO;gBACP,cAAc;aACf,CAAC,CAAA;QACJ,CAAC;QACD,yBAAyB;QACzB,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,EAAE,CAAA;QACpC,MAAM,KAAK,GAAG,EAAE,CAAA;QAChB,KAAK,MAAM,CAAC,CAAC,EAAE,QAAQ,CAAC,IAAI,MAAM,CAAC,SAAS,CAAC,OAAO,EAAE,EAAE,CAAC;YACvD,IAAI,CAAC;gBACH,MAAM,IAAI,GAAG,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAA;gBACvC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YAClB,CAAC;YAAC,MAAM,CAAC;gBACP,IAAA,2BAAe,EAAC,2BAAe,CAAC,YAAY,EAAE,CAAC,CAAC,CAAA;YAClD,CAAC;QACH,CAAC;QACD,yDAAyD;QACzD,MAAM,iBAAiB,GAAG,GAAG,CAAC,KAAK,CAAC,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAA;QAElE,oEAAoE;QACpE,MAAM,UAAU,GAAG,EAAE,CAAA;QACrB,KAAK,MAAM,CAAC,CAAC,EAAE,aAAa,CAAC,IAAI,MAAM,CAAC,cAAc,CAAC,OAAO,EAAE,EAAE,CAAC;YACjE,IAAI,CAAC;gBACH,MAAM,SAAS,GAAG,MAAM,CAAC,SAAS,CAAC,aAAa,CAAC,CAAA;gBACjD,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;YAC5B,CAAC;YAAC,MAAM,CAAC;gBACP,IAAA,2BAAe,EAAC,2BAAe,CAAC,iBAAiB,EAAE,CAAC,CAAC,CAAA;YACvD,CAAC;QACH,CAAC;QAED,2BAA2B;QAC3B,+EAA+E;QAC/E,0EAA0E;QAC1E,wDAAwD;QACxD,IAAI,WAAuB,CAAA;QAE3B,wCAAwC;QACxC,IAAI,OAAO,KAAK,wBAAgB,CAAC,QAAQ,IAAI,CAAC,yBAAyB,EAAE,CAAC;YACxE,WAAW,GAAG,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,EAAE,2BAAe,CAAC,YAAY,CAAC,CAAA;YAE7E,IAAI,OAAO,KAAK,wBAAgB,CAAC,OAAO,EAAE,CAAC;gBACzC,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;oBACtB,yEAAyE;oBACzE,IAAA,2BAAe,EAAC,2BAAe,CAAC,cAAc,CAAC,CAAA;gBACjD,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,mGAAmG;gBACnG,IAAI,CAAC,UAAU,GAAG,MAAM,CAAC,aAAa,EAAE,CAAA;YAC1C,CAAC;QACH,CAAC;aAAM,CAAC;YACN,WAAW,GAAG,MAAM,CAAC,aAAa,EAAE,CAAA;YAEpC,IAAI,WAAW,CAAC,MAAM,GAAG,MAAM,CAAC,QAAQ,EAAE,CAAC;gBACzC,IAAA,2BAAe,EAAC,2BAAe,CAAC,cAAc,CAAC,CAAA;YACjD,CAAC;QACH,CAAC;QAED,+BAA+B;QAC/B,IAAI,CAAC,YAAY,GAAG,YAAY,CAAA;QAChC,IAAI,CAAC,YAAY,GAAG,KAAK,CAAA;QACzB,IAAI,CAAC,iBAAiB,GAAG,UAAU,CAAA;QACnC,IAAI,CAAC,UAAU,GAAG,iBAAiB,CAAA;QACnC,IAAI,CAAC,WAAW,GAAG,WAAW,CAAA;QAC9B,IAAI,CAAC,MAAM,GAAG,GAAG,CAAA;IACnB,CAAC;IACD,QAAQ;QACN,OAAO,CAAC,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,WAAW,CAAC,CAAA;IACjE,CAAC;IACD,IAAI;QACF,OAAO;YACL,QAAQ,EAAE,IAAI,CAAC,YAAY,CAAC,MAAM;YAClC,QAAQ,EAAE,IAAI,CAAC,YAAY,CAAC,MAAM;YAClC,QAAQ,EAAE,IAAI,CAAC,WAAW,CAAC,MAAM;SAClC,CAAA;IACH,CAAC;IACD,YAAY;QACV,OAAO;YACL,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;YAC9B,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;YACtC,IAAI,CAAC,WAAW,CAAC,MAAM;SACxB,CAAA;IACH,CAAC;CACF;AAED;;GAEG;AACH,MAAa,YAAY;IAMvB;;;;;OAKG;IACH,YACE,GAAe,EACf,UAA4B,wBAAgB,CAAC,OAAO,EACpD,yBAAyB,GAAG,KAAK;QAEjC,IAAI,CAAC,OAAO,GAAG,OAAO,CAAA;QACtB,IAAI,CAAC,MAAM,GAAG,IAAI,SAAS,CAAC,GAAG,CAAC,CAAA;QAChC,IAAI,CAAC,IAAI,GAAG,IAAI,OAAO,CACrB,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EACpC,IAAI,CAAC,MAAM,EACX,OAAO,EACP,yBAAyB,CAC1B,CAAA;QACD,IAAI,CAAC,MAAM,GAAG,GAAG,CAAA;IACnB,CAAC;CACF;AA3BD,oCA2BC;AAED;;;;;;;;;GASG;AACH,SAAgB,WAAW,CACzB,KAAiB,EACjB,GAAQ,EACR,gBAAsC,gCAAoB,CAAC,WAAW,EACtE,UAA4B,wBAAgB,CAAC,OAAO;IAEpD,MAAM,SAAS,GAAG,IAAI,YAAY,CAChC,KAAK,EACL,OAAO,EACP,aAAa,KAAK,gCAAoB,CAAC,cAAc,CACtD,CAAA;IACD,MAAM,YAAY,GAAG,IAAA,sBAAU,EAAC,SAAS,EAAE,GAAG,EAAE,aAAa,CAAC,CAAA;IAC9D,6CAA6C;IAC7C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,IAAI,CAAC,iBAAiB,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACjE,MAAM,YAAY,GAAG,SAAS,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAA;QACxD,MAAM,IAAI,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC,CAAE,CAAA;QACjC,WAAW,CAAC,YAAY,EAAE,GAAG,EAAE,IAAI,CAAC,CAAA;IACtC,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC"}

package/dist/cjs/eof/errors.d.ts

@@ -0,0 +1,66 @@
+export type EOFErrorMessage = (typeof EOFErrorMessage)[keyof typeof EOFErrorMessage];
+export declare const EOFErrorMessage: {
+    readonly OUT_OF_BOUNDS: "Trying to read out of bounds";
+    readonly VERIFY_UINT: "Uint does not match expected value ";
+    readonly VERIFY_BYTES: "Bytes do not match expected value";
+    readonly FORMAT: "err: invalid format";
+    readonly MAGIC: "err: invalid magic";
+    readonly VERSION: "err: invalid eof version";
+    readonly KIND_TYPE: "err: expected kind types";
+    readonly KIND_CODE: "err: expected kind code";
+    readonly KIND_DATA: "err: expected kind data";
+    readonly TERMINATOR: "err: expected terminator";
+    readonly TYPE_SIZE: "missing type size";
+    readonly INVALID_TYPE_SIZE: "err: type section size invalid";
+    readonly CODE_SIZE: "missing code size";
+    readonly CODE_SECTION_SIZE: "code section should be at least one byte";
+    readonly INVALID_CODE_SIZE: "code size does not match type size";
+    readonly DATA_SIZE: "missing data size";
+    readonly CONTAINER_SIZE: "missing container size";
+    readonly CONTAINER_SECTION_SIZE: "container section should at least contain one section and at most 255 sections";
+    readonly TYPE_SECTIONS: "err: mismatch of code sections count and type signatures";
+    readonly INPUTS: "expected inputs";
+    readonly OUTPUTS: "expected outputs";
+    readonly MAX_INPUTS: "inputs exceeds 127, the maximum, got: ";
+    readonly MAX_OUTPUTS: "outputs exceeds 127, the maximum, got: ";
+    readonly CODE0_INPUTS: "first code section should have 0 inputs";
+    readonly CODE0_OUTPUTS: "first code section should have 0x80 (terminating section) outputs";
+    readonly MAX_STACK_HEIGHT: "expected maxStackHeight";
+    readonly MAX_STACK_HEIGHT_LIMIT: "stack height limit of 1024 exceeded: ";
+    readonly MIN_CODE_SECTIONS: "should have at least 1 code section";
+    readonly CODE_SECTION: "expected a code section";
+    readonly DATA_SECTION: "Expected data section";
+    readonly CONTAINER_SECTION: "expected a container section";
+    readonly CONTAINER_SECTION_MIN: "container section should be at least 1 byte";
+    readonly INVALID_EOF_CREATE_TARGET: "EOFCREATE targets an undefined container";
+    readonly INVALID_RETURN_CONTRACT_TARGET: "RETURNCONTRACT targets an undefined container";
+    readonly CONTAINER_DOUBLE_TYPE: "Container is targeted by both EOFCREATE and RETURNCONTRACT";
+    readonly UNREACHABLE_CONTAINER_SECTIONS: "Unreachable containers (by both EOFCREATE and RETURNCONTRACT)";
+    readonly CONTAINER_TYPE_ERROR: "Container contains opcodes which this mode (deployment mode / init code / runtime mode) cannot have";
+    readonly DANGLING_BYTES: "got dangling bytes in body";
+    readonly INVALID_OPCODE: "invalid opcode";
+    readonly INVALID_TERMINATOR: "invalid terminating opcode";
+    readonly OPCODE_INTERMEDIATES_OOB: "invalid opcode: intermediates out-of-bounds";
+    readonly INVALID_RJUMP: "invalid rjump* target";
+    readonly INVALID_CALL_TARGET: "invalid callf/jumpf target";
+    readonly INVALID_CALLF_RETURNING: "invalid callf: calls to non-returning function";
+    readonly INVALID_STACK_HEIGHT: "invalid stack height";
+    readonly INVALID_JUMPF: "invalid jumpf target (output count)";
+    readonly INVALID_RETURNING_SECTION: "invalid returning code section: section is not returning";
+    readonly RETURNING_NO_RETURN: "invalid section: section should return but has no RETF/JUMP to return";
+    readonly RJUMPV_TABLE_SIZE0: "invalid RJUMPV: table size 0";
+    readonly UNREACHABLE_CODE_SECTIONS: "unreachable code sections";
+    readonly UNREACHABLE_CODE: "unreachable code (by forward jumps)";
+    readonly DATALOADN_OOB: "DATALOADN reading out of bounds";
+    readonly MAX_STACK_HEIGHT_VIOLATION: "Max stack height does not match the reported max stack height";
+    readonly STACK_UNDERFLOW: "Stack underflow";
+    readonly STACK_OVERFLOW: "Stack overflow";
+    readonly UNSTABLE_STACK: "Unstable stack (can reach stack under/overflow by jumps)";
+    readonly RETF_NO_RETURN: "Trying to return to undefined function";
+    readonly RETURN_STACK_OVERFLOW: "Return stack overflow";
+    readonly INVALID_EXTCALL_TARGET: "invalid extcall target: address > 20 bytes";
+    readonly INVALID_RETURN_CONTRACT_DATA_SIZE: "invalid RETURNCONTRACT: data size lower than expected";
+};
+export declare function validationErrorMsg(type: EOFErrorMessage, ...args: any): string;
+export declare function validationError(type: EOFErrorMessage, ...args: any): never;
+//# sourceMappingURL=errors.d.ts.map

package/dist/cjs/eof/errors.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../../../src/eof/errors.ts"],"names":[],"mappings":"AAEA,MAAM,MAAM,eAAe,GAAG,CAAC,OAAO,eAAe,CAAC,CAAC,MAAM,OAAO,eAAe,CAAC,CAAA;AAEpF,eAAO,MAAM,eAAe;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA+DlB,CAAA;AAEV,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,eAAe,EAAE,GAAG,IAAI,EAAE,GAAG,UAyDrE;AACD,wBAAgB,eAAe,CAAC,IAAI,EAAE,eAAe,EAAE,GAAG,IAAI,EAAE,GAAG,GAAG,KAAK,CAsF1E"}