@bsv/overlay 0.1.10 → 0.1.12

package/README.md

@@ -39,7 +39,7 @@ In your server's main file, you can set everything up. Create a new Engine to ru
 const express = require('express')
 const bodyparser = require('body-parser')
 const { Engine, KnexStorage, HelloTopicManager, HelloLookupService, HelloStorageEngine } = require('@bsv/overlay')
-const { WoChain } = require('@bsv/sdk')
+import { WhatsOnChain, NodejsHttpClient, ARC, ArcConfig, MerklePath } from '@bsv/sdk'
 // Populate a Knexfile with your database credentials
 const knex = require('knex')(require('../knexfile.js'))
 const app = express()
@@ -58,7 +58,18 @@ const engine = new Engine(
     },
     new KnexStorageEngine({
       knex
-    })
+    }),
+    new CombinatorialChainTracker([
+      new WhatsOnChain(
+        NODE_ENV === 'production' ? 'main' : 'test',
+        {
+          httpClient: new NodejsHttpClient(https)
+        })
+    ]),
+    HOSTING_DOMAIN as string,
+    SHIP_TRACKERS,
+    SLAP_TRACKERS,
+    new ARC('https://arc.taal.com', arcConfig)
   )
 
 // This allows the API to be used everywhere when CORS is enforced
@@ -133,8 +144,18 @@ app.get(`/getDocumentationForLookupServiceProvider`, async (req, res) => {
 // Submit transactions and facilitate lookup requests
 app.post(`/submit`, async (req, res) => {
   try {
-    const result = await engine.submit(req.body)
-    return res.status(200).json(result)
+    // Parse out the topics and construct the tagged BEEF
+    const topics = JSON.parse(req.headers['x-topics'] as string)
+    const taggedBEEF: TaggedBEEF = {
+      beef: Array.from(req.body as number[]),
+      topics
+    }
+
+    // Using a callback function, we can just return once our steak is ready
+    // instead of having to wait for all the broadcasts to occur.
+    await engine.submit(taggedBEEF, (steak: STEAK) => {
+      return res.status(200).json(steak)
+    })
   } catch (error) {
     return res.status(400).json({
       status: 'error',
@@ -156,6 +177,70 @@ app.post(`/lookup`, async (req, res) => {
   }
 })
 
+app.post('/arc-ingest', (req, res) => {
+  (async () => {
+    try {
+      const merklePath = MerklePath.fromHex(req.body.merklePath)
+      await engine.handleNewMerkleProof(req.body.txid, merklePath, req.body.blockHeight)
+      return res.status(200).json({ status: 'success', message: 'transaction status updated' })
+    } catch (error) {
+      console.error(error)
+      return res.status(400).json({
+        status: 'error',
+        message: error instanceof Error ? error.message : 'An unknown error occurred'
+      })
+    }
+  })().catch(() => {
+    res.status(500).json({
+      status: 'error',
+      message: 'Unexpected error'
+    })
+  })
+})
+
+app.post('/requestSyncResponse', (req, res) => {
+  (async () => {
+    try {
+      const topic = req.headers['x-bsv-topic'] as string
+      const response = await engine.provideForeignSyncResponse(req.body, topic)
+      return res.status(200).json(response)
+    } catch (error) {
+      console.error(error)
+      return res.status(400).json({
+        status: 'error',
+        message: error instanceof Error ? error.message : 'An unknown error occurred'
+      })
+    }
+  })().catch(() => {
+    res.status(500).json({
+      status: 'error',
+      message: 'Unexpected error'
+    })
+  })
+})
+
+app.post('/requestForeignGASPNode', (req, res) => {
+  (async () => {
+    try {
+      console.log(req.body)
+      const { graphID, txid, outputIndex, metadata } = req.body
+      const response = await engine.provideForeignGASPNode(graphID, txid, outputIndex)
+      return res.status(200).json(response)
+    } catch (error) {
+      console.error(error)
+      return res.status(400).json({
+        status: 'error',
+        message: error instanceof Error ? error.message : 'An unknown error occurred'
+      })
+    }
+  })().catch(() => {
+    res.status(500).json({
+      status: 'error',
+      message: 'Unexpected error'
+    })
+  })
+})
+
 // 404, all other routes are not found.
 app.use((req, res) => {
   console.log('404', req.url)

package/dist/cjs/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@bsv/overlay",
-  "version": "0.1.9",
+  "version": "0.1.8",
   "type": "commonjs",
   "description": "BSV Blockchain Overlay Services Engine",
   "files": [

package/dist/cjs/src/Engine.js

@@ -1,10 +1,8 @@
 "use strict";
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.Engine = void 0;
+exports.OverlayGASPStorage = exports.OverlayGASPRemote = exports.Engine = void 0;
 const sdk_1 = require("@bsv/sdk");
 const gasp_1 = require("@bsv/gasp");
-const OverlayGASPRemote_js_1 = require("./GASP/OverlayGASPRemote.js");
-const OverlayGASPStorage_js_1 = require("./GASP/OverlayGASPStorage.js");
 /**
  * Am engine for running BSV Overlay Services (topic managers and lookup services).
  */
@@ -14,7 +12,7 @@ class Engine {
      * @param {[key: string]: TopicManager} managers - manages topic admittance
      * @param {[key: string]: LookupService} lookupServices - manages UTXO lookups
      * @param {Storage} storage - for interacting with internally-managed persistent data
-     * @param {ChainTracker | 'scripts only'} chainTracker - Verifies SPV data associated with transactions
+     * @param {ChainTracker} chainTracker - Verifies SPV data associated with transactions
      * @param {string} [hostingURL] - The URL this engine is hosted at. Required if going to support peer-discovery with an advertiser.
      * @param {Broadcaster} [Broadcaster] - broadcaster used for broadcasting the incoming transaction
      * @param {Advertiser} [Advertiser] - handles SHIP and SLAP advertisements for peer-discovery
@@ -86,6 +84,7 @@ class Engine {
      * @param {TaggedBEEF} taggedBEEF - The transaction to process
      * @param {function(STEAK): void} [onSTEAKReady] - Optional callback function invoked when the STEAK is ready.
      * @param {string} mode — Indicates the submission behavior, whether historical or current. Historical transactions are not broadcast or propagated.
+     * @param {boolean} log
      *
      * The optional callback function should be used to get STEAK when ready, and avoid waiting for broadcast and transaction propagation to complete.
      *
@@ -104,9 +103,9 @@ class Engine {
         this.startTime(`submit_${txid}`);
         this.startTime(`chainTracker_${txid.substring(0, 10)}`);
         const txValid = await tx.verify(this.chainTracker);
+        this.endTime(`chainTracker_${txid.substring(0, 10)}`);
         if (!txValid)
             throw new Error('Unable to verify SPV information.');
-        this.endTime(`chainTracker_${txid.substring(0, 10)}`);
         const steak = {};
         let admissableOutputs = { outputsToAdmit: [], coinsToRetain: [] };
         const previousCoins = [];
@@ -124,22 +123,20 @@ class Engine {
                 return;
             }
             // Check if any input of this transaction is a previous UTXO
-            const outputPromises = tx.inputs.map(async (input, i) => {
+            const outputPromises = tx.inputs.map(input => {
                 var _a;
-                const previousTXID = input.sourceTXID !== undefined ? input.sourceTXID : (_a = input.sourceTransaction) === null || _a === void 0 ? void 0 : _a.id('hex');
-                if (previousTXID !== undefined) {
-                    const output = this.storage.findOutput(previousTXID, input.sourceOutputIndex, topic);
-                    if (output !== undefined && output !== null) {
-                        previousCoins.push(i);
-                        return await Promise.resolve(output);
-                    }
-                }
-                return await Promise.resolve(null);
+                const previousTXID = input.sourceTXID || ((_a = input.sourceTransaction) === null || _a === void 0 ? void 0 : _a.id('hex'));
+                return this.storage.findOutput(previousTXID, input.sourceOutputIndex, topic);
             });
             this.startTime(`previousOutputQuery_${txid.substring(0, 10)}`);
             const outputs = await Promise.all(outputPromises);
             this.endTime(`previousOutputQuery_${txid.substring(0, 10)}`);
-            const markSpentPromises = outputs.map(async (output) => {
+            outputs.forEach((output, i) => {
+                if (output !== undefined && output !== null) {
+                    previousCoins.push(i);
+                }
+            });
+            const markSpentPromises = outputs.map(async (output, i) => {
                 if (output !== undefined && output !== null) {
                     try {
                         await this.storage.markUTXOAsSpent(output.txid, output.outputIndex, topic);
@@ -239,7 +236,7 @@ class Engine {
                 this.endTime(`insertNewOutput_${txid.substring(0, 10)}`);
                 newUTXOs.push({ txid, outputIndex });
                 this.startTime(`notifyLookupService${txid.substring(0, 10)}`);
-                await Promise.all(Object.values(this.lookupServices).map(async (l) => { var _a; return await ((_a = l.outputAdded) === null || _a === void 0 ? void 0 : _a.call(l, txid, outputIndex, tx.outputs[outputIndex].lockingScript, topic)); }));
+                await Promise.all(Object.values(this.lookupServices).map(l => { var _a; return (_a = l.outputAdded) === null || _a === void 0 ? void 0 : _a.call(l, txid, outputIndex, tx.outputs[outputIndex].lockingScript, topic); }));
                 this.endTime(`notifyLookupService${txid.substring(0, 10)}`);
             }));
             this.startTime(`outputConsumed_${txid.substring(0, 10)}`);
@@ -263,10 +260,10 @@ class Engine {
         if (this.advertiser === undefined || mode === 'historical-tx') {
             return steak;
         }
-        this.startTime(`transactionPropagation_${txid.substring(0, 10)}`);
+        this.startTime(`transactionPropgation_${txid.substring(0, 10)}`);
         // Propagate transaction to other nodes according to synchronization agreements
         // 1. Find nodes that host the topics associated with admissable outputs
-        // We want to figure out which topics we actually care about (because their associated outputs were admitted)
+        // We want to figure out which topics we actually care about(because their associated outputs were admitted)
         // AND if the topic was not admitted we want to remove it from the list of topics we care about.
         const relevantTopics = taggedBEEF.topics.filter(topic => steak[topic] !== undefined && steak[topic].outputsToAdmit.length !== 0);
         // TODO: Cache ship/slap lookup with expiry (every 5min)
@@ -521,7 +518,7 @@ class Engine {
             if (Array.isArray(syncEndpoints)) {
                 await Promise.all(syncEndpoints.map(async (endpoint) => {
                     // Sync to each host that is associated with this topic
-                    const gasp = new gasp_1.GASP(new OverlayGASPStorage_js_1.OverlayGASPStorage(topic, this), new OverlayGASPRemote_js_1.OverlayGASPRemote(endpoint, topic), 0, `[GASP Sync of ${topic} with ${endpoint}]`, true);
+                    const gasp = new gasp_1.GASP(new OverlayGASPStorage(topic, this), new OverlayGASPRemote(endpoint, topic), 0, `[GASP Sync of ${topic} with ${endpoint}]`, true);
                     await gasp.sync();
                 }));
             }
@@ -867,5 +864,389 @@ There is currently a bug with the test runner that prevents importing and using
 Thus, all non-type exports have been moved to Engine.
 */
 // TODO: fix bug with imports that break tests. -----[GASP/OverlayGASPRemote.ts]-----
-// TODO: fix bug with imports that break tests. -----[GASP/OverlayGASPStorage.ts]-----
+class OverlayGASPRemote {
+    constructor(endpointURL, topic) {
+        this.endpointURL = endpointURL;
+        this.topic = topic;
+    }
+    /**
+     * Given an outgoing initial request, sends the request to the foreign instance and obtains their initial response.
+     * @param request
+     * @returns
+     */
+    async getInitialResponse(request) {
+        // Send out an HTTP request to the URL (current host for topic)
+        // Include the topic in the request
+        // Parse out response and return correct format
+        const url = `${this.endpointURL}/requestSyncResponse`;
+        const response = await fetch(url, {
+            method: 'POST',
+            headers: {
+                'Content-Type': 'application/json',
+                'X-BSV-Topic': this.topic
+            },
+            body: JSON.stringify(request)
+        });
+        if (!response.ok) {
+            throw new Error(`HTTP error! Status: ${response.status}`);
+        }
+        const result = await response.json();
+        // Validate and return the response in the correct format
+        if (!Array.isArray(result.UTXOList) || typeof result.since !== 'number') {
+            throw new Error('Invalid response format');
+        }
+        return {
+            UTXOList: result.UTXOList.map((utxo) => ({
+                txid: utxo.txid,
+                outputIndex: utxo.outputIndex
+            })),
+            since: result.since
+        };
+    }
+    /**
+     * Given an outgoing txid, outputIndex and optional metadata, request the associated GASP node from the foreign instance.
+     * @param graphID
+     * @param txid
+     * @param outputIndex
+     * @param metadata
+     * @returns
+     */
+    async requestNode(graphID, txid, outputIndex, metadata) {
+        // Send an HTTP request with the provided info and get back a gaspNode
+        const url = `${this.endpointURL}/requestForeignGASPNode`;
+        const body = {
+            graphID,
+            txid,
+            outputIndex,
+            metadata
+        };
+        const response = await fetch(url, {
+            method: 'POST',
+            headers: {
+                'Content-Type': 'application/json'
+            },
+            body: JSON.stringify(body)
+        });
+        if (!response.ok) {
+            throw new Error(`HTTP error! Status: ${response.status}`);
+        }
+        const result = await response.json();
+        // Validate and return the response in the correct format
+        if (typeof result.graphID !== 'string' || typeof result.rawTx !== 'string' || typeof result.outputIndex !== 'number') {
+            throw new Error('Invalid response format');
+        }
+        const gaspNode = {
+            graphID: result.graphID,
+            rawTx: result.rawTx,
+            outputIndex: result.outputIndex,
+            proof: result.proof,
+            txMetadata: result.txMetadata,
+            outputMetadata: result.outputMetadata,
+            inputs: result.inputs
+        };
+        return gaspNode;
+    }
+    // ---- Now optional methods ----
+    // When are only syncing to them
+    async getInitialReply(response) {
+        throw new Error('Function not supported!');
+    }
+    // Only used when supporting bidirectional sync.
+    // Overlay services does not support this.
+    async submitNode(node) {
+        throw new Error('Node submission not supported!');
+    }
+}
+exports.OverlayGASPRemote = OverlayGASPRemote;
+class OverlayGASPStorage {
+    constructor(topic, engine, maxNodesInGraph) {
+        this.topic = topic;
+        this.engine = engine;
+        this.maxNodesInGraph = maxNodesInGraph;
+        this.temporaryGraphNodeRefs = {};
+    }
+    /**
+     *
+     * @param since
+     * @returns
+     */
+    async findKnownUTXOs(since) {
+        const UTXOs = await this.engine.storage.findUTXOsForTopic(this.topic, since);
+        return UTXOs.map(output => ({
+            txid: output.txid,
+            outputIndex: output.outputIndex
+        }));
+    }
+    /**
+     * For a given txid and output index, returns the associated transaction, a merkle proof if the transaction is in a block, and metadata if if requested. If no metadata is requested, metadata hashes on inputs are not returned.
+     * @param graphID
+     * @param txid
+     * @param outputIndex
+     * @param metadata
+     * @returns
+     */
+    async hydrateGASPNode(graphID, txid, outputIndex, metadata) {
+        const output = await this.engine.storage.findOutput(txid, outputIndex, undefined, undefined, true);
+        if ((output === null || output === void 0 ? void 0 : output.beef) === undefined) {
+            throw new Error('No matching output found!');
+        }
+        const tx = sdk_1.Transaction.fromBEEF(output.beef);
+        const rawTx = tx.toHex();
+        const node = {
+            rawTx,
+            graphID,
+            outputIndex
+        };
+        if (tx.merklePath !== undefined) {
+            node.proof = tx.merklePath.toHex();
+        }
+        return node;
+    }
+    /**
+    * For a given node, returns the inputs needed to complete the graph, including whether updated metadata is requested for those inputs.
+    * @param tx The node for which needed inputs should be found.
+    * @returns A promise for a mapping of requested input transactions and whether metadata should be provided for each.
+    */
+    async findNeededInputs(tx) {
+        var _a, _b, _c;
+        // If there is no Merkle proof, we always need the inputs
+        const response = {
+            requestedInputs: {}
+        };
+        const parsedTx = sdk_1.Transaction.fromHex(tx.rawTx);
+        if (tx.proof === undefined) {
+            for (const input of parsedTx.inputs) {
+                response.requestedInputs[`${input.sourceTXID}.${input.sourceOutputIndex}`] = {
+                    metadata: false
+                };
+            }
+            return await this.stripAlreadyKnownInputs(response);
+        }
+        // Attempt to check if the current transaction is admissible
+        parsedTx.merklePath = sdk_1.MerklePath.fromHex(tx.proof);
+        const admittanceResult = await this.engine.managers[this.topic].identifyAdmissibleOutputs(parsedTx.toBEEF(), []);
+        if (admittanceResult.outputsToAdmit.includes(tx.outputIndex)) {
+            // The transaction is admissible, no further inputs are needed
+        }
+        else {
+            // The transaction is not admissible, get inputs needed for further verification
+            // TopicManagers should implement a function to identify which inputs are needed.
+            if (this.engine.managers[this.topic] !== undefined && typeof this.engine.managers[this.topic].identifyNeededInputs === 'function') {
+                try {
+                    const neededInputs = (_c = await ((_b = (_a = this.engine.managers[this.topic]).identifyNeededInputs) === null || _b === void 0 ? void 0 : _b.call(_a, parsedTx.toBEEF()))) !== null && _c !== void 0 ? _c : [];
+                    for (const input of neededInputs) {
+                        response.requestedInputs[`${input.txid}.${input.outputIndex}`] = {
+                            metadata: false
+                        };
+                    }
+                    return await this.stripAlreadyKnownInputs(response);
+                }
+                catch (e) {
+                    console.error(`An error occurred when identifying needed inputs for transaction: ${parsedTx.id('hex')}.${tx.outputIndex}!`);
+                    // Cut off the graph in case of an error here.
+                }
+            }
+            // By default, if the topic manager isn't able to stipulate needed inputs, only the inputs necessary for SPV are requested.
+        }
+        // Everything else falls through to returning undefined/void, which will terminate the synchronization at this point.
+    }
+    /**
+     * Ensures that no inputs are requested from foreign nodes before sending any GASP response
+     * Also terminates graphs if the response would be empty.
+     */
+    async stripAlreadyKnownInputs(response) {
+        if (typeof response === 'undefined') {
+            return response;
+        }
+        for (const inputNodeId of Object.keys(response.requestedInputs)) {
+            const [txid, outputIndex] = inputNodeId.split('.');
+            const found = await this.engine.storage.findOutput(txid, Number(outputIndex), this.topic);
+            if (found !== null && found !== undefined) {
+                // eslint-disable-next-line @typescript-eslint/no-dynamic-delete
+                delete response.requestedInputs[inputNodeId];
+            }
+        }
+        if (Object.keys(response.requestedInputs).length === 0) {
+            return undefined;
+        }
+        return response;
+    }
+    /**
+    * Appends a new node to a temporary graph.
+    * @param tx The node to append to this graph.
+    * @param spentBy Unless this is the same node identified by the graph ID, denotes the TXID and input index for the node which spent this one, in 36-byte format.
+    * @throws If the node cannot be appended to the graph, either because the graph ID is for a graph the recipient does not want or because the graph has grown to be too large before being finalized.
+    */
+    async appendToGraph(tx, spentBy) {
+        if (this.maxNodesInGraph !== undefined && Object.keys(this.temporaryGraphNodeRefs).length >= this.maxNodesInGraph) {
+            throw new Error('The max number of nodes in transaction graph has been reached!');
+        }
+        const parsedTx = sdk_1.Transaction.fromHex(tx.rawTx);
+        const txid = parsedTx.id('hex');
+        if (tx.proof !== undefined) {
+            parsedTx.merklePath = sdk_1.MerklePath.fromHex(tx.proof);
+        }
+        // Given the passed in node, append to the temp graph
+        // Use the spentBy param which should be a txid.inputIndex for the node which spent this one in 36-byte format
+        const newGraphNode = {
+            txid,
+            graphID: tx.graphID,
+            rawTx: tx.rawTx,
+            outputIndex: tx.outputIndex,
+            proof: tx.proof,
+            txMetadata: tx.txMetadata,
+            outputMetadata: tx.outputMetadata,
+            inputs: tx.inputs,
+            children: []
+        };
+        // If spentBy is undefined, then we know it's the root node.
+        if (spentBy === undefined) {
+            this.temporaryGraphNodeRefs[tx.graphID] = newGraphNode;
+        }
+        else {
+            // Find the parent node based on spentBy
+            const parentNode = this.temporaryGraphNodeRefs[spentBy];
+            if (parentNode !== undefined) {
+                // Set parent-child relationship
+                parentNode.children.push(newGraphNode);
+                newGraphNode.parent = parentNode;
+                this.temporaryGraphNodeRefs[`${newGraphNode.txid}.${newGraphNode.outputIndex}`] = newGraphNode;
+            }
+            else {
+                throw new Error(`Parent node with GraphID ${spentBy} not found`);
+            }
+        }
+    }
+    /**
+      * Checks whether the given graph, in its current state, makes reference only to transactions that are proven in the blockchain, or already known by the recipient to be valid.
+      * Additionally, in a breadth-first manner (ensuring that all inputs for any given node are processed before nodes that spend them), it ensures that the root node remains valid according to the rules of the overlay's topic manager,
+      * while considering any coins which the Manager had previously indicated were either valid or invalid.
+      * @param graphID The TXID and output index (in 36-byte format) for the UTXO at the tip of this graph.
+      * @throws If the graph is not well-anchored, according to the rules of Bitcoin or the rules of the Overlay Topic Manager.
+      */
+    async validateGraphAnchor(graphID) {
+        var _a;
+        const rootNode = this.temporaryGraphNodeRefs[graphID];
+        if (rootNode === undefined) {
+            throw new Error(`Graph node with ID ${graphID} not found`);
+        }
+        // Check that the root node is Bitcoin-valid.
+        const beef = this.getBEEFForNode(rootNode);
+        const spvTx = sdk_1.Transaction.fromBEEF(beef);
+        const isBitcoinValid = await spvTx.verify(this.engine.chainTracker);
+        if (!isBitcoinValid) {
+            throw new Error('The graph is not well-anchored according to the rules of Bitcoin.');
+        }
+        // Then, ensure the node is Overlay-valid.
+        const beefs = this.computeOrderedBEEFsForGraph(graphID);
+        // coins: a Set of all historical coins to retain (no need to remove them), used to emulate topical admittance of previous inputs over time.
+        const coins = new Set();
+        // Submit all historical BEEFs in order through the topic manager, tracking what would be retained until we submit the root node last.
+        // If, at the end, the root node is admitted, we have a valid overlay-specific graph.
+        for (const beef of beefs) {
+            // For any input to this transaction, see if it's a valid coin that's admitted. If so, it's a previous coin.
+            const previousCoins = [];
+            const tx = sdk_1.Transaction.fromBEEF(beef);
+            for (const inputIndex in tx.inputs) {
+                const input = tx.inputs[inputIndex];
+                const sourceTXID = input.sourceTXID || ((_a = input.sourceTransaction) === null || _a === void 0 ? void 0 : _a.id('hex'));
+                const coin = `${sourceTXID}.${input.sourceOutputIndex}`;
+                if (coins.has(coin)) {
+                    previousCoins.push(Number(inputIndex));
+                }
+            }
+            const admittanceInstructions = await this.engine.managers[this.topic].identifyAdmissibleOutputs(beef, previousCoins);
+            // Every admitted output is now a coin.
+            for (const outputIndex of admittanceInstructions.outputsToAdmit) {
+                coins.add(`${tx.id('hex')}.${outputIndex}`);
+            }
+        }
+        // After sending through all the graph's BEEFs...
+        // If the root node is now a coin, we have acceptance by the overlay.
+        // Otherwise, throw.
+        if (!coins.has(graphID)) {
+            throw new Error('This graph did not result in topical admittance of the root node. Rejecting.');
+        }
+    }
+    /**
+     * Deletes all data associated with a temporary graph that has failed to sync, if the graph exists.
+     * @param graphID The TXID and output index (in 36-byte format) for the UTXO at the tip of this graph.
+     */
+    async discardGraph(graphID) {
+        for (const [nodeId, graphRef] of Object.entries(this.temporaryGraphNodeRefs)) {
+            if (graphRef.graphID === graphID) {
+                // Delete child node
+                // eslint-disable-next-line @typescript-eslint/no-dynamic-delete
+                delete this.temporaryGraphNodeRefs[nodeId];
+            }
+        }
+    }
+    /**
+     * Finalizes a graph, solidifying the new UTXO and its ancestors so that it will appear in the list of known UTXOs.
+     * @param graphID The TXID and output index (in 36-byte format) for the UTXO at the root of this graph.
+     */
+    async finalizeGraph(graphID) {
+        const beefs = this.computeOrderedBEEFsForGraph(graphID);
+        // Submit all historical BEEFs in order, finalizing the graph for the current UTXO
+        for (const beef of beefs) {
+            await this.engine.submit({
+                beef,
+                topics: [this.topic]
+            }, () => { }, 'historical-tx');
+        }
+    }
+    /**
+     * Computes an ordered set of BEEFs for the graph with the given graph IDs
+     * @param {string} graphID — The ID of the graph for which BEEFs are required
+     * @returns Ordered BEEFs for the graph
+     */
+    computeOrderedBEEFsForGraph(graphID) {
+        const beefs = [];
+        const hydrator = (node) => {
+            const currentBEEF = this.getBEEFForNode(node);
+            if (beefs.indexOf(currentBEEF) === -1) {
+                beefs.unshift(currentBEEF);
+            }
+            for (const child of node.children) {
+                // Continue backwards to the earliest nodes, adding them onto the beginning
+                hydrator(child);
+            }
+        };
+        // Start the hydrator with the root node
+        const foundRoot = this.temporaryGraphNodeRefs[graphID];
+        if (!foundRoot) {
+            throw new Error('Unable to find root node in graph for finalization!');
+        }
+        hydrator(foundRoot);
+        return beefs;
+    }
+    /**
+     * Computes a full BEEF for a given graph node, based on the temporary graph store.
+     * @param node Graph node for which BEEF is needed.
+     * @returns BEEF array, including all proofs on inputs.
+     */
+    getBEEFForNode(node) {
+        // Given a node, hydrate its merkle proof or all inputs, returning a reference to the hydrated node's Transaction object
+        const hydrator = (node) => {
+            const tx = sdk_1.Transaction.fromHex(node.rawTx);
+            if (node.proof) {
+                tx.merklePath = sdk_1.MerklePath.fromHex(node.proof);
+                return tx; // Transaction with proof, end of the line.
+            }
+            // For each input, look it up and recurse.
+            for (const inputIndex in tx.inputs) {
+                const input = tx.inputs[inputIndex];
+                const foundNode = this.temporaryGraphNodeRefs[`${input.sourceTXID}.${input.sourceOutputIndex}`];
+                if (!foundNode) {
+                    throw new Error('Required input node for unproven parent not found in temporary graph store. Ensure, for every parent of any given already-proven node (kept for Overlay-specific historical reasons), that a proof is also provided on those inputs. While implicitly they are valid by virtue of their descendents being proven in the blockchain, BEEF serialization will still fail when winding forward the topical UTXO set histories during sync.');
+                }
+                tx.inputs[inputIndex].sourceTransaction = hydrator(foundNode);
+            }
+            return tx;
+        };
+        const finalTX = hydrator(node);
+        return finalTX.toBEEF();
+    }
+}
+exports.OverlayGASPStorage = OverlayGASPStorage;
 //# sourceMappingURL=Engine.js.map