@feelyourprotocol/evm 8141.0.0

package/dist/cjs/binaryTreeAccessWitness.d.ts

@@ -0,0 +1,61 @@
+import type { AccessEventFlags, BinaryTreeAccessWitnessInterface, BinaryTreeAccessedState, BinaryTreeAccessedStateWithAddress, RawBinaryTreeAccessedState } from '@feelyourprotocol/common';
+import type { StatefulBinaryTreeStateManager } from '@feelyourprotocol/statemanager';
+import type { Address, BinaryTreeExecutionWitness, PrefixedHexString } from '@feelyourprotocol/util';
+import { ChunkCache } from './chunkCache.ts';
+import { StemCache } from './stemCache.ts';
+export type BinaryStemAccessEvent = {
+    write?: boolean;
+};
+export type BinaryChunkAccessEvent = BinaryStemAccessEvent & {
+    fill?: boolean;
+};
+export type BinaryStemMeta = {
+    address: Address;
+    treeIndex: number | bigint;
+};
+export declare function decodeBinaryAccessState(treeIndex: number | bigint, chunkIndex: number): BinaryTreeAccessedState;
+export declare class BinaryTreeAccessWitness implements BinaryTreeAccessWitnessInterface {
+    stems: Map<PrefixedHexString, BinaryStemAccessEvent & BinaryStemMeta>;
+    chunks: Map<PrefixedHexString, BinaryChunkAccessEvent>;
+    stemCache: StemCache;
+    chunkCache: ChunkCache;
+    hashFunction: (msg: Uint8Array) => Uint8Array;
+    constructor(opts: {
+        hashFunction: (msg: Uint8Array) => Uint8Array;
+        stems?: Map<PrefixedHexString, BinaryStemAccessEvent & BinaryStemMeta>;
+        chunks?: Map<PrefixedHexString, BinaryChunkAccessEvent>;
+    });
+    readAccountBasicData(address: Address): bigint;
+    writeAccountBasicData(address: Address): bigint;
+    readAccountCodeHash(address: Address): bigint;
+    writeAccountCodeHash(address: Address): bigint;
+    readAccountHeader(address: Address): bigint;
+    writeAccountHeader(address: Address): bigint;
+    readAccountCodeChunks(contract: Address, startPc: number, endPc: number): bigint;
+    writeAccountCodeChunks(contract: Address, startPc: number, endPc: number): bigint;
+    readAccountStorage(address: Address, storageSlot: bigint): bigint;
+    writeAccountStorage(address: Address, storageSlot: bigint): bigint;
+    touchAddressOnWriteAndComputeGas(address: Address, treeIndex: number | bigint, subIndex: number | Uint8Array): bigint;
+    touchAddressOnReadAndComputeGas(address: Address, treeIndex: number | bigint, subIndex: number | Uint8Array): bigint;
+    touchAddressAndComputeGas(address: Address, treeIndex: number | bigint, subIndex: number | Uint8Array, { isWrite }: {
+        isWrite?: boolean;
+    }): bigint;
+    touchAddress(address: Address, treeIndex: number | bigint, subIndex: number | Uint8Array, { isWrite }?: {
+        isWrite?: boolean;
+    }): AccessEventFlags;
+    merge(accessWitness: BinaryTreeAccessWitness): void;
+    commit(): void;
+    revert(): void;
+    debugWitnessCost(): void;
+    rawAccesses(): Generator<RawBinaryTreeAccessedState>;
+    accesses(): Generator<BinaryTreeAccessedStateWithAddress>;
+}
+/**
+ * Generate a {@link BinaryTreeExecutionWitness} from a state manager and an access witness.
+ * @param stateManager - The state manager containing the state to generate the witness for.
+ * @param accessWitness - The access witness containing the accessed states.
+ * @param parentStateRoot - The parent state root (i.e. prestate root) to generate the witness for.
+ * @returns The generated binary tree execution witness
+ */
+export declare const generateBinaryExecutionWitness: (stateManager: StatefulBinaryTreeStateManager, accessWitness: BinaryTreeAccessWitness, parentStateRoot: Uint8Array) => Promise<BinaryTreeExecutionWitness>;
+//# sourceMappingURL=binaryTreeAccessWitness.d.ts.map

package/dist/cjs/binaryTreeAccessWitness.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"binaryTreeAccessWitness.d.ts","sourceRoot":"","sources":["../../src/binaryTreeAccessWitness.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,gBAAgB,EAChB,gCAAgC,EAChC,uBAAuB,EACvB,kCAAkC,EAClC,0BAA0B,EAC3B,MAAM,oBAAoB,CAAA;AAsB3B,OAAO,KAAK,EAAE,8BAA8B,EAAE,MAAM,0BAA0B,CAAA;AAE9E,OAAO,KAAK,EAAE,OAAO,EAAE,0BAA0B,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAA;AAC9F,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AAC5C,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAc1C,MAAM,MAAM,qBAAqB,GAAG;IAAE,KAAK,CAAC,EAAE,OAAO,CAAA;CAAE,CAAA;AAEvD,MAAM,MAAM,sBAAsB,GAAG,qBAAqB,GAAG;IAAE,IAAI,CAAC,EAAE,OAAO,CAAA;CAAE,CAAA;AAG/E,MAAM,MAAM,cAAc,GAAG;IAAE,OAAO,EAAE,OAAO,CAAC;IAAC,SAAS,EAAE,MAAM,GAAG,MAAM,CAAA;CAAE,CAAA;AAE7E,wBAAgB,uBAAuB,CACrC,SAAS,EAAE,MAAM,GAAG,MAAM,EAC1B,UAAU,EAAE,MAAM,GACjB,uBAAuB,CAiCzB;AAED,qBAAa,uBAAwB,YAAW,gCAAgC;IAC9E,KAAK,EAAE,GAAG,CAAC,iBAAiB,EAAE,qBAAqB,GAAG,cAAc,CAAC,CAAA;IACrE,MAAM,EAAE,GAAG,CAAC,iBAAiB,EAAE,sBAAsB,CAAC,CAAA;IACtD,SAAS,EAAE,SAAS,CAAkB;IACtC,UAAU,EAAE,UAAU,CAAmB;IACzC,YAAY,EAAE,CAAC,GAAG,EAAE,UAAU,KAAK,UAAU,CAAA;gBACjC,IAAI,EAAE;QAChB,YAAY,EAAE,CAAC,GAAG,EAAE,UAAU,KAAK,UAAU,CAAA;QAC7C,KAAK,CAAC,EAAE,GAAG,CAAC,iBAAiB,EAAE,qBAAqB,GAAG,cAAc,CAAC,CAAA;QACtE,MAAM,CAAC,EAAE,GAAG,CAAC,iBAAiB,EAAE,sBAAsB,CAAC,CAAA;KACxD;IAMD,oBAAoB,CAAC,OAAO,EAAE,OAAO,GAAG,MAAM;IAI9C,qBAAqB,CAAC,OAAO,EAAE,OAAO,GAAG,MAAM;IAI/C,mBAAmB,CAAC,OAAO,EAAE,OAAO,GAAG,MAAM;IAI7C,oBAAoB,CAAC,OAAO,EAAE,OAAO,GAAG,MAAM;IAI9C,iBAAiB,CAAC,OAAO,EAAE,OAAO,GAAG,MAAM;IAS3C,kBAAkB,CAAC,OAAO,EAAE,OAAO,GAAG,MAAM;IAS5C,qBAAqB,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM;IAShF,sBAAsB,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM;IASjF,kBAAkB,CAAC,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,GAAG,MAAM;IAKjE,mBAAmB,CAAC,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,GAAG,MAAM;IAKlE,gCAAgC,CAC9B,OAAO,EAAE,OAAO,EAChB,SAAS,EAAE,MAAM,GAAG,MAAM,EAC1B,QAAQ,EAAE,MAAM,GAAG,UAAU,GAC5B,MAAM;IAMT,+BAA+B,CAC7B,OAAO,EAAE,OAAO,EAChB,SAAS,EAAE,MAAM,GAAG,MAAM,EAC1B,QAAQ,EAAE,MAAM,GAAG,UAAU,GAC5B,MAAM;IAMT,yBAAyB,CACvB,OAAO,EAAE,OAAO,EAChB,SAAS,EAAE,MAAM,GAAG,MAAM,EAC1B,QAAQ,EAAE,MAAM,GAAG,UAAU,EAC7B,EAAE,OAAO,EAAE,EAAE;QAAE,OAAO,CAAC,EAAE,OAAO,CAAA;KAAE,GACjC,MAAM;IAkCT,YAAY,CACV,OAAO,EAAE,OAAO,EAChB,SAAS,EAAE,MAAM,GAAG,MAAM,EAC1B,QAAQ,EAAE,MAAM,GAAG,UAAU,EAC7B,EAAE,OAAO,EAAE,GAAE;QAAE,OAAO,CAAC,EAAE,OAAO,CAAA;KAAO,GACtC,gBAAgB;IAmDnB,KAAK,CAAC,aAAa,EAAE,uBAAuB,GAAG,IAAI;IAyBnD,MAAM,IAAI,IAAI;IAYd,MAAM,IAAI,IAAI;IAKd,gBAAgB,IAAI,IAAI;IAiCvB,WAAW,IAAI,SAAS,CAAC,0BAA0B,CAAC;IAepD,QAAQ,IAAI,SAAS,CAAC,kCAAkC,CAAC;CAO3D;AAED;;;;;;GAMG;AACH,eAAO,MAAM,8BAA8B,GACzC,cAAc,8BAA8B,EAC5C,eAAe,uBAAuB,EACtC,iBAAiB,UAAU,KAC1B,OAAO,CAAC,0BAA0B,CAoDpC,CAAA"}

package/dist/cjs/binaryTreeAccessWitness.js

@@ -0,0 +1,314 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.generateBinaryExecutionWitness = exports.BinaryTreeAccessWitness = void 0;
+exports.decodeBinaryAccessState = decodeBinaryAccessState;
+const common_1 = require("@feelyourprotocol/common");
+const util_1 = require("@feelyourprotocol/util");
+const debug_1 = require("debug");
+const chunkCache_ts_1 = require("./chunkCache.js");
+const stemCache_ts_1 = require("./stemCache.js");
+const debug = (0, debug_1.default)('evm:binaryTree:aw');
+/**
+ * Tree key constants.
+ */
+const WitnessBranchReadCost = BigInt(1900);
+const WitnessChunkReadCost = BigInt(200);
+const WitnessBranchWriteCost = BigInt(3000);
+const WitnessChunkWriteCost = BigInt(500);
+const WitnessChunkFillCost = BigInt(6200);
+function decodeBinaryAccessState(treeIndex, chunkIndex) {
+    const position = BigInt(treeIndex) * BigInt(util_1.BINARY_TREE_NODE_WIDTH) + BigInt(chunkIndex);
+    switch (position) {
+        case BigInt(0):
+            return { type: common_1.BinaryTreeAccessedStateType.BasicData };
+        case BigInt(1):
+            return { type: common_1.BinaryTreeAccessedStateType.CodeHash };
+        default:
+            if (position < util_1.BINARY_TREE_HEADER_STORAGE_OFFSET) {
+                throw Error(`No attribute yet stored >=2 and <${util_1.BINARY_TREE_HEADER_STORAGE_OFFSET}`);
+            }
+            if (position >= util_1.BINARY_TREE_HEADER_STORAGE_OFFSET && position < util_1.BINARY_TREE_CODE_OFFSET) {
+                const slot = position - BigInt(util_1.BINARY_TREE_HEADER_STORAGE_OFFSET);
+                return { type: common_1.BinaryTreeAccessedStateType.Storage, slot };
+            }
+            else if (position >= util_1.BINARY_TREE_CODE_OFFSET &&
+                position < util_1.BINARY_TREE_MAIN_STORAGE_OFFSET) {
+                const codeChunkIdx = Number(position) - util_1.BINARY_TREE_CODE_OFFSET;
+                return {
+                    type: common_1.BinaryTreeAccessedStateType.Code,
+                    codeOffset: codeChunkIdx * 31,
+                };
+            }
+            else if (position >= util_1.BINARY_TREE_MAIN_STORAGE_OFFSET) {
+                const slot = BigInt(position - util_1.BINARY_TREE_MAIN_STORAGE_OFFSET);
+                return { type: common_1.BinaryTreeAccessedStateType.Storage, slot };
+            }
+            else {
+                throw Error(`Invalid treeIndex=${treeIndex} chunkIndex=${chunkIndex} for binary tree access`);
+            }
+    }
+}
+class BinaryTreeAccessWitness {
+    constructor(opts) {
+        this.stemCache = new stemCache_ts_1.StemCache();
+        this.chunkCache = new chunkCache_ts_1.ChunkCache();
+        this.hashFunction = opts.hashFunction;
+        this.stems = opts.stems ?? new Map();
+        this.chunks = opts.chunks ?? new Map();
+    }
+    readAccountBasicData(address) {
+        return this.touchAddressOnReadAndComputeGas(address, 0, util_1.BINARY_TREE_BASIC_DATA_LEAF_KEY);
+    }
+    writeAccountBasicData(address) {
+        return this.touchAddressOnWriteAndComputeGas(address, 0, util_1.BINARY_TREE_BASIC_DATA_LEAF_KEY);
+    }
+    readAccountCodeHash(address) {
+        return this.touchAddressOnReadAndComputeGas(address, 0, util_1.BINARY_TREE_CODE_HASH_LEAF_KEY);
+    }
+    writeAccountCodeHash(address) {
+        return this.touchAddressOnWriteAndComputeGas(address, 0, util_1.BINARY_TREE_CODE_HASH_LEAF_KEY);
+    }
+    readAccountHeader(address) {
+        let gas = util_1.BIGINT_0;
+        gas += this.readAccountBasicData(address);
+        gas += this.readAccountCodeHash(address);
+        return gas;
+    }
+    writeAccountHeader(address) {
+        let gas = util_1.BIGINT_0;
+        gas += this.writeAccountBasicData(address);
+        gas += this.writeAccountCodeHash(address);
+        return gas;
+    }
+    readAccountCodeChunks(contract, startPc, endPc) {
+        let gas = util_1.BIGINT_0;
+        for (let chunkNum = Math.floor(startPc / 31); chunkNum <= Math.floor(endPc / 31); chunkNum++) {
+            const { treeIndex, subIndex } = (0, util_1.getBinaryTreeIndicesForCodeChunk)(chunkNum);
+            gas += this.touchAddressOnReadAndComputeGas(contract, treeIndex, subIndex);
+        }
+        return gas;
+    }
+    writeAccountCodeChunks(contract, startPc, endPc) {
+        let gas = util_1.BIGINT_0;
+        for (let chunkNum = Math.floor(startPc / 31); chunkNum <= Math.floor(endPc / 31); chunkNum++) {
+            const { treeIndex, subIndex } = (0, util_1.getBinaryTreeIndicesForCodeChunk)(chunkNum);
+            gas += this.touchAddressOnWriteAndComputeGas(contract, treeIndex, subIndex);
+        }
+        return gas;
+    }
+    readAccountStorage(address, storageSlot) {
+        const { treeIndex, subIndex } = (0, util_1.getBinaryTreeIndicesForStorageSlot)(storageSlot);
+        return this.touchAddressOnReadAndComputeGas(address, treeIndex, subIndex);
+    }
+    writeAccountStorage(address, storageSlot) {
+        const { treeIndex, subIndex } = (0, util_1.getBinaryTreeIndicesForStorageSlot)(storageSlot);
+        return this.touchAddressOnWriteAndComputeGas(address, treeIndex, subIndex);
+    }
+    touchAddressOnWriteAndComputeGas(address, treeIndex, subIndex) {
+        return this.touchAddressAndComputeGas(address, treeIndex, subIndex, {
+            isWrite: true,
+        });
+    }
+    touchAddressOnReadAndComputeGas(address, treeIndex, subIndex) {
+        return this.touchAddressAndComputeGas(address, treeIndex, subIndex, {
+            isWrite: false,
+        });
+    }
+    touchAddressAndComputeGas(address, treeIndex, subIndex, { isWrite }) {
+        let gas = util_1.BIGINT_0;
+        const { stemRead, stemWrite, chunkRead, chunkWrite, chunkFill } = this.touchAddress(address, treeIndex, subIndex, { isWrite });
+        if (stemRead === true) {
+            gas += WitnessBranchReadCost;
+        }
+        if (stemWrite === true) {
+            gas += WitnessBranchWriteCost;
+        }
+        if (chunkRead === true) {
+            gas += WitnessChunkReadCost;
+        }
+        if (chunkWrite === true) {
+            gas += WitnessChunkWriteCost;
+        }
+        if (chunkFill === true) {
+            gas += WitnessChunkFillCost;
+        }
+        debug(`touchAddressAndComputeGas=${gas} address=${address} treeIndex=${treeIndex} subIndex=${subIndex}`);
+        return gas;
+    }
+    touchAddress(address, treeIndex, subIndex, { isWrite } = {}) {
+        let stemRead = false, stemWrite = false, chunkRead = false, chunkWrite = false;
+        // currently there are no gas charges for setting the chunk for the first time
+        // i.e. no fill cost is charged right now
+        const chunkFill = false;
+        const accessedStemKey = (0, util_1.getBinaryTreeStem)(this.hashFunction, address, treeIndex);
+        const accessedStemHex = (0, util_1.bytesToHex)(accessedStemKey);
+        let accessedStem = this.stemCache.get(accessedStemHex) ?? this.stems.get(accessedStemHex);
+        if (accessedStem === undefined) {
+            stemRead = true;
+            accessedStem = { address, treeIndex };
+            this.stemCache.set(accessedStemHex, accessedStem);
+        }
+        const accessedChunkKey = (0, util_1.getBinaryTreeKey)(accessedStemKey, typeof subIndex === 'number' ? (0, util_1.intToBytes)(subIndex) : subIndex);
+        const accessedChunkKeyHex = (0, util_1.bytesToHex)(accessedChunkKey);
+        let accessedChunk = this.chunkCache.get(accessedChunkKeyHex) ?? this.chunks.get(accessedChunkKeyHex);
+        if (accessedChunk === undefined) {
+            chunkRead = true;
+            accessedChunk = {};
+            this.chunkCache.set(accessedChunkKeyHex, accessedChunk);
+        }
+        if (isWrite === true) {
+            if (accessedStem.write !== true) {
+                stemWrite = true;
+                // this would also directly modify in the map
+                accessedStem.write = true;
+            }
+            if (accessedChunk.write !== true) {
+                chunkWrite = true;
+                // this would also directly modify in the map
+                accessedChunk.write = true;
+            }
+        }
+        debug(`${accessedChunkKeyHex}: isWrite=${isWrite} for stemRead=${stemRead} stemWrite=${stemWrite} chunkRead=${chunkRead} chunkWrite=${chunkWrite} chunkFill=${chunkFill}`);
+        return { stemRead, stemWrite, chunkRead, chunkWrite, chunkFill };
+    }
+    merge(accessWitness) {
+        for (const [chunkKey, chunkValue] of accessWitness.chunks.entries()) {
+            const stemKey = chunkKey.slice(0, chunkKey.length - 2);
+            const stem = accessWitness.stems.get(stemKey);
+            if (stem === undefined) {
+                throw Error(`Internal error: missing stem for the chunkKey=${chunkKey}`);
+            }
+            const thisStem = this.stems.get(stemKey);
+            if (thisStem === undefined) {
+                this.stems.set(stemKey, stem);
+            }
+            else {
+                thisStem.write = thisStem.write !== true ? stem.write : true;
+            }
+            const thisChunk = this.chunks.get(chunkKey);
+            if (thisChunk === undefined) {
+                this.chunks.set(chunkKey, chunkValue);
+            }
+            else {
+                thisChunk.write = thisChunk.write !== true ? chunkValue.write : true;
+                thisChunk.fill = thisChunk.fill !== true ? thisChunk.fill : true;
+            }
+        }
+    }
+    commit() {
+        const cachedStems = this.stemCache.commit();
+        for (const [stemKey, stemValue] of cachedStems) {
+            this.stems.set(stemKey, stemValue);
+        }
+        const cachedChunks = this.chunkCache.commit();
+        for (const [chunkKey, chunkValue] of cachedChunks) {
+            this.chunks.set(chunkKey, chunkValue);
+        }
+    }
+    revert() {
+        this.stemCache.clear();
+        this.chunkCache.clear();
+    }
+    debugWitnessCost() {
+        // Calculate the aggregate gas cost for binary access witness per type
+        let stemReads = 0, stemWrites = 0, chunkReads = 0, chunkWrites = 0;
+        for (const [_, { write }] of this.stems.entries()) {
+            stemReads++;
+            if (write === true) {
+                stemWrites++;
+            }
+        }
+        for (const [_, { write }] of this.chunks.entries()) {
+            chunkReads++;
+            if (write === true) {
+                chunkWrites++;
+            }
+        }
+        debug(`${stemReads} stem reads, totalling ${BigInt(stemReads) * WitnessBranchReadCost} gas units`);
+        debug(`${stemWrites} stem writes, totalling ${BigInt(stemWrites) * WitnessBranchWriteCost} gas units`);
+        debug(`${chunkReads} chunk reads, totalling ${BigInt(chunkReads) * WitnessChunkReadCost} gas units`);
+        debug(`${chunkWrites} chunk writes, totalling ${BigInt(chunkWrites) * WitnessChunkWriteCost} gas units`);
+    }
+    *rawAccesses() {
+        for (const chunkKey of this.chunks.keys()) {
+            // drop the last byte
+            const stemKey = chunkKey.slice(0, chunkKey.length - 2);
+            const stem = this.stems.get(stemKey);
+            if (stem === undefined) {
+                throw Error(`Internal error: missing stem for the chunkKey=${chunkKey}`);
+            }
+            const { address, treeIndex } = stem;
+            const chunkIndex = Number(`0x${chunkKey.slice(chunkKey.length - 2)}`);
+            const accessedState = { address, treeIndex, chunkIndex, chunkKey };
+            yield accessedState;
+        }
+    }
+    *accesses() {
+        for (const rawAccess of this.rawAccesses()) {
+            const { address, treeIndex, chunkIndex, chunkKey } = rawAccess;
+            const accessedState = decodeBinaryAccessState(treeIndex, chunkIndex);
+            yield { ...accessedState, address, chunkKey };
+        }
+    }
+}
+exports.BinaryTreeAccessWitness = BinaryTreeAccessWitness;
+/**
+ * Generate a {@link BinaryTreeExecutionWitness} from a state manager and an access witness.
+ * @param stateManager - The state manager containing the state to generate the witness for.
+ * @param accessWitness - The access witness containing the accessed states.
+ * @param parentStateRoot - The parent state root (i.e. prestate root) to generate the witness for.
+ * @returns The generated binary tree execution witness
+ */
+const generateBinaryExecutionWitness = async (stateManager, accessWitness, parentStateRoot) => {
+    const tree = stateManager['_tree'];
+    await tree['_lock'].acquire();
+    const postStateRoot = await stateManager.getStateRoot();
+    const ew = {
+        stateDiff: [],
+        parentStateRoot: (0, util_1.bytesToHex)(parentStateRoot),
+        proof: undefined, // Binary proofs are not implemented
+    };
+    // Generate a map of all stems with their accessed suffixes
+    const accessedSuffixes = new Map();
+    for (const chunkKey of accessWitness['chunks'].keys()) {
+        const stem = chunkKey.slice(0, 64);
+        if (accessedSuffixes.has(stem)) {
+            const suffixes = accessedSuffixes.get(stem);
+            suffixes.push(parseInt(chunkKey.slice(64), 16));
+            accessedSuffixes.set(stem, suffixes);
+        }
+        else {
+            accessedSuffixes.set(stem, [parseInt(chunkKey.slice(64), 16)]);
+        }
+    }
+    // Get values from the tree for each stem and suffix
+    for (const stem of accessedSuffixes.keys()) {
+        tree.root(parentStateRoot);
+        const suffixes = accessedSuffixes.get(stem);
+        if (suffixes === undefined || suffixes.length === 0)
+            continue;
+        const currentValues = await tree.get((0, util_1.hexToBytes)(stem), suffixes);
+        tree.root(postStateRoot);
+        const newValues = await tree.get((0, util_1.hexToBytes)(stem), suffixes);
+        const stemStateDiff = [];
+        for (let x = 0; x < suffixes.length; x++) {
+            // skip if both are the same
+            const currentValue = currentValues[x];
+            const newValue = newValues[x];
+            if (currentValue instanceof Uint8Array &&
+                newValue instanceof Uint8Array &&
+                (0, util_1.equalsBytes)(currentValue, newValue))
+                continue;
+            stemStateDiff.push({
+                suffix: suffixes[x],
+                currentValue: currentValue ? (0, util_1.bytesToHex)(currentValue) : null,
+                newValue: newValue ? (0, util_1.bytesToHex)(newValue) : null,
+            });
+        }
+        ew.stateDiff.push({ stem, suffixDiffs: stemStateDiff });
+    }
+    tree['_lock'].release();
+    return ew;
+};
+exports.generateBinaryExecutionWitness = generateBinaryExecutionWitness;
+//# sourceMappingURL=binaryTreeAccessWitness.js.map

package/dist/cjs/binaryTreeAccessWitness.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"binaryTreeAccessWitness.js","sourceRoot":"","sources":["../../src/binaryTreeAccessWitness.ts"],"names":[],"mappings":";;;AAqDA,0DAoCC;AAlFD,+CAAgE;AAChE,2CAgByB;AACzB,iCAAgC;AAMhC,mDAA4C;AAC5C,iDAA0C;AAE1C,MAAM,KAAK,GAAG,IAAA,eAAY,EAAC,mBAAmB,CAAC,CAAA;AAE/C;;GAEG;AACH,MAAM,qBAAqB,GAAG,MAAM,CAAC,IAAI,CAAC,CAAA;AAC1C,MAAM,oBAAoB,GAAG,MAAM,CAAC,GAAG,CAAC,CAAA;AACxC,MAAM,sBAAsB,GAAG,MAAM,CAAC,IAAI,CAAC,CAAA;AAC3C,MAAM,qBAAqB,GAAG,MAAM,CAAC,GAAG,CAAC,CAAA;AACzC,MAAM,oBAAoB,GAAG,MAAM,CAAC,IAAI,CAAC,CAAA;AAUzC,SAAgB,uBAAuB,CACrC,SAA0B,EAC1B,UAAkB;IAElB,MAAM,QAAQ,GAAG,MAAM,CAAC,SAAS,CAAC,GAAG,MAAM,CAAC,6BAAsB,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC,CAAA;IACxF,QAAQ,QAAQ,EAAE,CAAC;QACjB,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,OAAO,EAAE,IAAI,EAAE,oCAA2B,CAAC,SAAS,EAAE,CAAA;QACxD,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,OAAO,EAAE,IAAI,EAAE,oCAA2B,CAAC,QAAQ,EAAE,CAAA;QACvD;YACE,IAAI,QAAQ,GAAG,wCAAiC,EAAE,CAAC;gBACjD,MAAM,KAAK,CAAC,oCAAoC,wCAAiC,EAAE,CAAC,CAAA;YACtF,CAAC;YAED,IAAI,QAAQ,IAAI,wCAAiC,IAAI,QAAQ,GAAG,8BAAuB,EAAE,CAAC;gBACxF,MAAM,IAAI,GAAG,QAAQ,GAAG,MAAM,CAAC,wCAAiC,CAAC,CAAA;gBACjE,OAAO,EAAE,IAAI,EAAE,oCAA2B,CAAC,OAAO,EAAE,IAAI,EAAE,CAAA;YAC5D,CAAC;iBAAM,IACL,QAAQ,IAAI,8BAAuB;gBACnC,QAAQ,GAAG,sCAA+B,EAC1C,CAAC;gBACD,MAAM,YAAY,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,8BAAuB,CAAA;gBAC/D,OAAO;oBACL,IAAI,EAAE,oCAA2B,CAAC,IAAI;oBACtC,UAAU,EAAE,YAAY,GAAG,EAAE;iBAC9B,CAAA;YACH,CAAC;iBAAM,IAAI,QAAQ,IAAI,sCAA+B,EAAE,CAAC;gBACvD,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,GAAG,sCAA+B,CAAC,CAAA;gBAC/D,OAAO,EAAE,IAAI,EAAE,oCAA2B,CAAC,OAAO,EAAE,IAAI,EAAE,CAAA;YAC5D,CAAC;iBAAM,CAAC;gBACN,MAAM,KAAK,CACT,qBAAqB,SAAS,eAAe,UAAU,yBAAyB,CACjF,CAAA;YACH,CAAC;IACL,CAAC;AACH,CAAC;AAED,MAAa,uBAAuB;IAMlC,YAAY,IAIX;QAPD,cAAS,GAAc,IAAI,wBAAS,EAAE,CAAA;QACtC,eAAU,GAAe,IAAI,0BAAU,EAAE,CAAA;QAOvC,IAAI,CAAC,YAAY,GAAG,IAAI,CAAC,YAAY,CAAA;QACrC,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,IAAI,GAAG,EAA6D,CAAA;QAC/F,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,IAAI,IAAI,GAAG,EAA6C,CAAA;IACnF,CAAC;IAED,oBAAoB,CAAC,OAAgB;QACnC,OAAO,IAAI,CAAC,+BAA+B,CAAC,OAAO,EAAE,CAAC,EAAE,sCAA+B,CAAC,CAAA;IAC1F,CAAC;IAED,qBAAqB,CAAC,OAAgB;QACpC,OAAO,IAAI,CAAC,gCAAgC,CAAC,OAAO,EAAE,CAAC,EAAE,sCAA+B,CAAC,CAAA;IAC3F,CAAC;IAED,mBAAmB,CAAC,OAAgB;QAClC,OAAO,IAAI,CAAC,+BAA+B,CAAC,OAAO,EAAE,CAAC,EAAE,qCAA8B,CAAC,CAAA;IACzF,CAAC;IAED,oBAAoB,CAAC,OAAgB;QACnC,OAAO,IAAI,CAAC,gCAAgC,CAAC,OAAO,EAAE,CAAC,EAAE,qCAA8B,CAAC,CAAA;IAC1F,CAAC;IAED,iBAAiB,CAAC,OAAgB;QAChC,IAAI,GAAG,GAAG,eAAQ,CAAA;QAElB,GAAG,IAAI,IAAI,CAAC,oBAAoB,CAAC,OAAO,CAAC,CAAA;QACzC,GAAG,IAAI,IAAI,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAA;QAExC,OAAO,GAAG,CAAA;IACZ,CAAC;IAED,kBAAkB,CAAC,OAAgB;QACjC,IAAI,GAAG,GAAG,eAAQ,CAAA;QAElB,GAAG,IAAI,IAAI,CAAC,qBAAqB,CAAC,OAAO,CAAC,CAAA;QAC1C,GAAG,IAAI,IAAI,CAAC,oBAAoB,CAAC,OAAO,CAAC,CAAA;QAEzC,OAAO,GAAG,CAAA;IACZ,CAAC;IAED,qBAAqB,CAAC,QAAiB,EAAE,OAAe,EAAE,KAAa;QACrE,IAAI,GAAG,GAAG,eAAQ,CAAA;QAClB,KAAK,IAAI,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,GAAG,EAAE,CAAC,EAAE,QAAQ,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,EAAE,CAAC,EAAE,QAAQ,EAAE,EAAE,CAAC;YAC7F,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,GAAG,IAAA,uCAAgC,EAAC,QAAQ,CAAC,CAAA;YAC1E,GAAG,IAAI,IAAI,CAAC,+BAA+B,CAAC,QAAQ,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAA;QAC5E,CAAC;QACD,OAAO,GAAG,CAAA;IACZ,CAAC;IAED,sBAAsB,CAAC,QAAiB,EAAE,OAAe,EAAE,KAAa;QACtE,IAAI,GAAG,GAAG,eAAQ,CAAA;QAClB,KAAK,IAAI,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,GAAG,EAAE,CAAC,EAAE,QAAQ,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,EAAE,CAAC,EAAE,QAAQ,EAAE,EAAE,CAAC;YAC7F,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,GAAG,IAAA,uCAAgC,EAAC,QAAQ,CAAC,CAAA;YAC1E,GAAG,IAAI,IAAI,CAAC,gCAAgC,CAAC,QAAQ,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAA;QAC7E,CAAC;QACD,OAAO,GAAG,CAAA;IACZ,CAAC;IAED,kBAAkB,CAAC,OAAgB,EAAE,WAAmB;QACtD,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,GAAG,IAAA,yCAAkC,EAAC,WAAW,CAAC,CAAA;QAC/E,OAAO,IAAI,CAAC,+BAA+B,CAAC,OAAO,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAA;IAC3E,CAAC;IAED,mBAAmB,CAAC,OAAgB,EAAE,WAAmB;QACvD,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,GAAG,IAAA,yCAAkC,EAAC,WAAW,CAAC,CAAA;QAC/E,OAAO,IAAI,CAAC,gCAAgC,CAAC,OAAO,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAA;IAC5E,CAAC;IAED,gCAAgC,CAC9B,OAAgB,EAChB,SAA0B,EAC1B,QAA6B;QAE7B,OAAO,IAAI,CAAC,yBAAyB,CAAC,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE;YAClE,OAAO,EAAE,IAAI;SACd,CAAC,CAAA;IACJ,CAAC;IAED,+BAA+B,CAC7B,OAAgB,EAChB,SAA0B,EAC1B,QAA6B;QAE7B,OAAO,IAAI,CAAC,yBAAyB,CAAC,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE;YAClE,OAAO,EAAE,KAAK;SACf,CAAC,CAAA;IACJ,CAAC;IAED,yBAAyB,CACvB,OAAgB,EAChB,SAA0B,EAC1B,QAA6B,EAC7B,EAAE,OAAO,EAAyB;QAElC,IAAI,GAAG,GAAG,eAAQ,CAAA;QAElB,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,UAAU,EAAE,SAAS,EAAE,GAAG,IAAI,CAAC,YAAY,CACjF,OAAO,EACP,SAAS,EACT,QAAQ,EACR,EAAE,OAAO,EAAE,CACZ,CAAA;QAED,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;YACtB,GAAG,IAAI,qBAAqB,CAAA;QAC9B,CAAC;QACD,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;YACvB,GAAG,IAAI,sBAAsB,CAAA;QAC/B,CAAC;QAED,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;YACvB,GAAG,IAAI,oBAAoB,CAAA;QAC7B,CAAC;QACD,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;YACxB,GAAG,IAAI,qBAAqB,CAAA;QAC9B,CAAC;QACD,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;YACvB,GAAG,IAAI,oBAAoB,CAAA;QAC7B,CAAC;QAED,KAAK,CACH,6BAA6B,GAAG,YAAY,OAAO,cAAc,SAAS,aAAa,QAAQ,EAAE,CAClG,CAAA;QAED,OAAO,GAAG,CAAA;IACZ,CAAC;IAED,YAAY,CACV,OAAgB,EAChB,SAA0B,EAC1B,QAA6B,EAC7B,EAAE,OAAO,KAA4B,EAAE;QAEvC,IAAI,QAAQ,GAAG,KAAK,EAClB,SAAS,GAAG,KAAK,EACjB,SAAS,GAAG,KAAK,EACjB,UAAU,GAAG,KAAK,CAAA;QACpB,8EAA8E;QAC9E,yCAAyC;QACzC,MAAM,SAAS,GAAG,KAAK,CAAA;QAEvB,MAAM,eAAe,GAAG,IAAA,wBAAiB,EAAC,IAAI,CAAC,YAAY,EAAE,OAAO,EAAE,SAAS,CAAC,CAAA;QAChF,MAAM,eAAe,GAAG,IAAA,iBAAU,EAAC,eAAe,CAAC,CAAA;QACnD,IAAI,YAAY,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,eAAe,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,eAAe,CAAC,CAAA;QACzF,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;YAC/B,QAAQ,GAAG,IAAI,CAAA;YACf,YAAY,GAAG,EAAE,OAAO,EAAE,SAAS,EAAE,CAAA;YACrC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,eAAe,EAAE,YAAY,CAAC,CAAA;QACnD,CAAC;QAED,MAAM,gBAAgB,GAAG,IAAA,uBAAgB,EACvC,eAAe,EACf,OAAO,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAA,iBAAU,EAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAC/D,CAAA;QACD,MAAM,mBAAmB,GAAG,IAAA,iBAAU,EAAC,gBAAgB,CAAC,CAAA;QACxD,IAAI,aAAa,GACf,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,mBAAmB,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAA;QAClF,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;YAChC,SAAS,GAAG,IAAI,CAAA;YAChB,aAAa,GAAG,EAAE,CAAA;YAClB,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,mBAAmB,EAAE,aAAa,CAAC,CAAA;QACzD,CAAC;QAED,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;YACrB,IAAI,YAAY,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;gBAChC,SAAS,GAAG,IAAI,CAAA;gBAChB,6CAA6C;gBAC7C,YAAY,CAAC,KAAK,GAAG,IAAI,CAAA;YAC3B,CAAC;YAED,IAAI,aAAa,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;gBACjC,UAAU,GAAG,IAAI,CAAA;gBACjB,6CAA6C;gBAC7C,aAAa,CAAC,KAAK,GAAG,IAAI,CAAA;YAC5B,CAAC;QACH,CAAC;QAED,KAAK,CACH,GAAG,mBAAmB,aAAa,OAAO,iBAAiB,QAAQ,cAAc,SAAS,cAAc,SAAS,eAAe,UAAU,cAAc,SAAS,EAAE,CACpK,CAAA;QACD,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,UAAU,EAAE,SAAS,EAAE,CAAA;IAClE,CAAC;IAED,KAAK,CAAC,aAAsC;QAC1C,KAAK,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,IAAI,aAAa,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;YACpE,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAsB,CAAA;YAC3E,MAAM,IAAI,GAAG,aAAa,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;YAC7C,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACvB,MAAM,KAAK,CAAC,iDAAiD,QAAQ,EAAE,CAAC,CAAA;YAC1E,CAAC;YAED,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;YACxC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC3B,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,CAAA;YAC/B,CAAC;iBAAM,CAAC;gBACN,QAAQ,CAAC,KAAK,GAAG,QAAQ,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAA;YAC9D,CAAC;YAED,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;YAC3C,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;gBAC5B,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAA;YACvC,CAAC;iBAAM,CAAC;gBACN,SAAS,CAAC,KAAK,GAAG,SAAS,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAA;gBACpE,SAAS,CAAC,IAAI,GAAG,SAAS,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAA;YAClE,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM;QACJ,MAAM,WAAW,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAA;QAC3C,KAAK,MAAM,CAAC,OAAO,EAAE,SAAS,CAAC,IAAI,WAAW,EAAE,CAAC;YAC/C,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,EAAE,SAAS,CAAC,CAAA;QACpC,CAAC;QAED,MAAM,YAAY,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,CAAA;QAC7C,KAAK,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,IAAI,YAAY,EAAE,CAAC;YAClD,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAA;QACvC,CAAC;IACH,CAAC;IAED,MAAM;QACJ,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,CAAA;QACtB,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,CAAA;IACzB,CAAC;IAED,gBAAgB;QACd,sEAAsE;QACtE,IAAI,SAAS,GAAG,CAAC,EACf,UAAU,GAAG,CAAC,EACd,UAAU,GAAG,CAAC,EACd,WAAW,GAAG,CAAC,CAAA;QAEjB,KAAK,MAAM,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;YAClD,SAAS,EAAE,CAAA;YACX,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;gBACnB,UAAU,EAAE,CAAA;YACd,CAAC;QACH,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;YACnD,UAAU,EAAE,CAAA;YACZ,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;gBACnB,WAAW,EAAE,CAAA;YACf,CAAC;QACH,CAAC;QACD,KAAK,CACH,GAAG,SAAS,0BAA0B,MAAM,CAAC,SAAS,CAAC,GAAG,qBAAqB,YAAY,CAC5F,CAAA;QACD,KAAK,CACH,GAAG,UAAU,2BAA2B,MAAM,CAAC,UAAU,CAAC,GAAG,sBAAsB,YAAY,CAChG,CAAA;QACD,KAAK,CACH,GAAG,UAAU,2BAA2B,MAAM,CAAC,UAAU,CAAC,GAAG,oBAAoB,YAAY,CAC9F,CAAA;QACD,KAAK,CACH,GAAG,WAAW,4BAA4B,MAAM,CAAC,WAAW,CAAC,GAAG,qBAAqB,YAAY,CAClG,CAAA;IACH,CAAC;IAED,CAAC,WAAW;QACV,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC;YAC1C,qBAAqB;YACrB,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAsB,CAAA;YAC3E,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;YACpC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACvB,MAAM,KAAK,CAAC,iDAAiD,QAAQ,EAAE,CAAC,CAAA;YAC1E,CAAC;YACD,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,GAAG,IAAI,CAAA;YACnC,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC,CAAA;YACrE,MAAM,aAAa,GAAG,EAAE,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,CAAA;YAClE,MAAM,aAAa,CAAA;QACrB,CAAC;IACH,CAAC;IAED,CAAC,QAAQ;QACP,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC;YAC3C,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,QAAQ,EAAE,GAAG,SAAS,CAAA;YAC9D,MAAM,aAAa,GAAG,uBAAuB,CAAC,SAAS,EAAE,UAAU,CAAC,CAAA;YACpE,MAAM,EAAE,GAAG,aAAa,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAA;QAC/C,CAAC;IACH,CAAC;CACF;AAlSD,0DAkSC;AAED;;;;;;GAMG;AACI,MAAM,8BAA8B,GAAG,KAAK,EACjD,YAA4C,EAC5C,aAAsC,EACtC,eAA2B,EACU,EAAE;IACvC,MAAM,IAAI,GAAG,YAAY,CAAC,OAAO,CAAe,CAAA;IAChD,MAAM,IAAI,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,CAAA;IAC7B,MAAM,aAAa,GAAG,MAAM,YAAY,CAAC,YAAY,EAAE,CAAA;IACvD,MAAM,EAAE,GAA+B;QACrC,SAAS,EAAE,EAAE;QACb,eAAe,EAAE,IAAA,iBAAU,EAAC,eAAe,CAAC;QAC5C,KAAK,EAAE,SAAgB,EAAE,oCAAoC;KAC9D,CAAA;IAED,2DAA2D;IAC3D,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAA+B,CAAA;IAC/D,KAAK,MAAM,QAAQ,IAAI,aAAa,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QACtD,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAsB,CAAA;QACvD,IAAI,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/B,MAAM,QAAQ,GAAG,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;YAC3C,QAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAA;YAChD,gBAAgB,CAAC,GAAG,CAAC,IAAI,EAAE,QAAS,CAAC,CAAA;QACvC,CAAC;aAAM,CAAC;YACN,gBAAgB,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAA;QAChE,CAAC;IACH,CAAC;IAED,oDAAoD;IACpD,KAAK,MAAM,IAAI,IAAI,gBAAgB,CAAC,IAAI,EAAE,EAAE,CAAC;QAC3C,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,CAAA;QAC1B,MAAM,QAAQ,GAAG,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;QAC3C,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,SAAQ;QAC7D,MAAM,aAAa,GAAG,MAAM,IAAI,CAAC,GAAG,CAAC,IAAA,iBAAU,EAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,CAAA;QAChE,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,CAAA;QACxB,MAAM,SAAS,GAAG,MAAM,IAAI,CAAC,GAAG,CAAC,IAAA,iBAAU,EAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,CAAA;QAC5D,MAAM,aAAa,GAAG,EAAE,CAAA;QACxB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACzC,4BAA4B;YAC5B,MAAM,YAAY,GAAG,aAAa,CAAC,CAAC,CAAC,CAAA;YACrC,MAAM,QAAQ,GAAG,SAAS,CAAC,CAAC,CAAC,CAAA;YAC7B,IACE,YAAY,YAAY,UAAU;gBAClC,QAAQ,YAAY,UAAU;gBAC9B,IAAA,kBAAW,EAAC,YAAY,EAAE,QAAQ,CAAC;gBAEnC,SAAQ;YACV,aAAa,CAAC,IAAI,CAAC;gBACjB,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;gBACnB,YAAY,EAAE,YAAY,CAAC,CAAC,CAAC,IAAA,iBAAU,EAAC,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI;gBAC5D,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAA,iBAAU,EAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI;aACjD,CAAC,CAAA;QACJ,CAAC;QACD,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,aAAa,EAAE,CAAC,CAAA;IACzD,CAAC;IACD,IAAI,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,CAAA;IACvB,OAAO,EAAE,CAAA;AACX,CAAC,CAAA;AAxDY,QAAA,8BAA8B,kCAwD1C"}

package/dist/cjs/chunkCache.d.ts

@@ -0,0 +1,13 @@
+import type { PrefixedHexString } from '@feelyourprotocol/util';
+import type { BinaryChunkAccessEvent } from './binaryTreeAccessWitness.ts';
+export declare class ChunkCache {
+    cache: Map<PrefixedHexString, BinaryChunkAccessEvent>;
+    constructor();
+    set(stemKey: PrefixedHexString, accessedStem: BinaryChunkAccessEvent): void;
+    get(stemHex: PrefixedHexString): BinaryChunkAccessEvent | undefined;
+    del(stemHex: PrefixedHexString): void;
+    commit(): [PrefixedHexString, BinaryChunkAccessEvent][];
+    clear(): void;
+    size(): number;
+}
+//# sourceMappingURL=chunkCache.d.ts.map

package/dist/cjs/chunkCache.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"chunkCache.d.ts","sourceRoot":"","sources":["../../src/chunkCache.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAA;AACzD,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,8BAA8B,CAAA;AAE1E,qBAAa,UAAU;IACrB,KAAK,EAAE,GAAG,CAAC,iBAAiB,EAAE,sBAAsB,CAAC,CAAA;;IAMrD,GAAG,CAAC,OAAO,EAAE,iBAAiB,EAAE,YAAY,EAAE,sBAAsB;IAIpE,GAAG,CAAC,OAAO,EAAE,iBAAiB,GAAG,sBAAsB,GAAG,SAAS;IAInE,GAAG,CAAC,OAAO,EAAE,iBAAiB,GAAG,IAAI;IAIrC,MAAM,IAAI,CAAC,iBAAiB,EAAE,sBAAsB,CAAC,EAAE;IAMvD,KAAK,IAAI,IAAI;IAIb,IAAI;CAGL"}

package/dist/cjs/chunkCache.js

@@ -0,0 +1,30 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ChunkCache = void 0;
+class ChunkCache {
+    constructor() {
+        this.cache = new Map();
+    }
+    set(stemKey, accessedStem) {
+        this.cache.set(stemKey, accessedStem);
+    }
+    get(stemHex) {
+        return this.cache.get(stemHex);
+    }
+    del(stemHex) {
+        this.cache.delete(stemHex);
+    }
+    commit() {
+        const items = Array.from(this.cache.entries());
+        this.clear();
+        return items;
+    }
+    clear() {
+        this.cache.clear();
+    }
+    size() {
+        return this.cache.size;
+    }
+}
+exports.ChunkCache = ChunkCache;
+//# sourceMappingURL=chunkCache.js.map

package/dist/cjs/chunkCache.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"chunkCache.js","sourceRoot":"","sources":["../../src/chunkCache.ts"],"names":[],"mappings":";;;AAGA,MAAa,UAAU;IAGrB;QACE,IAAI,CAAC,KAAK,GAAG,IAAI,GAAG,EAA6C,CAAA;IACnE,CAAC;IAED,GAAG,CAAC,OAA0B,EAAE,YAAoC;QAClE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,EAAE,YAAY,CAAC,CAAA;IACvC,CAAC;IAED,GAAG,CAAC,OAA0B;QAC5B,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;IAChC,CAAC;IAED,GAAG,CAAC,OAA0B;QAC5B,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;IAC5B,CAAC;IAED,MAAM;QACJ,MAAM,KAAK,GAAkD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAA;QAC7F,IAAI,CAAC,KAAK,EAAE,CAAA;QACZ,OAAO,KAAK,CAAA;IACd,CAAC;IAED,KAAK;QACH,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAA;IACpB,CAAC;IAED,IAAI;QACF,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAA;IACxB,CAAC;CACF;AAhCD,gCAgCC"}

package/dist/cjs/constructors.d.ts

@@ -0,0 +1,11 @@
+import { EVM } from './index.ts';
+import type { EVMOpts } from './index.ts';
+/**
+ * Use this async static constructor for the initialization
+ * of an EVM object
+ *
+ * @param createOpts The EVM options
+ * @returns A new EVM
+ */
+export declare function createEVM(createOpts?: EVMOpts): Promise<EVM>;
+//# sourceMappingURL=constructors.d.ts.map

package/dist/cjs/constructors.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"constructors.d.ts","sourceRoot":"","sources":["../../src/constructors.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,GAAG,EAAE,MAAM,YAAY,CAAA;AAIhC,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,YAAY,CAAA;AAEzC;;;;;;GAMG;AACH,wBAAsB,SAAS,CAAC,UAAU,CAAC,EAAE,OAAO,gBAkBnD"}

package/dist/cjs/constructors.js

@@ -0,0 +1,30 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.createEVM = createEVM;
+const common_1 = require("@feelyourprotocol/common");
+const statemanager_1 = require("@feelyourprotocol/statemanager");
+const index_ts_1 = require("./index.js");
+const index_ts_2 = require("./precompiles/index.js");
+const types_ts_1 = require("./types.js");
+/**
+ * Use this async static constructor for the initialization
+ * of an EVM object
+ *
+ * @param createOpts The EVM options
+ * @returns A new EVM
+ */
+async function createEVM(createOpts) {
+    const opts = createOpts ?? {};
+    opts.bn254 = new index_ts_2.NobleBN254();
+    if (opts.common === undefined) {
+        opts.common = new common_1.Common({ chain: common_1.Mainnet });
+    }
+    if (opts.blockchain === undefined) {
+        opts.blockchain = new types_ts_1.EVMMockBlockchain();
+    }
+    if (opts.stateManager === undefined) {
+        opts.stateManager = new statemanager_1.SimpleStateManager();
+    }
+    return new index_ts_1.EVM(opts);
+}
+//# sourceMappingURL=constructors.js.map

package/dist/cjs/constructors.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"constructors.js","sourceRoot":"","sources":["../../src/constructors.ts"],"names":[],"mappings":";;AAgBA,8BAkBC;AAlCD,+CAAoD;AACpD,2DAA6D;AAE7D,yCAAgC;AAChC,qDAAmD;AACnD,yCAA8C;AAI9C;;;;;;GAMG;AACI,KAAK,UAAU,SAAS,CAAC,UAAoB;IAClD,MAAM,IAAI,GAAG,UAAU,IAAK,EAAc,CAAA;IAE1C,IAAI,CAAC,KAAK,GAAG,IAAI,qBAAU,EAAE,CAAA;IAE7B,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC9B,IAAI,CAAC,MAAM,GAAG,IAAI,eAAM,CAAC,EAAE,KAAK,EAAE,gBAAO,EAAE,CAAC,CAAA;IAC9C,CAAC;IAED,IAAI,IAAI,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;QAClC,IAAI,CAAC,UAAU,GAAG,IAAI,4BAAiB,EAAE,CAAA;IAC3C,CAAC;IAED,IAAI,IAAI,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;QACpC,IAAI,CAAC,YAAY,GAAG,IAAI,iCAAkB,EAAE,CAAA;IAC9C,CAAC;IAED,OAAO,IAAI,cAAG,CAAC,IAAI,CAAC,CAAA;AACtB,CAAC"}

package/dist/cjs/eip7708.d.ts

@@ -0,0 +1,24 @@
+import { type Address } from '@feelyourprotocol/util';
+import type { Log } from './types.ts';
+/** EIP-7708 system address (canonical SYSTEM_ADDRESS_BYTES from util) */
+export declare const EIP7708_SYSTEM_ADDRESS: Uint8Array<ArrayBufferLike>;
+/**
+ * EIP-7708: keccak256('Transfer(address,address,uint256)')
+ * This matches the ERC-20 Transfer event signature
+ */
+export declare const EIP7708_TRANSFER_TOPIC: Uint8Array<ArrayBufferLike>;
+/**
+ * EIP-7708: keccak256('Selfdestruct(address,uint256)')
+ * Emitted when a contract selfdestructs and burns remaining balance
+ */
+export declare const EIP7708_SELFDESTRUCT_TOPIC: Uint8Array<ArrayBufferLike>;
+/**
+ * Creates an EIP-7708 ETH transfer log (used for CALL/CREATE value transfers).
+ * EIP-7708 logs are emitted from the system address with Transfer(address,address,uint256) topic.
+ */
+export declare function createEIP7708TransferLog(from: Address, to: Address, value: bigint): Log;
+/**
+ * Creates an EIP-7708 SELFDESTRUCT burn log for residual balance finalization.
+ */
+export declare function createEIP7708SelfdestructLog(contract: Address, value: bigint): Log;
+//# sourceMappingURL=eip7708.d.ts.map

package/dist/cjs/eip7708.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"eip7708.d.ts","sourceRoot":"","sources":["../../src/eip7708.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,OAAO,EAKb,MAAM,kBAAkB,CAAA;AACzB,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,YAAY,CAAA;AAErC,yEAAyE;AACzE,eAAO,MAAM,sBAAsB,6BAAuB,CAAA;AAE1D;;;GAGG;AACH,eAAO,MAAM,sBAAsB,6BAElC,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,0BAA0B,6BAEtC,CAAA;AAED;;;GAGG;AACH,wBAAgB,wBAAwB,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,GAAG,GAAG,CAKvF;AAED;;GAEG;AACH,wBAAgB,4BAA4B,CAAC,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,GAAG,GAAG,CAIlF"}

package/dist/cjs/eip7708.js

@@ -0,0 +1,37 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.EIP7708_SELFDESTRUCT_TOPIC = exports.EIP7708_TRANSFER_TOPIC = exports.EIP7708_SYSTEM_ADDRESS = void 0;
+exports.createEIP7708TransferLog = createEIP7708TransferLog;
+exports.createEIP7708SelfdestructLog = createEIP7708SelfdestructLog;
+const util_1 = require("@feelyourprotocol/util");
+/** EIP-7708 system address (canonical SYSTEM_ADDRESS_BYTES from util) */
+exports.EIP7708_SYSTEM_ADDRESS = util_1.SYSTEM_ADDRESS_BYTES;
+/**
+ * EIP-7708: keccak256('Transfer(address,address,uint256)')
+ * This matches the ERC-20 Transfer event signature
+ */
+exports.EIP7708_TRANSFER_TOPIC = (0, util_1.hexToBytes)('0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef');
+/**
+ * EIP-7708: keccak256('Selfdestruct(address,uint256)')
+ * Emitted when a contract selfdestructs and burns remaining balance
+ */
+exports.EIP7708_SELFDESTRUCT_TOPIC = (0, util_1.hexToBytes)('0x4bfaba3443c1a1836cd362418edc679fc96cae8449cbefccb6457cdf2c943083');
+/**
+ * Creates an EIP-7708 ETH transfer log (used for CALL/CREATE value transfers).
+ * EIP-7708 logs are emitted from the system address with Transfer(address,address,uint256) topic.
+ */
+function createEIP7708TransferLog(from, to, value) {
+    const fromTopic = (0, util_1.setLengthLeft)(from.bytes, 32);
+    const toTopic = (0, util_1.setLengthLeft)(to.bytes, 32);
+    const data = (0, util_1.setLengthLeft)((0, util_1.bigIntToBytes)(value), 32);
+    return [exports.EIP7708_SYSTEM_ADDRESS, [exports.EIP7708_TRANSFER_TOPIC, fromTopic, toTopic], data];
+}
+/**
+ * Creates an EIP-7708 SELFDESTRUCT burn log for residual balance finalization.
+ */
+function createEIP7708SelfdestructLog(contract, value) {
+    const contractTopic = (0, util_1.setLengthLeft)(contract.bytes, 32);
+    const data = (0, util_1.setLengthLeft)((0, util_1.bigIntToBytes)(value), 32);
+    return [exports.EIP7708_SYSTEM_ADDRESS, [exports.EIP7708_SELFDESTRUCT_TOPIC, contractTopic], data];
+}
+//# sourceMappingURL=eip7708.js.map

package/dist/cjs/eip7708.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"eip7708.js","sourceRoot":"","sources":["../../src/eip7708.ts"],"names":[],"mappings":";;;AAgCA,4DAKC;AAKD,oEAIC;AA9CD,2CAMyB;AAGzB,yEAAyE;AAC5D,QAAA,sBAAsB,GAAG,2BAAoB,CAAA;AAE1D;;;GAGG;AACU,QAAA,sBAAsB,GAAG,IAAA,iBAAU,EAC9C,oEAAoE,CACrE,CAAA;AAED;;;GAGG;AACU,QAAA,0BAA0B,GAAG,IAAA,iBAAU,EAClD,oEAAoE,CACrE,CAAA;AAED;;;GAGG;AACH,SAAgB,wBAAwB,CAAC,IAAa,EAAE,EAAW,EAAE,KAAa;IAChF,MAAM,SAAS,GAAG,IAAA,oBAAa,EAAC,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC,CAAA;IAC/C,MAAM,OAAO,GAAG,IAAA,oBAAa,EAAC,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,CAAA;IAC3C,MAAM,IAAI,GAAG,IAAA,oBAAa,EAAC,IAAA,oBAAa,EAAC,KAAK,CAAC,EAAE,EAAE,CAAC,CAAA;IACpD,OAAO,CAAC,8BAAsB,EAAE,CAAC,8BAAsB,EAAE,SAAS,EAAE,OAAO,CAAC,EAAE,IAAI,CAAC,CAAA;AACrF,CAAC;AAED;;GAEG;AACH,SAAgB,4BAA4B,CAAC,QAAiB,EAAE,KAAa;IAC3E,MAAM,aAAa,GAAG,IAAA,oBAAa,EAAC,QAAQ,CAAC,KAAK,EAAE,EAAE,CAAC,CAAA;IACvD,MAAM,IAAI,GAAG,IAAA,oBAAa,EAAC,IAAA,oBAAa,EAAC,KAAK,CAAC,EAAE,EAAE,CAAC,CAAA;IACpD,OAAO,CAAC,8BAAsB,EAAE,CAAC,kCAA0B,EAAE,aAAa,CAAC,EAAE,IAAI,CAAC,CAAA;AACpF,CAAC"}

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

@@ -0,0 +1,22 @@
+export declare const FORMAT = 239;
+export declare const MAGIC = 0;
+export declare const VERSION = 1;
+export declare const MIN_HEADER_SIZE = 15;
+export declare const MAX_HEADER_SIZE = 49152;
+export declare const KIND_TYPE = 1;
+export declare const KIND_CODE = 2;
+export declare const KIND_CONTAINER = 3;
+export declare const KIND_DATA = 4;
+export declare const TERMINATOR = 0;
+export declare const TYPE_MIN = 4;
+export declare const TYPE_MAX = 4096;
+export declare const TYPE_DIVISOR = 4;
+export declare const CODE_MIN = 1;
+export declare const CODE_SIZE_MIN = 1;
+export declare const CONTAINER_MIN = 1;
+export declare const CONTAINER_MAX = 256;
+export declare const CONTAINER_SIZE_MIN = 1;
+export declare const INPUTS_MAX = 127;
+export declare const OUTPUTS_MAX = 128;
+export declare const MAX_STACK_HEIGHT = 1023;
+//# sourceMappingURL=constants.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"constants.d.ts","sourceRoot":"","sources":["../../../src/eof/constants.ts"],"names":[],"mappings":"AAGA,eAAO,MAAM,MAAM,MAAO,CAAA;AAC1B,eAAO,MAAM,KAAK,IAAO,CAAA;AACzB,eAAO,MAAM,OAAO,IAAO,CAAA;AAG3B,eAAO,MAAM,eAAe,KAAK,CAAA;AACjC,eAAO,MAAM,eAAe,QAAQ,CAAA;AAEpC,eAAO,MAAM,SAAS,IAAO,CAAA;AAC7B,eAAO,MAAM,SAAS,IAAO,CAAA;AAC7B,eAAO,MAAM,cAAc,IAAO,CAAA;AAClC,eAAO,MAAM,SAAS,IAAO,CAAA;AAC7B,eAAO,MAAM,UAAU,IAAO,CAAA;AAE9B,eAAO,MAAM,QAAQ,IAAS,CAAA;AAC9B,eAAO,MAAM,QAAQ,OAAS,CAAA;AAC9B,eAAO,MAAM,YAAY,IAAI,CAAA;AAE7B,eAAO,MAAM,QAAQ,IAAS,CAAA;AAE9B,eAAO,MAAM,aAAa,IAAI,CAAA;AAE9B,eAAO,MAAM,aAAa,IAAS,CAAA;AACnC,eAAO,MAAM,aAAa,MAAS,CAAA;AAEnC,eAAO,MAAM,kBAAkB,IAAI,CAAA;AAGnC,eAAO,MAAM,UAAU,MAAO,CAAA;AAC9B,eAAO,MAAM,WAAW,MAAO,CAAA;AAG/B,eAAO,MAAM,gBAAgB,OAAS,CAAA"}

package/dist/cjs/eof/constants.js

@@ -0,0 +1,31 @@
+"use strict";
+// Constants, which are taken from https://eips.ethereum.org/EIPS/eip-3540
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.MAX_STACK_HEIGHT = exports.OUTPUTS_MAX = exports.INPUTS_MAX = exports.CONTAINER_SIZE_MIN = exports.CONTAINER_MAX = exports.CONTAINER_MIN = exports.CODE_SIZE_MIN = exports.CODE_MIN = exports.TYPE_DIVISOR = exports.TYPE_MAX = exports.TYPE_MIN = exports.TERMINATOR = exports.KIND_DATA = exports.KIND_CONTAINER = exports.KIND_CODE = exports.KIND_TYPE = exports.MAX_HEADER_SIZE = exports.MIN_HEADER_SIZE = exports.VERSION = exports.MAGIC = exports.FORMAT = void 0;
+// The "starting bytes" of an EOF contract
+exports.FORMAT = 0xef;
+exports.MAGIC = 0x00;
+exports.VERSION = 0x01;
+// The min/max sizes of valid headers
+exports.MIN_HEADER_SIZE = 15; // Min size used to invalidate an invalid container quickly
+exports.MAX_HEADER_SIZE = 49152; // Max initcode size, EIP 3860
+exports.KIND_TYPE = 0x01; // Type byte of types section
+exports.KIND_CODE = 0x02; // Type byte of code section
+exports.KIND_CONTAINER = 0x03; // Type byte of container section (the only optional section in the header)
+exports.KIND_DATA = 0x04; // Type byte of  data section
+exports.TERMINATOR = 0x00; // Terminator byte of header
+exports.TYPE_MIN = 0x0004; // Minimum size of types section
+exports.TYPE_MAX = 0x1000; // Maximum size of types section
+exports.TYPE_DIVISOR = 4; // Divisor of types: the type section size should be a multiple of this
+exports.CODE_MIN = 0x0001; // Minimum size of code section
+exports.CODE_SIZE_MIN = 1; // Minimum size of a code section in the body (the actual code)
+exports.CONTAINER_MIN = 0x0001; // Minimum size of container section
+exports.CONTAINER_MAX = 0x0100; // Maximum size of container section
+exports.CONTAINER_SIZE_MIN = 1; // Minimum size of a container in the body
+// Constants regarding the type section in the body of the container
+exports.INPUTS_MAX = 0x7f; // Max inputs to a code section in the body
+exports.OUTPUTS_MAX = 0x80; // Max outputs of a code section in the body
+// Note: 0x80 special amount, marks the code section as "terminating"
+// A terminating section will exit the current call frame, such as RETURN / STOP opcodes. It will not RETF to another code section
+exports.MAX_STACK_HEIGHT = 0x03ff; // Maximum stack height of a code section (enforces that the stack of this section cannot overflow)
+//# sourceMappingURL=constants.js.map