@feelyourprotocol/evm 8141.0.0

package/dist/esm/binaryTreeAccessWitness.js

@@ -0,0 +1,308 @@
+import { BinaryTreeAccessedStateType } from '@feelyourprotocol/common';
+import { BIGINT_0, BINARY_TREE_BASIC_DATA_LEAF_KEY, BINARY_TREE_CODE_HASH_LEAF_KEY, BINARY_TREE_CODE_OFFSET, BINARY_TREE_HEADER_STORAGE_OFFSET, BINARY_TREE_MAIN_STORAGE_OFFSET, BINARY_TREE_NODE_WIDTH, bytesToHex, equalsBytes, getBinaryTreeIndicesForCodeChunk, getBinaryTreeIndicesForStorageSlot, getBinaryTreeKey, getBinaryTreeStem, hexToBytes, intToBytes, } from '@feelyourprotocol/util';
+import debugDefault from 'debug';
+import { ChunkCache } from "./chunkCache.js";
+import { StemCache } from "./stemCache.js";
+const debug = debugDefault('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);
+export function decodeBinaryAccessState(treeIndex, chunkIndex) {
+    const position = BigInt(treeIndex) * BigInt(BINARY_TREE_NODE_WIDTH) + BigInt(chunkIndex);
+    switch (position) {
+        case BigInt(0):
+            return { type: BinaryTreeAccessedStateType.BasicData };
+        case BigInt(1):
+            return { type: BinaryTreeAccessedStateType.CodeHash };
+        default:
+            if (position < BINARY_TREE_HEADER_STORAGE_OFFSET) {
+                throw Error(`No attribute yet stored >=2 and <${BINARY_TREE_HEADER_STORAGE_OFFSET}`);
+            }
+            if (position >= BINARY_TREE_HEADER_STORAGE_OFFSET && position < BINARY_TREE_CODE_OFFSET) {
+                const slot = position - BigInt(BINARY_TREE_HEADER_STORAGE_OFFSET);
+                return { type: BinaryTreeAccessedStateType.Storage, slot };
+            }
+            else if (position >= BINARY_TREE_CODE_OFFSET &&
+                position < BINARY_TREE_MAIN_STORAGE_OFFSET) {
+                const codeChunkIdx = Number(position) - BINARY_TREE_CODE_OFFSET;
+                return {
+                    type: BinaryTreeAccessedStateType.Code,
+                    codeOffset: codeChunkIdx * 31,
+                };
+            }
+            else if (position >= BINARY_TREE_MAIN_STORAGE_OFFSET) {
+                const slot = BigInt(position - BINARY_TREE_MAIN_STORAGE_OFFSET);
+                return { type: BinaryTreeAccessedStateType.Storage, slot };
+            }
+            else {
+                throw Error(`Invalid treeIndex=${treeIndex} chunkIndex=${chunkIndex} for binary tree access`);
+            }
+    }
+}
+export class BinaryTreeAccessWitness {
+    constructor(opts) {
+        this.stemCache = new StemCache();
+        this.chunkCache = new ChunkCache();
+        this.hashFunction = opts.hashFunction;
+        this.stems = opts.stems ?? new Map();
+        this.chunks = opts.chunks ?? new Map();
+    }
+    readAccountBasicData(address) {
+        return this.touchAddressOnReadAndComputeGas(address, 0, BINARY_TREE_BASIC_DATA_LEAF_KEY);
+    }
+    writeAccountBasicData(address) {
+        return this.touchAddressOnWriteAndComputeGas(address, 0, BINARY_TREE_BASIC_DATA_LEAF_KEY);
+    }
+    readAccountCodeHash(address) {
+        return this.touchAddressOnReadAndComputeGas(address, 0, BINARY_TREE_CODE_HASH_LEAF_KEY);
+    }
+    writeAccountCodeHash(address) {
+        return this.touchAddressOnWriteAndComputeGas(address, 0, BINARY_TREE_CODE_HASH_LEAF_KEY);
+    }
+    readAccountHeader(address) {
+        let gas = BIGINT_0;
+        gas += this.readAccountBasicData(address);
+        gas += this.readAccountCodeHash(address);
+        return gas;
+    }
+    writeAccountHeader(address) {
+        let gas = BIGINT_0;
+        gas += this.writeAccountBasicData(address);
+        gas += this.writeAccountCodeHash(address);
+        return gas;
+    }
+    readAccountCodeChunks(contract, startPc, endPc) {
+        let gas = BIGINT_0;
+        for (let chunkNum = Math.floor(startPc / 31); chunkNum <= Math.floor(endPc / 31); chunkNum++) {
+            const { treeIndex, subIndex } = getBinaryTreeIndicesForCodeChunk(chunkNum);
+            gas += this.touchAddressOnReadAndComputeGas(contract, treeIndex, subIndex);
+        }
+        return gas;
+    }
+    writeAccountCodeChunks(contract, startPc, endPc) {
+        let gas = BIGINT_0;
+        for (let chunkNum = Math.floor(startPc / 31); chunkNum <= Math.floor(endPc / 31); chunkNum++) {
+            const { treeIndex, subIndex } = getBinaryTreeIndicesForCodeChunk(chunkNum);
+            gas += this.touchAddressOnWriteAndComputeGas(contract, treeIndex, subIndex);
+        }
+        return gas;
+    }
+    readAccountStorage(address, storageSlot) {
+        const { treeIndex, subIndex } = getBinaryTreeIndicesForStorageSlot(storageSlot);
+        return this.touchAddressOnReadAndComputeGas(address, treeIndex, subIndex);
+    }
+    writeAccountStorage(address, storageSlot) {
+        const { treeIndex, subIndex } = 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 = 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 = getBinaryTreeStem(this.hashFunction, address, treeIndex);
+        const accessedStemHex = 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 = getBinaryTreeKey(accessedStemKey, typeof subIndex === 'number' ? intToBytes(subIndex) : subIndex);
+        const accessedChunkKeyHex = 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 };
+        }
+    }
+}
+/**
+ * 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 const generateBinaryExecutionWitness = async (stateManager, accessWitness, parentStateRoot) => {
+    const tree = stateManager['_tree'];
+    await tree['_lock'].acquire();
+    const postStateRoot = await stateManager.getStateRoot();
+    const ew = {
+        stateDiff: [],
+        parentStateRoot: 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(hexToBytes(stem), suffixes);
+        tree.root(postStateRoot);
+        const newValues = await tree.get(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 &&
+                equalsBytes(currentValue, newValue))
+                continue;
+            stemStateDiff.push({
+                suffix: suffixes[x],
+                currentValue: currentValue ? bytesToHex(currentValue) : null,
+                newValue: newValue ? bytesToHex(newValue) : null,
+            });
+        }
+        ew.stateDiff.push({ stem, suffixDiffs: stemStateDiff });
+    }
+    tree['_lock'].release();
+    return ew;
+};
+//# sourceMappingURL=binaryTreeAccessWitness.js.map

package/dist/esm/binaryTreeAccessWitness.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"binaryTreeAccessWitness.js","sourceRoot":"","sources":["../../src/binaryTreeAccessWitness.ts"],"names":[],"mappings":"AAOA,OAAO,EAAE,2BAA2B,EAAE,MAAM,oBAAoB,CAAA;AAChE,OAAO,EACL,QAAQ,EACR,+BAA+B,EAC/B,8BAA8B,EAC9B,uBAAuB,EACvB,iCAAiC,EACjC,+BAA+B,EAC/B,sBAAsB,EACtB,UAAU,EACV,WAAW,EACX,gCAAgC,EAChC,kCAAkC,EAClC,gBAAgB,EAChB,iBAAiB,EACjB,UAAU,EACV,UAAU,GACX,MAAM,kBAAkB,CAAA;AACzB,OAAO,YAAY,MAAM,OAAO,CAAA;AAMhC,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AAC5C,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAE1C,MAAM,KAAK,GAAG,YAAY,CAAC,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,MAAM,UAAU,uBAAuB,CACrC,SAA0B,EAC1B,UAAkB;IAElB,MAAM,QAAQ,GAAG,MAAM,CAAC,SAAS,CAAC,GAAG,MAAM,CAAC,sBAAsB,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC,CAAA;IACxF,QAAQ,QAAQ,EAAE,CAAC;QACjB,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,OAAO,EAAE,IAAI,EAAE,2BAA2B,CAAC,SAAS,EAAE,CAAA;QACxD,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,OAAO,EAAE,IAAI,EAAE,2BAA2B,CAAC,QAAQ,EAAE,CAAA;QACvD;YACE,IAAI,QAAQ,GAAG,iCAAiC,EAAE,CAAC;gBACjD,MAAM,KAAK,CAAC,oCAAoC,iCAAiC,EAAE,CAAC,CAAA;YACtF,CAAC;YAED,IAAI,QAAQ,IAAI,iCAAiC,IAAI,QAAQ,GAAG,uBAAuB,EAAE,CAAC;gBACxF,MAAM,IAAI,GAAG,QAAQ,GAAG,MAAM,CAAC,iCAAiC,CAAC,CAAA;gBACjE,OAAO,EAAE,IAAI,EAAE,2BAA2B,CAAC,OAAO,EAAE,IAAI,EAAE,CAAA;YAC5D,CAAC;iBAAM,IACL,QAAQ,IAAI,uBAAuB;gBACnC,QAAQ,GAAG,+BAA+B,EAC1C,CAAC;gBACD,MAAM,YAAY,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,uBAAuB,CAAA;gBAC/D,OAAO;oBACL,IAAI,EAAE,2BAA2B,CAAC,IAAI;oBACtC,UAAU,EAAE,YAAY,GAAG,EAAE;iBAC9B,CAAA;YACH,CAAC;iBAAM,IAAI,QAAQ,IAAI,+BAA+B,EAAE,CAAC;gBACvD,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,GAAG,+BAA+B,CAAC,CAAA;gBAC/D,OAAO,EAAE,IAAI,EAAE,2BAA2B,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,MAAM,OAAO,uBAAuB;IAMlC,YAAY,IAIX;QAPD,cAAS,GAAc,IAAI,SAAS,EAAE,CAAA;QACtC,eAAU,GAAe,IAAI,UAAU,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,+BAA+B,CAAC,CAAA;IAC1F,CAAC;IAED,qBAAqB,CAAC,OAAgB;QACpC,OAAO,IAAI,CAAC,gCAAgC,CAAC,OAAO,EAAE,CAAC,EAAE,+BAA+B,CAAC,CAAA;IAC3F,CAAC;IAED,mBAAmB,CAAC,OAAgB;QAClC,OAAO,IAAI,CAAC,+BAA+B,CAAC,OAAO,EAAE,CAAC,EAAE,8BAA8B,CAAC,CAAA;IACzF,CAAC;IAED,oBAAoB,CAAC,OAAgB;QACnC,OAAO,IAAI,CAAC,gCAAgC,CAAC,OAAO,EAAE,CAAC,EAAE,8BAA8B,CAAC,CAAA;IAC1F,CAAC;IAED,iBAAiB,CAAC,OAAgB;QAChC,IAAI,GAAG,GAAG,QAAQ,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,QAAQ,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,QAAQ,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,gCAAgC,CAAC,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,QAAQ,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,gCAAgC,CAAC,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,kCAAkC,CAAC,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,kCAAkC,CAAC,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,QAAQ,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,iBAAiB,CAAC,IAAI,CAAC,YAAY,EAAE,OAAO,EAAE,SAAS,CAAC,CAAA;QAChF,MAAM,eAAe,GAAG,UAAU,CAAC,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,gBAAgB,CACvC,eAAe,EACf,OAAO,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAC/D,CAAA;QACD,MAAM,mBAAmB,GAAG,UAAU,CAAC,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;AAED;;;;;;GAMG;AACH,MAAM,CAAC,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,UAAU,CAAC,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,UAAU,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,CAAA;QAChE,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,CAAA;QACxB,MAAM,SAAS,GAAG,MAAM,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,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,WAAW,CAAC,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,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI;gBAC5D,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,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"}

package/dist/esm/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/esm/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/esm/chunkCache.js

@@ -0,0 +1,26 @@
+export 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;
+    }
+}
+//# sourceMappingURL=chunkCache.js.map

package/dist/esm/chunkCache.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"chunkCache.js","sourceRoot":"","sources":["../../src/chunkCache.ts"],"names":[],"mappings":"AAGA,MAAM,OAAO,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"}

package/dist/esm/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/esm/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/esm/constructors.js

@@ -0,0 +1,27 @@
+import { Common, Mainnet } from '@feelyourprotocol/common';
+import { SimpleStateManager } from '@feelyourprotocol/statemanager';
+import { EVM } from "./index.js";
+import { NobleBN254 } from "./precompiles/index.js";
+import { EVMMockBlockchain } from "./types.js";
+/**
+ * Use this async static constructor for the initialization
+ * of an EVM object
+ *
+ * @param createOpts The EVM options
+ * @returns A new EVM
+ */
+export async function createEVM(createOpts) {
+    const opts = createOpts ?? {};
+    opts.bn254 = new NobleBN254();
+    if (opts.common === undefined) {
+        opts.common = new Common({ chain: Mainnet });
+    }
+    if (opts.blockchain === undefined) {
+        opts.blockchain = new EVMMockBlockchain();
+    }
+    if (opts.stateManager === undefined) {
+        opts.stateManager = new SimpleStateManager();
+    }
+    return new EVM(opts);
+}
+//# sourceMappingURL=constructors.js.map

package/dist/esm/constructors.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"constructors.js","sourceRoot":"","sources":["../../src/constructors.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAA;AACpD,OAAO,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAA;AAE7D,OAAO,EAAE,GAAG,EAAE,MAAM,YAAY,CAAA;AAChC,OAAO,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAA;AACnD,OAAO,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAA;AAI9C;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,SAAS,CAAC,UAAoB;IAClD,MAAM,IAAI,GAAG,UAAU,IAAK,EAAc,CAAA;IAE1C,IAAI,CAAC,KAAK,GAAG,IAAI,UAAU,EAAE,CAAA;IAE7B,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC9B,IAAI,CAAC,MAAM,GAAG,IAAI,MAAM,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAA;IAC9C,CAAC;IAED,IAAI,IAAI,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;QAClC,IAAI,CAAC,UAAU,GAAG,IAAI,iBAAiB,EAAE,CAAA;IAC3C,CAAC;IAED,IAAI,IAAI,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;QACpC,IAAI,CAAC,YAAY,GAAG,IAAI,kBAAkB,EAAE,CAAA;IAC9C,CAAC;IAED,OAAO,IAAI,GAAG,CAAC,IAAI,CAAC,CAAA;AACtB,CAAC"}

package/dist/esm/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/esm/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/esm/eip7708.js

@@ -0,0 +1,32 @@
+import { SYSTEM_ADDRESS_BYTES, bigIntToBytes, hexToBytes, setLengthLeft, } from '@feelyourprotocol/util';
+/** EIP-7708 system address (canonical SYSTEM_ADDRESS_BYTES from util) */
+export const EIP7708_SYSTEM_ADDRESS = SYSTEM_ADDRESS_BYTES;
+/**
+ * EIP-7708: keccak256('Transfer(address,address,uint256)')
+ * This matches the ERC-20 Transfer event signature
+ */
+export const EIP7708_TRANSFER_TOPIC = hexToBytes('0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef');
+/**
+ * EIP-7708: keccak256('Selfdestruct(address,uint256)')
+ * Emitted when a contract selfdestructs and burns remaining balance
+ */
+export const EIP7708_SELFDESTRUCT_TOPIC = 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.
+ */
+export function createEIP7708TransferLog(from, to, value) {
+    const fromTopic = setLengthLeft(from.bytes, 32);
+    const toTopic = setLengthLeft(to.bytes, 32);
+    const data = setLengthLeft(bigIntToBytes(value), 32);
+    return [EIP7708_SYSTEM_ADDRESS, [EIP7708_TRANSFER_TOPIC, fromTopic, toTopic], data];
+}
+/**
+ * Creates an EIP-7708 SELFDESTRUCT burn log for residual balance finalization.
+ */
+export function createEIP7708SelfdestructLog(contract, value) {
+    const contractTopic = setLengthLeft(contract.bytes, 32);
+    const data = setLengthLeft(bigIntToBytes(value), 32);
+    return [EIP7708_SYSTEM_ADDRESS, [EIP7708_SELFDESTRUCT_TOPIC, contractTopic], data];
+}
+//# sourceMappingURL=eip7708.js.map

package/dist/esm/eip7708.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"eip7708.js","sourceRoot":"","sources":["../../src/eip7708.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,oBAAoB,EACpB,aAAa,EACb,UAAU,EACV,aAAa,GACd,MAAM,kBAAkB,CAAA;AAGzB,yEAAyE;AACzE,MAAM,CAAC,MAAM,sBAAsB,GAAG,oBAAoB,CAAA;AAE1D;;;GAGG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,UAAU,CAC9C,oEAAoE,CACrE,CAAA;AAED;;;GAGG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG,UAAU,CAClD,oEAAoE,CACrE,CAAA;AAED;;;GAGG;AACH,MAAM,UAAU,wBAAwB,CAAC,IAAa,EAAE,EAAW,EAAE,KAAa;IAChF,MAAM,SAAS,GAAG,aAAa,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC,CAAA;IAC/C,MAAM,OAAO,GAAG,aAAa,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,CAAA;IAC3C,MAAM,IAAI,GAAG,aAAa,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,CAAA;IACpD,OAAO,CAAC,sBAAsB,EAAE,CAAC,sBAAsB,EAAE,SAAS,EAAE,OAAO,CAAC,EAAE,IAAI,CAAC,CAAA;AACrF,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,4BAA4B,CAAC,QAAiB,EAAE,KAAa;IAC3E,MAAM,aAAa,GAAG,aAAa,CAAC,QAAQ,CAAC,KAAK,EAAE,EAAE,CAAC,CAAA;IACvD,MAAM,IAAI,GAAG,aAAa,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,CAAA;IACpD,OAAO,CAAC,sBAAsB,EAAE,CAAC,0BAA0B,EAAE,aAAa,CAAC,EAAE,IAAI,CAAC,CAAA;AACpF,CAAC"}

package/dist/esm/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/esm/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/esm/eof/constants.js

@@ -0,0 +1,28 @@
+// Constants, which are taken from https://eips.ethereum.org/EIPS/eip-3540
+// The "starting bytes" of an EOF contract
+export const FORMAT = 0xef;
+export const MAGIC = 0x00;
+export const VERSION = 0x01;
+// The min/max sizes of valid headers
+export const MIN_HEADER_SIZE = 15; // Min size used to invalidate an invalid container quickly
+export const MAX_HEADER_SIZE = 49152; // Max initcode size, EIP 3860
+export const KIND_TYPE = 0x01; // Type byte of types section
+export const KIND_CODE = 0x02; // Type byte of code section
+export const KIND_CONTAINER = 0x03; // Type byte of container section (the only optional section in the header)
+export const KIND_DATA = 0x04; // Type byte of  data section
+export const TERMINATOR = 0x00; // Terminator byte of header
+export const TYPE_MIN = 0x0004; // Minimum size of types section
+export const TYPE_MAX = 0x1000; // Maximum size of types section
+export const TYPE_DIVISOR = 4; // Divisor of types: the type section size should be a multiple of this
+export const CODE_MIN = 0x0001; // Minimum size of code section
+export const CODE_SIZE_MIN = 1; // Minimum size of a code section in the body (the actual code)
+export const CONTAINER_MIN = 0x0001; // Minimum size of container section
+export const CONTAINER_MAX = 0x0100; // Maximum size of container section
+export const CONTAINER_SIZE_MIN = 1; // Minimum size of a container in the body
+// Constants regarding the type section in the body of the container
+export const INPUTS_MAX = 0x7f; // Max inputs to a code section in the body
+export const 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
+export const MAX_STACK_HEIGHT = 0x03ff; // Maximum stack height of a code section (enforces that the stack of this section cannot overflow)
+//# sourceMappingURL=constants.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"constants.js","sourceRoot":"","sources":["../../../src/eof/constants.ts"],"names":[],"mappings":"AAAA,0EAA0E;AAE1E,0CAA0C;AAC1C,MAAM,CAAC,MAAM,MAAM,GAAG,IAAI,CAAA;AAC1B,MAAM,CAAC,MAAM,KAAK,GAAG,IAAI,CAAA;AACzB,MAAM,CAAC,MAAM,OAAO,GAAG,IAAI,CAAA;AAE3B,qCAAqC;AACrC,MAAM,CAAC,MAAM,eAAe,GAAG,EAAE,CAAA,CAAC,2DAA2D;AAC7F,MAAM,CAAC,MAAM,eAAe,GAAG,KAAK,CAAA,CAAC,8BAA8B;AAEnE,MAAM,CAAC,MAAM,SAAS,GAAG,IAAI,CAAA,CAAC,6BAA6B;AAC3D,MAAM,CAAC,MAAM,SAAS,GAAG,IAAI,CAAA,CAAC,4BAA4B;AAC1D,MAAM,CAAC,MAAM,cAAc,GAAG,IAAI,CAAA,CAAC,2EAA2E;AAC9G,MAAM,CAAC,MAAM,SAAS,GAAG,IAAI,CAAA,CAAC,6BAA6B;AAC3D,MAAM,CAAC,MAAM,UAAU,GAAG,IAAI,CAAA,CAAC,4BAA4B;AAE3D,MAAM,CAAC,MAAM,QAAQ,GAAG,MAAM,CAAA,CAAC,gCAAgC;AAC/D,MAAM,CAAC,MAAM,QAAQ,GAAG,MAAM,CAAA,CAAC,gCAAgC;AAC/D,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,CAAA,CAAC,uEAAuE;AAErG,MAAM,CAAC,MAAM,QAAQ,GAAG,MAAM,CAAA,CAAC,+BAA+B;AAE9D,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAA,CAAC,+DAA+D;AAE9F,MAAM,CAAC,MAAM,aAAa,GAAG,MAAM,CAAA,CAAC,oCAAoC;AACxE,MAAM,CAAC,MAAM,aAAa,GAAG,MAAM,CAAA,CAAC,oCAAoC;AAExE,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,CAAA,CAAC,0CAA0C;AAE9E,oEAAoE;AACpE,MAAM,CAAC,MAAM,UAAU,GAAG,IAAI,CAAA,CAAC,2CAA2C;AAC1E,MAAM,CAAC,MAAM,WAAW,GAAG,IAAI,CAAA,CAAC,4CAA4C;AAC5E,qEAAqE;AACrE,kIAAkI;AAClI,MAAM,CAAC,MAAM,gBAAgB,GAAG,MAAM,CAAA,CAAC,mGAAmG"}

package/dist/esm/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