@feelyourprotocol/evm 8141.0.0

package/dist/esm/eof/verify.js

@@ -0,0 +1,432 @@
+import { EOFErrorMessage, validationError } from "./errors.js";
+import { stackDelta } from "./stackDelta.js";
+export const ContainerSectionType = {
+    InitCode: 'initCode', // Targeted by EOFCreate
+    DeploymentCode: 'deploymentCode', // Targeted by RETURNCONTRACT
+    RuntimeCode: 'runtimeCode', // "Default" runtime code
+};
+/**
+ * This method validates an EOF container deeply. It will validate the opcodes, validate the stack, and performs
+ * various checks such as checking for forbidden opcodes in certain modes, jumps to invalid places, etc.
+ * For more information, see "Code validation" of https://github.com/ipsilon/eof/blob/main/spec/eof.md
+ * This is a compilation of all the extra validation rules introduced by the various EIPs
+ * In particular, the stack validation EIP https://eips.ethereum.org/EIPS/eip-5450 is a big part here
+ * @param container EOFContainer to verify
+ * @param evm The EVM to run in (pulls opcodes from here)
+ * @param mode The validation mode to run in
+ * @returns Returns a Map which marks what ContainerSectionType each container is
+ * NOTE: this should likely not be a map, since a container section can only be of a single type, not multiple
+ */
+export function verifyCode(container, evm, mode = ContainerSectionType.RuntimeCode) {
+    return validateOpcodes(container, evm, mode);
+}
+// Helper methods to read Int16s / Uint16s
+function readInt16(code, start) {
+    return new DataView(code.buffer).getInt16(start);
+}
+function readUint16(code, start) {
+    return new DataView(code.buffer).getUint16(start);
+}
+function validateOpcodes(container, evm, mode = ContainerSectionType.RuntimeCode) {
+    // Track the type of the container targets
+    // Should at the end of the analysis have all the containers
+    const containerTypeMap = new Map();
+    // TODO (?) -> stackDelta currently only has active EOF opcodes, can use it directly (?)
+    // (so no need to generate the valid opcodeNumbers)
+    // Validate each code section
+    const opcodes = evm.getActiveOpcodes();
+    const opcodeNumbers = new Set();
+    for (const [key] of opcodes) {
+        opcodeNumbers.add(key);
+    }
+    // Add INVALID as valid
+    opcodeNumbers.add(0xfe);
+    // Remove CODESIZE, CODECOPY, EXTCODESIZE, EXTCODECOPY, EXTCODEHASH, GAS
+    opcodeNumbers.delete(0x38);
+    opcodeNumbers.delete(0x39);
+    opcodeNumbers.delete(0x5a);
+    opcodeNumbers.delete(0x3b);
+    opcodeNumbers.delete(0x3c);
+    opcodeNumbers.delete(0x3f);
+    // Remove CALLCODE and SELFDESTRUCT
+    opcodeNumbers.delete(0xf2);
+    opcodeNumbers.delete(0xff);
+    // TODO omnibus https://github.com/ipsilon/eof/blob/main/spec/eof.md states
+    // JUMP / JUMPI / PC / CREATE / CREATE2 also banned
+    // This is not in the EIPs yet
+    // Add these opcodes here
+    opcodeNumbers.delete(0x56); // JUMP
+    opcodeNumbers.delete(0x57); // JUMPI
+    opcodeNumbers.delete(0x58); // PC
+    opcodeNumbers.delete(0xf0); // CREATE
+    opcodeNumbers.delete(0xf5); // CREATE2
+    // Note: Name might be misleading since this is the list of opcodes which are OK as final opcodes in a code section
+    // TODO if using stackDelta for EOF it is possible to add a "termination" boolean for the opcode to mark it as terminating
+    // (so no need to generate this set here)
+    const terminatingOpcodes = new Set();
+    terminatingOpcodes.add(0x00); // STOP
+    terminatingOpcodes.add(0xf3); // RETURN
+    terminatingOpcodes.add(0xfd); // REVERT
+    terminatingOpcodes.add(0xfe); // INVALID
+    terminatingOpcodes.add(0xee); // RETURNCONTRACT
+    terminatingOpcodes.add(0xe4); // RETF
+    terminatingOpcodes.add(0xe5); // JUMPF
+    terminatingOpcodes.add(0xe0); // RJUMPing back into code section is OK
+    for (const opcode of terminatingOpcodes) {
+        if (!opcodeNumbers.has(opcode)) {
+            terminatingOpcodes.delete(opcode);
+        }
+    }
+    const validJumps = new Set();
+    // Add all reachable code sections
+    const reachableSections = {};
+    let codeSection = -1;
+    for (const code of container.body.codeSections) {
+        // Track the intermediate bytes
+        const intermediateBytes = new Set();
+        // Track the jump locations (for forward jumps it is unknown at the first pass if the byte is intermediate)
+        const jumpLocations = new Set();
+        function addJump(location) {
+            if (intermediateBytes.has(location)) {
+                // When trying to JUMP into an intermediate byte: this is invalid
+                validationError(EOFErrorMessage.INVALID_RJUMP);
+            }
+            jumpLocations.add(location);
+        }
+        function addIntermediate(location) {
+            if (jumpLocations.has(location)) {
+                // When trying to add an intermediate to a location already JUMPed to: this is invalid
+                validationError(EOFErrorMessage.INVALID_RJUMP);
+            }
+            intermediateBytes.add(location);
+        }
+        codeSection++;
+        reachableSections[codeSection] = new Set();
+        // Section is marked as "non-returning": it does never "return" to another code section
+        // it rather exits the current EVM call frame
+        const nonReturningFunction = container.body.typeSections[codeSection].outputs === 0x80;
+        // Boolean flag to mark if this section has a returning opcode:
+        // RETF
+        // Or JUMPF into a returning section
+        // Each returning section should contain a returning opcode
+        let sectionHasReturningOpcode = false;
+        // Tracking set of reachable opcodes
+        const reachableOpcodes = new Set();
+        reachableOpcodes.add(0);
+        // Validate that each opcode is defined
+        let ptr = 0;
+        let lastOpcode = 0; // Note: code sections cannot be empty, so this number will always be set
+        // Implement the EIP 5450 stack validation algorithm
+        const inputs = container.body.typeSections[codeSection].inputs;
+        let maxStackHeight = inputs;
+        // These arrays track the min/max stack height **before** executing the instruction
+        const stackHeightMin = [inputs];
+        const stackHeightMax = [inputs];
+        // Loop over the entire code section and validate various rules
+        // For (most) validation rules, see https://github.com/ipsilon/eof/blob/main/spec/eof.md
+        // For all validation rules per opcode, find the corresponding EIP, the rules are there
+        while (ptr < code.length) {
+            // Tracks the successor opcodes of this opcode (for stack purposes)
+            const successorSet = new Set();
+            // ReachableOpcodes: this can likely be deleted after implementing the 5450 algorithm
+            if (!reachableOpcodes.has(ptr)) {
+                validationError(EOFErrorMessage.UNREACHABLE_CODE);
+            }
+            if (stackHeightMin[ptr] === undefined || stackHeightMax[ptr] === undefined) {
+                // Code is either unreachable or only reachable via a backwards jump
+                validationError(EOFErrorMessage.UNREACHABLE_CODE);
+            }
+            validJumps.add(ptr);
+            const opcode = code[ptr];
+            const minStackCurrent = stackHeightMin[ptr];
+            const maxStackCurrent = stackHeightMax[ptr];
+            const opcodeInputs = stackDelta[opcode].inputs;
+            const opcodeOutputs = stackDelta[opcode].outputs;
+            if (minStackCurrent - opcodeInputs < 0) {
+                validationError(EOFErrorMessage.STACK_UNDERFLOW);
+            }
+            const delta = opcodeOutputs - opcodeInputs;
+            let minStackNext = minStackCurrent + delta;
+            let maxStackNext = maxStackCurrent + delta;
+            if (maxStackNext > 1024) {
+                // TODO verify if 1023 or 1024 is the right constant
+                validationError(EOFErrorMessage.STACK_OVERFLOW);
+            }
+            if (nonReturningFunction && opcode === 0xe4) {
+                validationError(EOFErrorMessage.INVALID_RETURNING_SECTION);
+            }
+            lastOpcode = opcode;
+            if (!opcodeNumbers.has(opcode)) {
+                validationError(EOFErrorMessage.INVALID_OPCODE);
+            }
+            if (opcode === 0xe0 || opcode === 0xe1) {
+                // RJUMP / RJUMPI
+                const target = readInt16(code, ptr + 1) + ptr + 3;
+                if (target < 0 || target >= code.length) {
+                    validationError(EOFErrorMessage.INVALID_RJUMP);
+                }
+                successorSet.add(target);
+                addJump(target);
+                reachableOpcodes.add(target);
+                if (opcode === 0xe0) {
+                    // For RJUMP check that the instruction after RJUMP is reachable
+                    // If not the case then it is not yet targeted by a forward jump
+                    // and hence violates the spec
+                    if (!reachableOpcodes.has(ptr + 3) && ptr + 3 < code.length) {
+                        // Note: the final condition above ensures that the bytes after ptr are there
+                        // This is an edge case, if the container ends with RJUMP (which is valid)
+                        validationError(EOFErrorMessage.UNREACHABLE_CODE);
+                    }
+                }
+            }
+            else if (opcode === 0xe2) {
+                // RJUMPV
+                const tableSize = code[ptr + 1] + 1;
+                if (tableSize === undefined) {
+                    validationError(EOFErrorMessage.OPCODE_INTERMEDIATES_OOB);
+                }
+                else if (tableSize === 0) {
+                    validationError(EOFErrorMessage.RJUMPV_TABLE_SIZE0);
+                }
+                if (ptr + tableSize * 2 + 2 >= code.length) {
+                    // Fall-through case
+                    validationError(EOFErrorMessage.OPCODE_INTERMEDIATES_OOB);
+                }
+                const newPc = ptr + 2 + tableSize * 2;
+                for (let i = 0; i < tableSize; i++) {
+                    const newPtr = ptr + 2 + i * 2;
+                    // Add the table bytes to intermediates
+                    addIntermediate(newPtr);
+                    addIntermediate(newPtr + 1);
+                    const target = readInt16(code, newPtr) + newPc;
+                    if (target < 0 || target >= code.length) {
+                        validationError(EOFErrorMessage.OPCODE_INTERMEDIATES_OOB);
+                    }
+                    successorSet.add(target);
+                    addJump(target);
+                    reachableOpcodes.add(target);
+                }
+                // Special case for RJUMPV: move ptr over the table (the immediate starting byte will be added later)
+                // In this special case, add the immediate starting byte
+                addIntermediate(ptr + 1);
+                ptr += 2 * tableSize + 1;
+            }
+            else if (opcode === 0xe3 || opcode === 0xe5) {
+                // CALLF / JUMPF
+                const target = readUint16(code, ptr + 1);
+                reachableSections[codeSection].add(target);
+                if (target >= container.header.codeSizes.length) {
+                    validationError(EOFErrorMessage.INVALID_CALL_TARGET);
+                }
+                if (opcode === 0xe3) {
+                    // CALLF
+                    const targetOutputs = container.body.typeSections[target].outputs;
+                    const targetInputs = container.body.typeSections[target].inputs;
+                    if (targetOutputs === 0x80) {
+                        // CALLF points to non-returning function which is not allowed
+                        validationError(EOFErrorMessage.INVALID_CALLF_RETURNING);
+                    }
+                    if (minStackCurrent < targetInputs) {
+                        validationError(EOFErrorMessage.STACK_UNDERFLOW);
+                    }
+                    if (maxStackCurrent + container.body.typeSections[target].maxStackHeight - targetInputs >
+                        1024) {
+                        validationError(EOFErrorMessage.STACK_OVERFLOW);
+                    }
+                    minStackNext += targetOutputs - targetInputs;
+                    maxStackNext += targetOutputs - targetInputs;
+                }
+                else {
+                    // JUMPF
+                    const currentOutputs = container.body.typeSections[codeSection].outputs;
+                    const targetOutputs = container.body.typeSections[target].outputs;
+                    const targetInputs = container.body.typeSections[target].inputs;
+                    const targetNonReturning = targetOutputs === 0x80;
+                    if (targetOutputs > currentOutputs && !targetNonReturning) {
+                        // Spec rule:
+                        // JUMPF operand must point to a code section with equal or fewer number of outputs as
+                        // the section in which it resides, or to a section with 0x80 as outputs (non-returning)
+                        validationError(EOFErrorMessage.INVALID_JUMPF);
+                    }
+                    if (nonReturningFunction && targetOutputs <= 0x7f) {
+                        // Current function is returning, but target is not, cannot jump into this
+                        validationError(EOFErrorMessage.INVALID_RETURNING_SECTION);
+                    }
+                    if (targetNonReturning) {
+                        // Target is returning
+                        if (minStackCurrent < targetInputs) {
+                            validationError(EOFErrorMessage.STACK_UNDERFLOW);
+                        }
+                    }
+                    else {
+                        // Target is returning
+                        const expectedStack = currentOutputs + targetInputs - targetOutputs;
+                        if (!(minStackCurrent === maxStackCurrent && maxStackCurrent === expectedStack)) {
+                            validationError(EOFErrorMessage.INVALID_STACK_HEIGHT);
+                        }
+                        sectionHasReturningOpcode = true;
+                    }
+                    if (maxStackCurrent + container.body.typeSections[target].maxStackHeight - targetInputs >
+                        1024) {
+                        validationError(EOFErrorMessage.STACK_OVERFLOW);
+                    }
+                }
+            }
+            else if (opcode === 0xe4) {
+                // RETF
+                // Stack height must match the outputs of current code section
+                const outputs = container.body.typeSections[codeSection].outputs;
+                if (!(minStackCurrent === maxStackCurrent && maxStackCurrent === outputs)) {
+                    validationError(EOFErrorMessage.INVALID_STACK_HEIGHT);
+                }
+                sectionHasReturningOpcode = true;
+            }
+            else if (opcode === 0xe6) {
+                // DUPN
+                const toDup = code[ptr + 1];
+                if (toDup + 1 > minStackCurrent) {
+                    validationError(EOFErrorMessage.STACK_UNDERFLOW);
+                }
+            }
+            else if (opcode === 0xe7) {
+                // SWAPN
+                const toSwap = code[ptr + 1];
+                if (toSwap + 2 > minStackCurrent) {
+                    validationError(EOFErrorMessage.STACK_UNDERFLOW);
+                }
+            }
+            else if (opcode === 0xe8) {
+                // EXCHANGE
+                const exchangeRaw = code[ptr + 1];
+                const n = (exchangeRaw >> 4) + 1;
+                const m = (exchangeRaw & 0x0f) + 1;
+                if (n + m + 1 > minStackCurrent) {
+                    validationError(EOFErrorMessage.STACK_UNDERFLOW);
+                }
+            }
+            else if (opcode === 0xec) {
+                // EOFCREATE
+                const target = code[ptr + 1];
+                if (target >= container.header.containerSizes.length) {
+                    validationError(EOFErrorMessage.INVALID_EOF_CREATE_TARGET);
+                }
+                if (containerTypeMap.has(target)) {
+                    if (containerTypeMap.get(target) !== ContainerSectionType.InitCode) {
+                        validationError(EOFErrorMessage.CONTAINER_DOUBLE_TYPE);
+                    }
+                }
+                containerTypeMap.set(target, ContainerSectionType.InitCode);
+            }
+            else if (opcode === 0xee) {
+                // RETURNCONTRACT
+                if (mode !== ContainerSectionType.InitCode) {
+                    validationError(EOFErrorMessage.CONTAINER_TYPE_ERROR);
+                }
+                const target = code[ptr + 1];
+                if (target >= container.header.containerSizes.length) {
+                    validationError(EOFErrorMessage.INVALID_RETURN_CONTRACT_TARGET);
+                }
+                if (containerTypeMap.has(target)) {
+                    if (containerTypeMap.get(target) !== ContainerSectionType.DeploymentCode) {
+                        validationError(EOFErrorMessage.CONTAINER_DOUBLE_TYPE);
+                    }
+                }
+                containerTypeMap.set(target, ContainerSectionType.DeploymentCode);
+            }
+            else if (opcode === 0xd1) {
+                // DATALOADN
+                const dataTarget = readUint16(code, ptr + 1);
+                const endOfSlice = dataTarget + 32;
+                if (container.header.dataSize < endOfSlice) {
+                    validationError(EOFErrorMessage.DATALOADN_OOB);
+                }
+            }
+            else if (opcode === 0x00 || opcode === 0xf3) {
+                // STOP / RETURN
+                if (mode === ContainerSectionType.InitCode) {
+                    validationError(EOFErrorMessage.CONTAINER_TYPE_ERROR);
+                }
+            }
+            // Move ptr forward over any intermediates (if any)
+            // Note: for EOF this stackDelta is guaranteed to exist
+            const intermediates = stackDelta[opcode].intermediates;
+            if (intermediates > 0) {
+                for (let i = 1; i <= intermediates; i++) {
+                    addIntermediate(ptr + i);
+                }
+                ptr += intermediates; // If the opcode has any intermediates, jump over it
+            }
+            if (ptr >= code.length) {
+                validationError(EOFErrorMessage.OPCODE_INTERMEDIATES_OOB);
+            }
+            ptr++; // Move to next opcode
+            if (stackDelta[opcode].terminating === undefined) {
+                // If the opcode is not terminating we can add the next opcode to the reachable opcodes
+                // It can be reached by sequential instruction flow
+                reachableOpcodes.add(ptr);
+                // Add next opcode to successorSet
+                // NOTE: these are all opcodes except RJUMP
+                if (opcode !== 0xe0) {
+                    successorSet.add(ptr);
+                }
+            }
+            // TODO here validate stack / reachability and stack overflow check
+            for (const successor of successorSet) {
+                if (successor < ptr) {
+                    // Reached via backwards jump
+                    if (stackHeightMin[successor] !== minStackNext ||
+                        stackHeightMax[successor] !== maxStackNext) {
+                        validationError(EOFErrorMessage.UNSTABLE_STACK);
+                    }
+                }
+                if (stackHeightMax[successor] === undefined) {
+                    // Target is seen for first time
+                    stackHeightMin[successor] = minStackNext;
+                    stackHeightMax[successor] = maxStackNext;
+                }
+                else {
+                    stackHeightMin[successor] = Math.min(stackHeightMin[successor], minStackNext);
+                    stackHeightMax[successor] = Math.max(stackHeightMax[successor], maxStackNext);
+                }
+            }
+            maxStackHeight = Math.max(maxStackNext, maxStackHeight);
+        }
+        // Validate that the final opcode terminates
+        if (!terminatingOpcodes.has(lastOpcode)) {
+            validationError(EOFErrorMessage.INVALID_TERMINATOR);
+        }
+        if (container.body.typeSections[codeSection].maxStackHeight !== maxStackHeight) {
+            validationError(EOFErrorMessage.MAX_STACK_HEIGHT_VIOLATION);
+        }
+        if (maxStackHeight > 1024) {
+            // TODO verify if 1023 or 1024 is the right constant
+            validationError(EOFErrorMessage.MAX_STACK_HEIGHT_LIMIT);
+        }
+        // Validate that if the section is returning, there is a returning opcode
+        if (!sectionHasReturningOpcode && !nonReturningFunction) {
+            validationError(EOFErrorMessage.RETURNING_NO_RETURN);
+        }
+    }
+    // Verify that each code section can be reached from code section 0
+    const sectionAccumulator = new Set();
+    sectionAccumulator.add(0); // 0 is always reachable
+    const toCheck = [0];
+    while (toCheck.length > 0) {
+        const checkArray = reachableSections[toCheck.pop()];
+        for (const checkSection of checkArray) {
+            if (!sectionAccumulator.has(checkSection)) {
+                // Only check the reachable section if
+                sectionAccumulator.add(checkSection);
+                toCheck.push(checkSection);
+            }
+        }
+    }
+    if (sectionAccumulator.size !== container.header.codeSizes.length) {
+        validationError(EOFErrorMessage.UNREACHABLE_CODE_SECTIONS);
+    }
+    if (containerTypeMap.size !== container.header.containerSizes.length) {
+        validationError(EOFErrorMessage.UNREACHABLE_CONTAINER_SECTIONS);
+    }
+    return containerTypeMap;
+}
+//# sourceMappingURL=verify.js.map

package/dist/esm/eof/verify.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify.js","sourceRoot":"","sources":["../../../src/eof/verify.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,aAAa,CAAA;AAC9D,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AAuB5C,MAAM,CAAC,MAAM,oBAAoB,GAAG;IAClC,QAAQ,EAAE,UAAU,EAAE,wBAAwB;IAC9C,cAAc,EAAE,gBAAgB,EAAE,6BAA6B;IAC/D,WAAW,EAAE,aAAa,EAAE,yBAAyB;CAC7C,CAAA;AAEV;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,UAAU,CACxB,SAAuB,EACvB,GAAQ,EACR,OAA6B,oBAAoB,CAAC,WAAW;IAE7D,OAAO,eAAe,CAAC,SAAS,EAAE,GAAG,EAAE,IAAI,CAAC,CAAA;AAC9C,CAAC;AAED,0CAA0C;AAC1C,SAAS,SAAS,CAAC,IAAgB,EAAE,KAAa;IAChD,OAAO,IAAI,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAA;AAClD,CAAC;AAED,SAAS,UAAU,CAAC,IAAgB,EAAE,KAAa;IACjD,OAAO,IAAI,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAA;AACnD,CAAC;AAED,SAAS,eAAe,CACtB,SAAuB,EACvB,GAAQ,EACR,OAA6B,oBAAoB,CAAC,WAAW;IAE7D,0CAA0C;IAC1C,4DAA4D;IAC5D,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAgC,CAAA;IAChE,wFAAwF;IACxF,mDAAmD;IAEnD,6BAA6B;IAC7B,MAAM,OAAO,GAAG,GAAG,CAAC,gBAAgB,EAAE,CAAA;IAEtC,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAA;IAEvC,KAAK,MAAM,CAAC,GAAG,CAAC,IAAI,OAAO,EAAE,CAAC;QAC5B,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;IACxB,CAAC;IAED,uBAAuB;IACvB,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;IAEvB,wEAAwE;IACxE,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IAC1B,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IAC1B,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IAC1B,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IAC1B,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IAC1B,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IAE1B,mCAAmC;IACnC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IAC1B,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;IAE1B,2EAA2E;IAC3E,mDAAmD;IACnD,8BAA8B;IAC9B,yBAAyB;IAEzB,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA,CAAC,OAAO;IAClC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA,CAAC,QAAQ;IAEnC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA,CAAC,KAAK;IAEhC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA,CAAC,SAAS;IACpC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA,CAAC,UAAU;IAErC,mHAAmH;IACnH,0HAA0H;IAC1H,yCAAyC;IACzC,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAU,CAAA;IAE5C,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA,CAAC,OAAO;IACpC,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA,CAAC,SAAS;IACtC,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA,CAAC,SAAS;IACtC,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA,CAAC,UAAU;IAEvC,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA,CAAC,iBAAiB;IAE9C,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA,CAAC,OAAO;IACpC,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA,CAAC,QAAQ;IAErC,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA,CAAC,wCAAwC;IAErE,KAAK,MAAM,MAAM,IAAI,kBAAkB,EAAE,CAAC;QACxC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;YAC/B,kBAAkB,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;QACnC,CAAC;IACH,CAAC;IAED,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAA;IAEpC,kCAAkC;IAClC,MAAM,iBAAiB,GAAmC,EAAE,CAAA;IAE5D,IAAI,WAAW,GAAG,CAAC,CAAC,CAAA;IACpB,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC;QAC/C,+BAA+B;QAC/B,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAU,CAAA;QAC3C,2GAA2G;QAC3G,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAA;QAEvC,SAAS,OAAO,CAAC,QAAgB;YAC/B,IAAI,iBAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACpC,iEAAiE;gBACjE,eAAe,CAAC,eAAe,CAAC,aAAa,CAAC,CAAA;YAChD,CAAC;YACD,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;QAC7B,CAAC;QAED,SAAS,eAAe,CAAC,QAAgB;YACvC,IAAI,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAChC,sFAAsF;gBACtF,eAAe,CAAC,eAAe,CAAC,aAAa,CAAC,CAAA;YAChD,CAAC;YACD,iBAAiB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;QACjC,CAAC;QAED,WAAW,EAAE,CAAA;QAEb,iBAAiB,CAAC,WAAW,CAAC,GAAG,IAAI,GAAG,EAAE,CAAA;QAE1C,uFAAuF;QACvF,6CAA6C;QAC7C,MAAM,oBAAoB,GAAG,SAAS,CAAC,IAAI,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC,OAAO,KAAK,IAAI,CAAA;QAEtF,+DAA+D;QAC/D,OAAO;QACP,oCAAoC;QACpC,2DAA2D;QAC3D,IAAI,yBAAyB,GAAG,KAAK,CAAA;QAErC,oCAAoC;QACpC,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAU,CAAA;QAC1C,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;QAEvB,uCAAuC;QACvC,IAAI,GAAG,GAAG,CAAC,CAAA;QACX,IAAI,UAAU,GAAW,CAAC,CAAA,CAAC,yEAAyE;QAEpG,oDAAoD;QACpD,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC,MAAM,CAAA;QAC9D,IAAI,cAAc,GAAG,MAAM,CAAA;QAC3B,mFAAmF;QACnF,MAAM,cAAc,GAAa,CAAC,MAAM,CAAC,CAAA;QACzC,MAAM,cAAc,GAAa,CAAC,MAAM,CAAC,CAAA;QAEzC,+DAA+D;QAC/D,wFAAwF;QACxF,uFAAuF;QACvF,OAAO,GAAG,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;YACzB,mEAAmE;YACnE,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAA;YAEtC,qFAAqF;YACrF,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC/B,eAAe,CAAC,eAAe,CAAC,gBAAgB,CAAC,CAAA;YACnD,CAAC;YAED,IAAI,cAAc,CAAC,GAAG,CAAC,KAAK,SAAS,IAAI,cAAc,CAAC,GAAG,CAAC,KAAK,SAAS,EAAE,CAAC;gBAC3E,oEAAoE;gBACpE,eAAe,CAAC,eAAe,CAAC,gBAAgB,CAAC,CAAA;YACnD,CAAC;YAED,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;YACnB,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,CAAA;YAExB,MAAM,eAAe,GAAG,cAAc,CAAC,GAAG,CAAC,CAAA;YAC3C,MAAM,eAAe,GAAG,cAAc,CAAC,GAAG,CAAC,CAAA;YAE3C,MAAM,YAAY,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,MAAM,CAAA;YAC9C,MAAM,aAAa,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,OAAO,CAAA;YAEhD,IAAI,eAAe,GAAG,YAAY,GAAG,CAAC,EAAE,CAAC;gBACvC,eAAe,CAAC,eAAe,CAAC,eAAe,CAAC,CAAA;YAClD,CAAC;YAED,MAAM,KAAK,GAAG,aAAa,GAAG,YAAY,CAAA;YAE1C,IAAI,YAAY,GAAG,eAAe,GAAG,KAAK,CAAA;YAC1C,IAAI,YAAY,GAAG,eAAe,GAAG,KAAK,CAAA;YAE1C,IAAI,YAAY,GAAG,IAAI,EAAE,CAAC;gBACxB,oDAAoD;gBACpD,eAAe,CAAC,eAAe,CAAC,cAAc,CAAC,CAAA;YACjD,CAAC;YAED,IAAI,oBAAoB,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;gBAC5C,eAAe,CAAC,eAAe,CAAC,yBAAyB,CAAC,CAAA;YAC5D,CAAC;YAED,UAAU,GAAG,MAAM,CAAA;YACnB,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC/B,eAAe,CAAC,eAAe,CAAC,cAAc,CAAC,CAAA;YACjD,CAAC;YAED,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;gBACvC,iBAAiB;gBACjB,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,EAAE,GAAG,GAAG,CAAC,CAAC,GAAG,GAAG,GAAG,CAAC,CAAA;gBACjD,IAAI,MAAM,GAAG,CAAC,IAAI,MAAM,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;oBACxC,eAAe,CAAC,eAAe,CAAC,aAAa,CAAC,CAAA;gBAChD,CAAC;gBAED,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;gBAExB,OAAO,CAAC,MAAM,CAAC,CAAA;gBACf,gBAAgB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;gBAE5B,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;oBACpB,gEAAgE;oBAChE,gEAAgE;oBAChE,8BAA8B;oBAC9B,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,GAAG,GAAG,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;wBAC5D,6EAA6E;wBAC7E,0EAA0E;wBAC1E,eAAe,CAAC,eAAe,CAAC,gBAAgB,CAAC,CAAA;oBACnD,CAAC;gBACH,CAAC;YACH,CAAC;iBAAM,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;gBAC3B,SAAS;gBACT,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAA;gBAEnC,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;oBAC5B,eAAe,CAAC,eAAe,CAAC,wBAAwB,CAAC,CAAA;gBAC3D,CAAC;qBAAM,IAAI,SAAS,KAAK,CAAC,EAAE,CAAC;oBAC3B,eAAe,CAAC,eAAe,CAAC,kBAAkB,CAAC,CAAA;gBACrD,CAAC;gBAED,IAAI,GAAG,GAAG,SAAS,GAAG,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;oBAC3C,oBAAoB;oBACpB,eAAe,CAAC,eAAe,CAAC,wBAAwB,CAAC,CAAA;gBAC3D,CAAC;gBAED,MAAM,KAAK,GAAG,GAAG,GAAG,CAAC,GAAG,SAAS,GAAG,CAAC,CAAA;gBAErC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,EAAE,CAAC,EAAE,EAAE,CAAC;oBACnC,MAAM,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;oBAC9B,uCAAuC;oBACvC,eAAe,CAAC,MAAM,CAAC,CAAA;oBACvB,eAAe,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;oBAC3B,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,KAAK,CAAA;oBAC9C,IAAI,MAAM,GAAG,CAAC,IAAI,MAAM,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;wBACxC,eAAe,CAAC,eAAe,CAAC,wBAAwB,CAAC,CAAA;oBAC3D,CAAC;oBAED,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;oBAExB,OAAO,CAAC,MAAM,CAAC,CAAA;oBACf,gBAAgB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;gBAC9B,CAAC;gBAED,qGAAqG;gBACrG,wDAAwD;gBACxD,eAAe,CAAC,GAAG,GAAG,CAAC,CAAC,CAAA;gBACxB,GAAG,IAAI,CAAC,GAAG,SAAS,GAAG,CAAC,CAAA;YAC1B,CAAC;iBAAM,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;gBAC9C,gBAAgB;gBAChB,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,EAAE,GAAG,GAAG,CAAC,CAAC,CAAA;gBACxC,iBAAiB,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;gBAC1C,IAAI,MAAM,IAAI,SAAS,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC;oBAChD,eAAe,CAAC,eAAe,CAAC,mBAAmB,CAAC,CAAA;gBACtD,CAAC;gBACD,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;oBACpB,QAAQ;oBACR,MAAM,aAAa,GAAG,SAAS,CAAC,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,OAAO,CAAA;oBACjE,MAAM,YAAY,GAAG,SAAS,CAAC,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,MAAM,CAAA;oBAC/D,IAAI,aAAa,KAAK,IAAI,EAAE,CAAC;wBAC3B,8DAA8D;wBAC9D,eAAe,CAAC,eAAe,CAAC,uBAAuB,CAAC,CAAA;oBAC1D,CAAC;oBAED,IAAI,eAAe,GAAG,YAAY,EAAE,CAAC;wBACnC,eAAe,CAAC,eAAe,CAAC,eAAe,CAAC,CAAA;oBAClD,CAAC;oBAED,IACE,eAAe,GAAG,SAAS,CAAC,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,cAAc,GAAG,YAAY;wBACnF,IAAI,EACJ,CAAC;wBACD,eAAe,CAAC,eAAe,CAAC,cAAc,CAAC,CAAA;oBACjD,CAAC;oBAED,YAAY,IAAI,aAAa,GAAG,YAAY,CAAA;oBAC5C,YAAY,IAAI,aAAa,GAAG,YAAY,CAAA;gBAC9C,CAAC;qBAAM,CAAC;oBACN,QAAQ;oBACR,MAAM,cAAc,GAAG,SAAS,CAAC,IAAI,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC,OAAO,CAAA;oBACvE,MAAM,aAAa,GAAG,SAAS,CAAC,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,OAAO,CAAA;oBACjE,MAAM,YAAY,GAAG,SAAS,CAAC,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,MAAM,CAAA;oBAC/D,MAAM,kBAAkB,GAAG,aAAa,KAAK,IAAI,CAAA;oBAEjD,IAAI,aAAa,GAAG,cAAc,IAAI,CAAC,kBAAkB,EAAE,CAAC;wBAC1D,aAAa;wBACb,sFAAsF;wBACtF,wFAAwF;wBACxF,eAAe,CAAC,eAAe,CAAC,aAAa,CAAC,CAAA;oBAChD,CAAC;oBAED,IAAI,oBAAoB,IAAI,aAAa,IAAI,IAAI,EAAE,CAAC;wBAClD,0EAA0E;wBAC1E,eAAe,CAAC,eAAe,CAAC,yBAAyB,CAAC,CAAA;oBAC5D,CAAC;oBAED,IAAI,kBAAkB,EAAE,CAAC;wBACvB,sBAAsB;wBACtB,IAAI,eAAe,GAAG,YAAY,EAAE,CAAC;4BACnC,eAAe,CAAC,eAAe,CAAC,eAAe,CAAC,CAAA;wBAClD,CAAC;oBACH,CAAC;yBAAM,CAAC;wBACN,sBAAsB;wBACtB,MAAM,aAAa,GAAG,cAAc,GAAG,YAAY,GAAG,aAAa,CAAA;wBACnE,IAAI,CAAC,CAAC,eAAe,KAAK,eAAe,IAAI,eAAe,KAAK,aAAa,CAAC,EAAE,CAAC;4BAChF,eAAe,CAAC,eAAe,CAAC,oBAAoB,CAAC,CAAA;wBACvD,CAAC;wBACD,yBAAyB,GAAG,IAAI,CAAA;oBAClC,CAAC;oBACD,IACE,eAAe,GAAG,SAAS,CAAC,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,cAAc,GAAG,YAAY;wBACnF,IAAI,EACJ,CAAC;wBACD,eAAe,CAAC,eAAe,CAAC,cAAc,CAAC,CAAA;oBACjD,CAAC;gBACH,CAAC;YACH,CAAC;iBAAM,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;gBAC3B,OAAO;gBACP,8DAA8D;gBAC9D,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC,OAAO,CAAA;gBAChE,IAAI,CAAC,CAAC,eAAe,KAAK,eAAe,IAAI,eAAe,KAAK,OAAO,CAAC,EAAE,CAAC;oBAC1E,eAAe,CAAC,eAAe,CAAC,oBAAoB,CAAC,CAAA;gBACvD,CAAC;gBACD,yBAAyB,GAAG,IAAI,CAAA;YAClC,CAAC;iBAAM,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;gBAC3B,OAAO;gBACP,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,CAAA;gBAC3B,IAAI,KAAK,GAAG,CAAC,GAAG,eAAe,EAAE,CAAC;oBAChC,eAAe,CAAC,eAAe,CAAC,eAAe,CAAC,CAAA;gBAClD,CAAC;YACH,CAAC;iBAAM,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;gBAC3B,QAAQ;gBACR,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,CAAA;gBAC5B,IAAI,MAAM,GAAG,CAAC,GAAG,eAAe,EAAE,CAAC;oBACjC,eAAe,CAAC,eAAe,CAAC,eAAe,CAAC,CAAA;gBAClD,CAAC;YACH,CAAC;iBAAM,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;gBAC3B,WAAW;gBACX,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,CAAA;gBACjC,MAAM,CAAC,GAAG,CAAC,WAAW,IAAI,CAAC,CAAC,GAAG,CAAC,CAAA;gBAChC,MAAM,CAAC,GAAG,CAAC,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,CAAA;gBAClC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,eAAe,EAAE,CAAC;oBAChC,eAAe,CAAC,eAAe,CAAC,eAAe,CAAC,CAAA;gBAClD,CAAC;YACH,CAAC;iBAAM,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;gBAC3B,YAAY;gBACZ,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,CAAA;gBAC5B,IAAI,MAAM,IAAI,SAAS,CAAC,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,CAAC;oBACrD,eAAe,CAAC,eAAe,CAAC,yBAAyB,CAAC,CAAA;gBAC5D,CAAC;gBACD,IAAI,gBAAgB,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;oBACjC,IAAI,gBAAgB,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,oBAAoB,CAAC,QAAQ,EAAE,CAAC;wBACnE,eAAe,CAAC,eAAe,CAAC,qBAAqB,CAAC,CAAA;oBACxD,CAAC;gBACH,CAAC;gBACD,gBAAgB,CAAC,GAAG,CAAC,MAAM,EAAE,oBAAoB,CAAC,QAAQ,CAAC,CAAA;YAC7D,CAAC;iBAAM,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;gBAC3B,iBAAiB;gBAEjB,IAAI,IAAI,KAAK,oBAAoB,CAAC,QAAQ,EAAE,CAAC;oBAC3C,eAAe,CAAC,eAAe,CAAC,oBAAoB,CAAC,CAAA;gBACvD,CAAC;gBAED,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,CAAA;gBAC5B,IAAI,MAAM,IAAI,SAAS,CAAC,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,CAAC;oBACrD,eAAe,CAAC,eAAe,CAAC,8BAA8B,CAAC,CAAA;gBACjE,CAAC;gBACD,IAAI,gBAAgB,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;oBACjC,IAAI,gBAAgB,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,oBAAoB,CAAC,cAAc,EAAE,CAAC;wBACzE,eAAe,CAAC,eAAe,CAAC,qBAAqB,CAAC,CAAA;oBACxD,CAAC;gBACH,CAAC;gBACD,gBAAgB,CAAC,GAAG,CAAC,MAAM,EAAE,oBAAoB,CAAC,cAAc,CAAC,CAAA;YACnE,CAAC;iBAAM,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;gBAC3B,YAAY;gBACZ,MAAM,UAAU,GAAG,UAAU,CAAC,IAAI,EAAE,GAAG,GAAG,CAAC,CAAC,CAAA;gBAC5C,MAAM,UAAU,GAAG,UAAU,GAAG,EAAE,CAAA;gBAClC,IAAI,SAAS,CAAC,MAAM,CAAC,QAAQ,GAAG,UAAU,EAAE,CAAC;oBAC3C,eAAe,CAAC,eAAe,CAAC,aAAa,CAAC,CAAA;gBAChD,CAAC;YACH,CAAC;iBAAM,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;gBAC9C,gBAAgB;gBAEhB,IAAI,IAAI,KAAK,oBAAoB,CAAC,QAAQ,EAAE,CAAC;oBAC3C,eAAe,CAAC,eAAe,CAAC,oBAAoB,CAAC,CAAA;gBACvD,CAAC;YACH,CAAC;YAED,mDAAmD;YACnD,uDAAuD;YACvD,MAAM,aAAa,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,aAAa,CAAA;YACtD,IAAI,aAAa,GAAG,CAAC,EAAE,CAAC;gBACtB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,aAAa,EAAE,CAAC,EAAE,EAAE,CAAC;oBACxC,eAAe,CAAC,GAAG,GAAG,CAAC,CAAC,CAAA;gBAC1B,CAAC;gBACD,GAAG,IAAI,aAAa,CAAA,CAAC,oDAAoD;YAC3E,CAAC;YACD,IAAI,GAAG,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;gBACvB,eAAe,CAAC,eAAe,CAAC,wBAAwB,CAAC,CAAA;YAC3D,CAAC;YACD,GAAG,EAAE,CAAA,CAAC,sBAAsB;YAC5B,IAAI,UAAU,CAAC,MAAM,CAAC,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;gBACjD,uFAAuF;gBACvF,mDAAmD;gBACnD,gBAAgB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;gBAEzB,kCAAkC;gBAClC,2CAA2C;gBAC3C,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;oBACpB,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;gBACvB,CAAC;YACH,CAAC;YAED,mEAAmE;YAEnE,KAAK,MAAM,SAAS,IAAI,YAAY,EAAE,CAAC;gBACrC,IAAI,SAAS,GAAG,GAAG,EAAE,CAAC;oBACpB,6BAA6B;oBAC7B,IACE,cAAc,CAAC,SAAS,CAAC,KAAK,YAAY;wBAC1C,cAAc,CAAC,SAAS,CAAC,KAAK,YAAY,EAC1C,CAAC;wBACD,eAAe,CAAC,eAAe,CAAC,cAAc,CAAC,CAAA;oBACjD,CAAC;gBACH,CAAC;gBAED,IAAI,cAAc,CAAC,SAAS,CAAC,KAAK,SAAS,EAAE,CAAC;oBAC5C,gCAAgC;oBAChC,cAAc,CAAC,SAAS,CAAC,GAAG,YAAY,CAAA;oBACxC,cAAc,CAAC,SAAS,CAAC,GAAG,YAAY,CAAA;gBAC1C,CAAC;qBAAM,CAAC;oBACN,cAAc,CAAC,SAAS,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,cAAc,CAAC,SAAS,CAAC,EAAE,YAAY,CAAC,CAAA;oBAC7E,cAAc,CAAC,SAAS,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,cAAc,CAAC,SAAS,CAAC,EAAE,YAAY,CAAC,CAAA;gBAC/E,CAAC;YACH,CAAC;YAED,cAAc,GAAG,IAAI,CAAC,GAAG,CAAC,YAAY,EAAE,cAAc,CAAC,CAAA;QACzD,CAAC;QAED,4CAA4C;QAC5C,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;YACxC,eAAe,CAAC,eAAe,CAAC,kBAAkB,CAAC,CAAA;QACrD,CAAC;QAED,IAAI,SAAS,CAAC,IAAI,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC,cAAc,KAAK,cAAc,EAAE,CAAC;YAC/E,eAAe,CAAC,eAAe,CAAC,0BAA0B,CAAC,CAAA;QAC7D,CAAC;QACD,IAAI,cAAc,GAAG,IAAI,EAAE,CAAC;YAC1B,oDAAoD;YACpD,eAAe,CAAC,eAAe,CAAC,sBAAsB,CAAC,CAAA;QACzD,CAAC;QAED,yEAAyE;QACzE,IAAI,CAAC,yBAAyB,IAAI,CAAC,oBAAoB,EAAE,CAAC;YACxD,eAAe,CAAC,eAAe,CAAC,mBAAmB,CAAC,CAAA;QACtD,CAAC;IACH,CAAC;IAED,mEAAmE;IACnE,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAU,CAAA;IAC5C,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA,CAAC,wBAAwB;IAClD,MAAM,OAAO,GAAG,CAAC,CAAC,CAAC,CAAA;IAEnB,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,MAAM,UAAU,GAAG,iBAAiB,CAAC,OAAO,CAAC,GAAG,EAAG,CAAC,CAAA;QACpD,KAAK,MAAM,YAAY,IAAI,UAAU,EAAE,CAAC;YACtC,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,YAAY,CAAC,EAAE,CAAC;gBAC1C,sCAAsC;gBACtC,kBAAkB,CAAC,GAAG,CAAC,YAAY,CAAC,CAAA;gBACpC,OAAO,CAAC,IAAI,CAAC,YAAY,CAAC,CAAA;YAC5B,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,kBAAkB,CAAC,IAAI,KAAK,SAAS,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC;QAClE,eAAe,CAAC,eAAe,CAAC,yBAAyB,CAAC,CAAA;IAC5D,CAAC;IAED,IAAI,gBAAgB,CAAC,IAAI,KAAK,SAAS,CAAC,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,CAAC;QACrE,eAAe,CAAC,eAAe,CAAC,8BAA8B,CAAC,CAAA;IACjE,CAAC;IAED,OAAO,gBAAgB,CAAA;AACzB,CAAC"}

package/dist/esm/errors.d.ts

@@ -0,0 +1,40 @@
+export type EVMErrorType = (typeof EVMErrorMessage)[keyof typeof EVMErrorMessage];
+export declare const EVMErrorTypeString = "EVMError";
+declare const EVMErrorMessage: {
+    readonly OUT_OF_GAS: "out of gas";
+    readonly CODESTORE_OUT_OF_GAS: "code store out of gas";
+    readonly CODESIZE_EXCEEDS_MAXIMUM: "code size to deposit exceeds maximum code size";
+    readonly STACK_UNDERFLOW: "stack underflow";
+    readonly STACK_OVERFLOW: "stack overflow";
+    readonly INVALID_JUMP: "invalid JUMP";
+    readonly INVALID_OPCODE: "invalid opcode";
+    readonly OUT_OF_RANGE: "value out of range";
+    readonly REVERT: "revert";
+    readonly STATIC_STATE_CHANGE: "static state change";
+    readonly INTERNAL_ERROR: "internal error";
+    readonly CREATE_COLLISION: "create collision";
+    readonly STOP: "stop";
+    readonly REFUND_EXHAUSTED: "refund exhausted";
+    readonly VALUE_OVERFLOW: "value overflow";
+    readonly INSUFFICIENT_BALANCE: "insufficient balance";
+    readonly INVALID_BYTECODE_RESULT: "invalid bytecode deployed";
+    readonly INITCODE_SIZE_VIOLATION: "initcode exceeds max initcode size";
+    readonly INVALID_INPUT_LENGTH: "invalid input length";
+    readonly INVALID_EOF_FORMAT: "invalid EOF format";
+    readonly BLS_12_381_INVALID_INPUT_LENGTH: "invalid input length";
+    readonly BLS_12_381_POINT_NOT_ON_CURVE: "point not on curve";
+    readonly BLS_12_381_INPUT_EMPTY: "input is empty";
+    readonly BLS_12_381_FP_NOT_IN_FIELD: "fp point not in field";
+    readonly BN254_FP_NOT_IN_FIELD: "fp point not in field";
+    readonly INVALID_COMMITMENT: "kzg commitment does not match versioned hash";
+    readonly INVALID_INPUTS: "kzg inputs invalid";
+    readonly INVALID_PROOF: "kzg proof invalid";
+};
+export declare class EVMError {
+    error: EVMErrorType;
+    errorType: string;
+    static errorMessages: Record<keyof typeof EVMErrorMessage, EVMErrorType>;
+    constructor(error: EVMErrorType);
+}
+export {};
+//# sourceMappingURL=errors.d.ts.map

package/dist/esm/errors.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../../src/errors.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,YAAY,GAAG,CAAC,OAAO,eAAe,CAAC,CAAC,MAAM,OAAO,eAAe,CAAC,CAAA;AAEjF,eAAO,MAAM,kBAAkB,aAAa,CAAA;AAE5C,QAAA,MAAM,eAAe;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA6BX,CAAA;AAEV,qBAAa,QAAQ;IACnB,KAAK,EAAE,YAAY,CAAA;IACnB,SAAS,EAAE,MAAM,CAAA;IACjB,MAAM,CAAC,aAAa,EAAE,MAAM,CAAC,MAAM,OAAO,eAAe,EAAE,YAAY,CAAC,CAAkB;gBAE9E,KAAK,EAAE,YAAY;CAIhC"}

package/dist/esm/errors.js

@@ -0,0 +1,39 @@
+export const EVMErrorTypeString = 'EVMError';
+const EVMErrorMessage = {
+    OUT_OF_GAS: 'out of gas',
+    CODESTORE_OUT_OF_GAS: 'code store out of gas',
+    CODESIZE_EXCEEDS_MAXIMUM: 'code size to deposit exceeds maximum code size',
+    STACK_UNDERFLOW: 'stack underflow',
+    STACK_OVERFLOW: 'stack overflow',
+    INVALID_JUMP: 'invalid JUMP',
+    INVALID_OPCODE: 'invalid opcode',
+    OUT_OF_RANGE: 'value out of range',
+    REVERT: 'revert',
+    STATIC_STATE_CHANGE: 'static state change',
+    INTERNAL_ERROR: 'internal error',
+    CREATE_COLLISION: 'create collision',
+    STOP: 'stop',
+    REFUND_EXHAUSTED: 'refund exhausted',
+    VALUE_OVERFLOW: 'value overflow',
+    INSUFFICIENT_BALANCE: 'insufficient balance',
+    INVALID_BYTECODE_RESULT: 'invalid bytecode deployed',
+    INITCODE_SIZE_VIOLATION: 'initcode exceeds max initcode size',
+    INVALID_INPUT_LENGTH: 'invalid input length',
+    INVALID_EOF_FORMAT: 'invalid EOF format',
+    BLS_12_381_INVALID_INPUT_LENGTH: 'invalid input length',
+    BLS_12_381_POINT_NOT_ON_CURVE: 'point not on curve',
+    BLS_12_381_INPUT_EMPTY: 'input is empty',
+    BLS_12_381_FP_NOT_IN_FIELD: 'fp point not in field',
+    BN254_FP_NOT_IN_FIELD: 'fp point not in field',
+    INVALID_COMMITMENT: 'kzg commitment does not match versioned hash',
+    INVALID_INPUTS: 'kzg inputs invalid',
+    INVALID_PROOF: 'kzg proof invalid',
+};
+export class EVMError {
+    constructor(error) {
+        this.error = error;
+        this.errorType = EVMErrorTypeString;
+    }
+}
+EVMError.errorMessages = EVMErrorMessage;
+//# sourceMappingURL=errors.js.map

package/dist/esm/errors.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.js","sourceRoot":"","sources":["../../src/errors.ts"],"names":[],"mappings":"AAEA,MAAM,CAAC,MAAM,kBAAkB,GAAG,UAAU,CAAA;AAE5C,MAAM,eAAe,GAAG;IACtB,UAAU,EAAE,YAAY;IACxB,oBAAoB,EAAE,uBAAuB;IAC7C,wBAAwB,EAAE,gDAAgD;IAC1E,eAAe,EAAE,iBAAiB;IAClC,cAAc,EAAE,gBAAgB;IAChC,YAAY,EAAE,cAAc;IAC5B,cAAc,EAAE,gBAAgB;IAChC,YAAY,EAAE,oBAAoB;IAClC,MAAM,EAAE,QAAQ;IAChB,mBAAmB,EAAE,qBAAqB;IAC1C,cAAc,EAAE,gBAAgB;IAChC,gBAAgB,EAAE,kBAAkB;IACpC,IAAI,EAAE,MAAM;IACZ,gBAAgB,EAAE,kBAAkB;IACpC,cAAc,EAAE,gBAAgB;IAChC,oBAAoB,EAAE,sBAAsB;IAC5C,uBAAuB,EAAE,2BAA2B;IACpD,uBAAuB,EAAE,oCAAoC;IAC7D,oBAAoB,EAAE,sBAAsB;IAC5C,kBAAkB,EAAE,oBAAoB;IACxC,+BAA+B,EAAE,sBAAsB;IACvD,6BAA6B,EAAE,oBAAoB;IACnD,sBAAsB,EAAE,gBAAgB;IACxC,0BAA0B,EAAE,uBAAuB;IACnD,qBAAqB,EAAE,uBAAuB;IAC9C,kBAAkB,EAAE,8CAA8C;IAClE,cAAc,EAAE,oBAAoB;IACpC,aAAa,EAAE,mBAAmB;CAC1B,CAAA;AAEV,MAAM,OAAO,QAAQ;IAKnB,YAAY,KAAmB;QAC7B,IAAI,CAAC,KAAK,GAAG,KAAK,CAAA;QAClB,IAAI,CAAC,SAAS,GAAG,kBAAkB,CAAA;IACrC,CAAC;;AALM,sBAAa,GAAuD,eAAe,CAAA"}