@fluxpointstudios/orynq-sdk-midnight-prover 0.1.0

package/dist/linking/cardano-anchor-link.js

@@ -0,0 +1,447 @@
+/**
+ * @fileoverview Cross-chain linking between Midnight proofs and Cardano anchors.
+ *
+ * Location: packages/midnight-prover/src/linking/cardano-anchor-link.ts
+ *
+ * Summary:
+ * This module implements the CardanoAnchorLinker class which creates and verifies
+ * bidirectional links between ZK proofs on Midnight and anchor transactions on Cardano.
+ * These links enable cross-chain verification of PoI traces.
+ *
+ * Usage:
+ * - Used after proof publication to establish cross-chain references
+ * - Integrates with poi-anchors-cardano for anchor verification
+ * - Enables verification that a Midnight proof corresponds to a specific Cardano anchor
+ *
+ * @example
+ * ```typescript
+ * import { CardanoAnchorLinker } from './cardano-anchor-link.js';
+ *
+ * const linker = new CardanoAnchorLinker();
+ *
+ * const link = linker.linkToAnchor(proof, cardanoTxHash);
+ * console.log('Cross-chain link created:', link.linkId);
+ *
+ * const isValid = await linker.verifyLink(link);
+ * console.log('Link valid:', isValid);
+ * ```
+ */
+import { MidnightProverError, MidnightProverException, isHashChainProof, isPolicyProof, isAttestationProof, isDisclosureProof, isInferenceProof, } from "../types.js";
+import { canonicalize } from "@fluxpointstudios/orynq-sdk-core/utils";
+/**
+ * Domain separation prefixes for link operations.
+ */
+const LINK_DOMAIN_PREFIXES = {
+    linkId: "poi-link:id:v1|",
+    commitment: "poi-link:commitment:v1|",
+    publicInputs: "poi-link:public-inputs:v1|",
+};
+// =============================================================================
+// CARDANO ANCHOR LINKER
+// =============================================================================
+/**
+ * CardanoAnchorLinker creates and verifies cross-chain links.
+ *
+ * This class provides:
+ * - Creation of bidirectional links between Midnight proofs and Cardano anchors
+ * - Cryptographic commitment generation for link verification
+ * - Link verification against both chains
+ *
+ * @example
+ * ```typescript
+ * const linker = new CardanoAnchorLinker({ debug: true });
+ *
+ * // Create a link after proof publication
+ * const link = linker.linkToAnchor(proof, cardanoTxHash);
+ *
+ * // Verify the link
+ * const result = await linker.verifyLink(link);
+ * if (result.valid) {
+ *   console.log('Cross-chain link verified');
+ * }
+ * ```
+ */
+export class CardanoAnchorLinker {
+    options;
+    // Cache for created links
+    linkCache = new Map();
+    /**
+     * Create a new CardanoAnchorLinker instance.
+     *
+     * @param options - Configuration options
+     */
+    constructor(options = {}) {
+        this.options = {
+            debug: options.debug ?? false,
+            cardanoVerifier: options.cardanoVerifier ?? this.mockCardanoVerifier,
+            midnightVerifier: options.midnightVerifier ?? this.mockMidnightVerifier,
+        };
+    }
+    /**
+     * Create a cross-chain link between a proof and a Cardano anchor.
+     *
+     * This method:
+     * 1. Extracts relevant data from the proof
+     * 2. Generates a unique link ID
+     * 3. Creates a cryptographic commitment binding both chains
+     * 4. Returns the complete cross-chain link
+     *
+     * @param proof - The Midnight proof to link
+     * @param cardanoTxHash - The Cardano anchor transaction hash
+     * @param midnightTxHash - Optional Midnight transaction hash (if already published)
+     * @returns The cross-chain link
+     */
+    linkToAnchor(proof, cardanoTxHash, midnightTxHash) {
+        this.debug(`Creating cross-chain link for proof ${proof.proofId}`);
+        // Validate inputs
+        this.validateProof(proof);
+        this.validateTxHash(cardanoTxHash, "Cardano");
+        if (midnightTxHash) {
+            this.validateTxHash(midnightTxHash, "Midnight");
+        }
+        // Extract public inputs hash and anchored root hash
+        const { publicInputsHash, anchoredRootHash } = this.extractProofData(proof);
+        // Verify that the proof's cardanoAnchorTxHash matches the provided one
+        const proofCardanoTxHash = this.extractCardanoAnchorTxHash(proof);
+        if (normalizeHash(proofCardanoTxHash) !== normalizeHash(cardanoTxHash)) {
+            throw new MidnightProverException(MidnightProverError.HASH_MISMATCH, `Proof's cardanoAnchorTxHash (${proofCardanoTxHash}) does not match provided cardanoTxHash (${cardanoTxHash})`);
+        }
+        // Generate link ID
+        const linkId = this.generateLinkId(proof.proofId, cardanoTxHash);
+        // Generate link commitment
+        const linkCommitment = this.generateLinkCommitmentSync(proof.proofId, cardanoTxHash, publicInputsHash, anchoredRootHash);
+        const link = {
+            linkId,
+            version: "1.0.0",
+            midnightProofId: proof.proofId,
+            midnightTxHash,
+            proofType: proof.proofType,
+            publicInputsHash,
+            cardanoAnchorTxHash: normalizeHash(cardanoTxHash),
+            anchoredRootHash,
+            createdAt: new Date().toISOString(),
+            linkCommitment,
+        };
+        // Cache the link
+        this.linkCache.set(linkId, link);
+        this.debug(`Cross-chain link created: ${linkId}`);
+        return link;
+    }
+    /**
+     * Verify a cross-chain link.
+     *
+     * This method verifies:
+     * 1. Link structure and format
+     * 2. Link commitment integrity
+     * 3. Midnight proof existence (if verifier provided)
+     * 4. Cardano anchor existence (if verifier provided)
+     *
+     * @param link - The cross-chain link to verify
+     * @returns Promise resolving to the verification result
+     */
+    async verifyLink(link) {
+        this.debug(`Verifying cross-chain link: ${link.linkId}`);
+        const errors = [];
+        const warnings = [];
+        let midnightVerified = false;
+        let cardanoVerified = false;
+        let commitmentVerified = false;
+        // Verify link structure
+        const structureErrors = this.validateLinkStructure(link);
+        errors.push(...structureErrors);
+        if (structureErrors.length === 0) {
+            // Verify commitment
+            const expectedCommitment = this.generateLinkCommitmentSync(link.midnightProofId, link.cardanoAnchorTxHash, link.publicInputsHash, link.anchoredRootHash);
+            if (expectedCommitment === link.linkCommitment) {
+                commitmentVerified = true;
+            }
+            else {
+                errors.push("Link commitment does not match");
+            }
+            // Verify Midnight proof
+            try {
+                midnightVerified = await this.options.midnightVerifier(link.midnightProofId, link.midnightTxHash);
+                if (!midnightVerified) {
+                    warnings.push("Midnight proof could not be verified on-chain");
+                }
+            }
+            catch (error) {
+                warnings.push(`Midnight verification error: ${String(error)}`);
+            }
+            // Verify Cardano anchor
+            try {
+                cardanoVerified = await this.options.cardanoVerifier(link.cardanoAnchorTxHash);
+                if (!cardanoVerified) {
+                    warnings.push("Cardano anchor could not be verified on-chain");
+                }
+            }
+            catch (error) {
+                warnings.push(`Cardano verification error: ${String(error)}`);
+            }
+        }
+        const valid = errors.length === 0 && commitmentVerified;
+        const result = {
+            valid,
+            linkId: link.linkId,
+            errors,
+            warnings,
+            verifiedAt: new Date().toISOString(),
+            midnightVerified,
+            cardanoVerified,
+            commitmentVerified,
+        };
+        this.debug(`Link verification result: ${valid ? "VALID" : "INVALID"}`);
+        return result;
+    }
+    /**
+     * Get a cached link by ID.
+     *
+     * @param linkId - The link identifier
+     * @returns The cached link or undefined
+     */
+    getCachedLink(linkId) {
+        return this.linkCache.get(linkId);
+    }
+    /**
+     * Get a link by proof ID.
+     *
+     * @param proofId - The proof identifier
+     * @returns The cached link or undefined
+     */
+    getLinkByProofId(proofId) {
+        for (const link of this.linkCache.values()) {
+            if (link.midnightProofId === proofId) {
+                return link;
+            }
+        }
+        return undefined;
+    }
+    /**
+     * Get all links for a Cardano anchor.
+     *
+     * @param cardanoTxHash - The Cardano transaction hash
+     * @returns Array of links for this anchor
+     */
+    getLinksByCardanoAnchor(cardanoTxHash) {
+        const normalizedHash = normalizeHash(cardanoTxHash);
+        const links = [];
+        for (const link of this.linkCache.values()) {
+            if (normalizeHash(link.cardanoAnchorTxHash) === normalizedHash) {
+                links.push(link);
+            }
+        }
+        return links;
+    }
+    // ===========================================================================
+    // PRIVATE METHODS
+    // ===========================================================================
+    /**
+     * Validate a proof for linking.
+     */
+    validateProof(proof) {
+        if (!proof.proofId) {
+            throw new MidnightProverException(MidnightProverError.INVALID_INPUT, "Proof ID is required");
+        }
+        if (!proof.proofType) {
+            throw new MidnightProverException(MidnightProverError.INVALID_INPUT, "Proof type is required");
+        }
+        if (!proof.proof || proof.proof.length === 0) {
+            throw new MidnightProverException(MidnightProverError.INVALID_PROOF_FORMAT, "Proof data is empty");
+        }
+    }
+    /**
+     * Validate a transaction hash.
+     */
+    validateTxHash(txHash, chainName) {
+        const normalized = normalizeHash(txHash);
+        if (!/^[0-9a-f]{64}$/.test(normalized)) {
+            throw new MidnightProverException(MidnightProverError.INVALID_INPUT, `Invalid ${chainName} transaction hash format: ${txHash}`);
+        }
+    }
+    /**
+     * Validate link structure.
+     */
+    validateLinkStructure(link) {
+        const errors = [];
+        if (!link.linkId) {
+            errors.push("Missing linkId");
+        }
+        if (link.version !== "1.0.0") {
+            errors.push(`Unknown link version: ${link.version}`);
+        }
+        if (!link.midnightProofId) {
+            errors.push("Missing midnightProofId");
+        }
+        if (!link.proofType) {
+            errors.push("Missing proofType");
+        }
+        if (!link.publicInputsHash || !/^[0-9a-f]{64}$/i.test(link.publicInputsHash)) {
+            errors.push("Invalid publicInputsHash format");
+        }
+        if (!link.cardanoAnchorTxHash || !/^[0-9a-f]{64}$/i.test(link.cardanoAnchorTxHash)) {
+            errors.push("Invalid cardanoAnchorTxHash format");
+        }
+        if (!link.anchoredRootHash || !/^[0-9a-f]{64}$/i.test(link.anchoredRootHash)) {
+            errors.push("Invalid anchoredRootHash format");
+        }
+        if (!link.linkCommitment || !/^[0-9a-f]{64}$/i.test(link.linkCommitment)) {
+            errors.push("Invalid linkCommitment format");
+        }
+        if (!link.createdAt) {
+            errors.push("Missing createdAt timestamp");
+        }
+        return errors;
+    }
+    /**
+     * Extract data from proof for linking.
+     */
+    extractProofData(proof) {
+        let publicInputsData;
+        let anchoredRootHash;
+        if (isHashChainProof(proof)) {
+            const p = proof;
+            publicInputsData = p.publicInputs;
+            anchoredRootHash = p.publicInputs.rootHash;
+        }
+        else if (isPolicyProof(proof)) {
+            const p = proof;
+            publicInputsData = p.publicInputs;
+            // For policy proofs, use promptHash as the "root"
+            anchoredRootHash = p.publicInputs.promptHash;
+        }
+        else if (isAttestationProof(proof)) {
+            const p = proof;
+            publicInputsData = p.publicInputs;
+            anchoredRootHash = p.publicInputs.boundHash;
+        }
+        else if (isDisclosureProof(proof)) {
+            const p = proof;
+            publicInputsData = p.publicInputs;
+            anchoredRootHash = p.publicInputs.merkleRoot;
+        }
+        else if (isInferenceProof(proof)) {
+            const p = proof;
+            publicInputsData = p.publicInputs;
+            anchoredRootHash = p.publicInputs.modelWeightDigest;
+        }
+        else {
+            throw new MidnightProverException(MidnightProverError.INVALID_INPUT, `Unknown proof type: ${proof.proofType}`);
+        }
+        // Hash public inputs
+        const publicInputsHash = this.hashPublicInputsSync(publicInputsData);
+        return { publicInputsHash, anchoredRootHash };
+    }
+    /**
+     * Extract Cardano anchor transaction hash from proof.
+     */
+    extractCardanoAnchorTxHash(proof) {
+        const anyProof = proof;
+        const txHash = anyProof.publicInputs?.cardanoAnchorTxHash;
+        if (!txHash) {
+            throw new MidnightProverException(MidnightProverError.MISSING_REQUIRED_FIELD, "Proof must have cardanoAnchorTxHash in public inputs");
+        }
+        return txHash;
+    }
+    /**
+     * Generate a unique link ID.
+     */
+    generateLinkId(proofId, cardanoTxHash) {
+        // Simple hash-based link ID
+        const input = LINK_DOMAIN_PREFIXES.linkId + proofId + "|" + normalizeHash(cardanoTxHash);
+        // Use synchronous generation for now (matches existing pattern)
+        return `link-${this.simpleHash(input).slice(0, 16)}`;
+    }
+    /**
+     * Generate link commitment synchronously.
+     */
+    generateLinkCommitmentSync(proofId, cardanoTxHash, publicInputsHash, anchoredRootHash) {
+        const input = canonicalize({
+            domain: LINK_DOMAIN_PREFIXES.commitment,
+            proofId,
+            cardanoTxHash: normalizeHash(cardanoTxHash),
+            publicInputsHash,
+            anchoredRootHash,
+        });
+        return this.simpleHash(input);
+    }
+    /**
+     * Hash public inputs synchronously.
+     */
+    hashPublicInputsSync(publicInputs) {
+        const input = LINK_DOMAIN_PREFIXES.publicInputs + canonicalize(publicInputs);
+        return this.simpleHash(input);
+    }
+    /**
+     * Simple synchronous hash function (for use in sync contexts).
+     * Uses a deterministic algorithm suitable for identifiers.
+     */
+    simpleHash(input) {
+        // Simple hash implementation for sync contexts
+        // In production, this would use a proper hash function
+        let hash = 0x811c9dc5; // FNV offset basis
+        for (let i = 0; i < input.length; i++) {
+            hash ^= input.charCodeAt(i);
+            hash = Math.imul(hash, 0x01000193); // FNV prime
+        }
+        // Generate a 64-char hex string by repeating the process
+        let result = "";
+        let state = hash;
+        for (let j = 0; j < 8; j++) {
+            for (let i = 0; i < input.length; i++) {
+                state ^= input.charCodeAt((i + j * 7) % input.length);
+                state = Math.imul(state, 0x01000193);
+            }
+            result += (state >>> 0).toString(16).padStart(8, "0");
+        }
+        return result;
+    }
+    /**
+     * Mock Cardano verifier (always returns true for valid hashes).
+     */
+    mockCardanoVerifier = async (txHash) => {
+        // Simulate network delay
+        await new Promise((resolve) => setTimeout(resolve, 50));
+        // In mock mode, accept any valid-looking hash
+        return /^[0-9a-f]{64}$/i.test(normalizeHash(txHash));
+    };
+    /**
+     * Mock Midnight verifier (always returns true for non-empty proof IDs).
+     */
+    mockMidnightVerifier = async (proofId, _txHash) => {
+        // Simulate network delay
+        await new Promise((resolve) => setTimeout(resolve, 50));
+        // In mock mode, accept any non-empty proof ID
+        return proofId.length > 0;
+    };
+    /**
+     * Debug logging helper.
+     */
+    debug(message) {
+        if (this.options.debug) {
+            console.log(`[CardanoAnchorLinker] ${message}`);
+        }
+    }
+}
+// =============================================================================
+// UTILITY FUNCTIONS
+// =============================================================================
+/**
+ * Normalize a hash to lowercase without 0x prefix.
+ */
+function normalizeHash(hash) {
+    const cleaned = hash.startsWith("0x") ? hash.slice(2) : hash;
+    return cleaned.toLowerCase();
+}
+// =============================================================================
+// FACTORY FUNCTION
+// =============================================================================
+/**
+ * Create a new CardanoAnchorLinker instance.
+ *
+ * @param options - Configuration options
+ * @returns New CardanoAnchorLinker instance
+ */
+export function createCardanoAnchorLinker(options) {
+    return new CardanoAnchorLinker(options);
+}
+//# sourceMappingURL=cardano-anchor-link.js.map

package/dist/linking/cardano-anchor-link.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cardano-anchor-link.js","sourceRoot":"","sources":["../../src/linking/cardano-anchor-link.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAYH,OAAO,EACL,mBAAmB,EACnB,uBAAuB,EACvB,gBAAgB,EAChB,aAAa,EACb,kBAAkB,EAClB,iBAAiB,EACjB,gBAAgB,GACjB,MAAM,aAAa,CAAC;AAErB,OAAO,EAAE,YAAY,EAAE,MAAM,wCAAwC,CAAC;AA4GtE;;GAEG;AACH,MAAM,oBAAoB,GAAG;IAC3B,MAAM,EAAE,iBAAiB;IACzB,UAAU,EAAE,yBAAyB;IACrC,YAAY,EAAE,4BAA4B;CAClC,CAAC;AAEX,gFAAgF;AAChF,wBAAwB;AACxB,gFAAgF;AAEhF;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,OAAO,mBAAmB;IACb,OAAO,CAAuC;IAE/D,0BAA0B;IACT,SAAS,GAAG,IAAI,GAAG,EAA0B,CAAC;IAE/D;;;;OAIG;IACH,YAAY,UAAsC,EAAE;QAClD,IAAI,CAAC,OAAO,GAAG;YACb,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,KAAK;YAC7B,eAAe,EAAE,OAAO,CAAC,eAAe,IAAI,IAAI,CAAC,mBAAmB;YACpE,gBAAgB,EAAE,OAAO,CAAC,gBAAgB,IAAI,IAAI,CAAC,oBAAoB;SACxE,CAAC;IACJ,CAAC;IAED;;;;;;;;;;;;;OAaG;IACH,YAAY,CACV,KAAe,EACf,aAAqB,EACrB,cAAuB;QAEvB,IAAI,CAAC,KAAK,CAAC,uCAAuC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;QAEnE,kBAAkB;QAClB,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;QAC1B,IAAI,CAAC,cAAc,CAAC,aAAa,EAAE,SAAS,CAAC,CAAC;QAC9C,IAAI,cAAc,EAAE,CAAC;YACnB,IAAI,CAAC,cAAc,CAAC,cAAc,EAAE,UAAU,CAAC,CAAC;QAClD,CAAC;QAED,oDAAoD;QACpD,MAAM,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,GAAG,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC;QAE5E,uEAAuE;QACvE,MAAM,kBAAkB,GAAG,IAAI,CAAC,0BAA0B,CAAC,KAAK,CAAC,CAAC;QAClE,IAAI,aAAa,CAAC,kBAAkB,CAAC,KAAK,aAAa,CAAC,aAAa,CAAC,EAAE,CAAC;YACvE,MAAM,IAAI,uBAAuB,CAC/B,mBAAmB,CAAC,aAAa,EACjC,gCAAgC,kBAAkB,4CAA4C,aAAa,GAAG,CAC/G,CAAC;QACJ,CAAC;QAED,mBAAmB;QACnB,MAAM,MAAM,GAAG,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC;QAEjE,2BAA2B;QAC3B,MAAM,cAAc,GAAG,IAAI,CAAC,0BAA0B,CACpD,KAAK,CAAC,OAAO,EACb,aAAa,EACb,gBAAgB,EAChB,gBAAgB,CACjB,CAAC;QAEF,MAAM,IAAI,GAAmB;YAC3B,MAAM;YACN,OAAO,EAAE,OAAO;YAChB,eAAe,EAAE,KAAK,CAAC,OAAO;YAC9B,cAAc;YACd,SAAS,EAAE,KAAK,CAAC,SAAS;YAC1B,gBAAgB;YAChB,mBAAmB,EAAE,aAAa,CAAC,aAAa,CAAC;YACjD,gBAAgB;YAChB,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;YACnC,cAAc;SACf,CAAC;QAEF,iBAAiB;QACjB,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QAEjC,IAAI,CAAC,KAAK,CAAC,6BAA6B,MAAM,EAAE,CAAC,CAAC;QAElD,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;;;;;;;;;;OAWG;IACH,KAAK,CAAC,UAAU,CAAC,IAAoB;QACnC,IAAI,CAAC,KAAK,CAAC,+BAA+B,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;QAEzD,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,MAAM,QAAQ,GAAa,EAAE,CAAC;QAC9B,IAAI,gBAAgB,GAAG,KAAK,CAAC;QAC7B,IAAI,eAAe,GAAG,KAAK,CAAC;QAC5B,IAAI,kBAAkB,GAAG,KAAK,CAAC;QAE/B,wBAAwB;QACxB,MAAM,eAAe,GAAG,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC;QACzD,MAAM,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,CAAC;QAEhC,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACjC,oBAAoB;YACpB,MAAM,kBAAkB,GAAG,IAAI,CAAC,0BAA0B,CACxD,IAAI,CAAC,eAAe,EACpB,IAAI,CAAC,mBAAmB,EACxB,IAAI,CAAC,gBAAgB,EACrB,IAAI,CAAC,gBAAgB,CACtB,CAAC;YAEF,IAAI,kBAAkB,KAAK,IAAI,CAAC,cAAc,EAAE,CAAC;gBAC/C,kBAAkB,GAAG,IAAI,CAAC;YAC5B,CAAC;iBAAM,CAAC;gBACN,MAAM,CAAC,IAAI,CAAC,gCAAgC,CAAC,CAAC;YAChD,CAAC;YAED,wBAAwB;YACxB,IAAI,CAAC;gBACH,gBAAgB,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,gBAAgB,CACpD,IAAI,CAAC,eAAe,EACpB,IAAI,CAAC,cAAc,CACpB,CAAC;gBACF,IAAI,CAAC,gBAAgB,EAAE,CAAC;oBACtB,QAAQ,CAAC,IAAI,CAAC,+CAA+C,CAAC,CAAC;gBACjE,CAAC;YACH,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,QAAQ,CAAC,IAAI,CAAC,gCAAgC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YACjE,CAAC;YAED,wBAAwB;YACxB,IAAI,CAAC;gBACH,eAAe,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,eAAe,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;gBAC/E,IAAI,CAAC,eAAe,EAAE,CAAC;oBACrB,QAAQ,CAAC,IAAI,CAAC,+CAA+C,CAAC,CAAC;gBACjE,CAAC;YACH,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,QAAQ,CAAC,IAAI,CAAC,+BAA+B,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YAChE,CAAC;QACH,CAAC;QAED,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,kBAAkB,CAAC;QAExD,MAAM,MAAM,GAA2B;YACrC,KAAK;YACL,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,MAAM;YACN,QAAQ;YACR,UAAU,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;YACpC,gBAAgB;YAChB,eAAe;YACf,kBAAkB;SACnB,CAAC;QAEF,IAAI,CAAC,KAAK,CAAC,6BAA6B,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC;QAEvE,OAAO,MAAM,CAAC;IAChB,CAAC;IAED;;;;;OAKG;IACH,aAAa,CAAC,MAAc;QAC1B,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACpC,CAAC;IAED;;;;;OAKG;IACH,gBAAgB,CAAC,OAAe;QAC9B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC;YAC3C,IAAI,IAAI,CAAC,eAAe,KAAK,OAAO,EAAE,CAAC;gBACrC,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED;;;;;OAKG;IACH,uBAAuB,CAAC,aAAqB;QAC3C,MAAM,cAAc,GAAG,aAAa,CAAC,aAAa,CAAC,CAAC;QACpD,MAAM,KAAK,GAAqB,EAAE,CAAC;QAEnC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC;YAC3C,IAAI,aAAa,CAAC,IAAI,CAAC,mBAAmB,CAAC,KAAK,cAAc,EAAE,CAAC;gBAC/D,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnB,CAAC;QACH,CAAC;QAED,OAAO,KAAK,CAAC;IACf,CAAC;IAED,8EAA8E;IAC9E,kBAAkB;IAClB,8EAA8E;IAE9E;;OAEG;IACK,aAAa,CAAC,KAAY;QAChC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;YACnB,MAAM,IAAI,uBAAuB,CAC/B,mBAAmB,CAAC,aAAa,EACjC,sBAAsB,CACvB,CAAC;QACJ,CAAC;QAED,IAAI,CAAC,KAAK,CAAC,SAAS,EAAE,CAAC;YACrB,MAAM,IAAI,uBAAuB,CAC/B,mBAAmB,CAAC,aAAa,EACjC,wBAAwB,CACzB,CAAC;QACJ,CAAC;QAED,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC7C,MAAM,IAAI,uBAAuB,CAC/B,mBAAmB,CAAC,oBAAoB,EACxC,qBAAqB,CACtB,CAAC;QACJ,CAAC;IACH,CAAC;IAED;;OAEG;IACK,cAAc,CAAC,MAAc,EAAE,SAAiB;QACtD,MAAM,UAAU,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;QACzC,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;YACvC,MAAM,IAAI,uBAAuB,CAC/B,mBAAmB,CAAC,aAAa,EACjC,WAAW,SAAS,6BAA6B,MAAM,EAAE,CAC1D,CAAC;QACJ,CAAC;IACH,CAAC;IAED;;OAEG;IACK,qBAAqB,CAAC,IAAoB;QAChD,MAAM,MAAM,GAAa,EAAE,CAAC;QAE5B,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;YACjB,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAChC,CAAC;QAED,IAAI,IAAI,CAAC,OAAO,KAAK,OAAO,EAAE,CAAC;YAC7B,MAAM,CAAC,IAAI,CAAC,yBAAyB,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;QACvD,CAAC;QAED,IAAI,CAAC,IAAI,CAAC,eAAe,EAAE,CAAC;YAC1B,MAAM,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;QACzC,CAAC;QAED,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC;YACpB,MAAM,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;QACnC,CAAC;QAED,IAAI,CAAC,IAAI,CAAC,gBAAgB,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC,EAAE,CAAC;YAC7E,MAAM,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC;QACjD,CAAC;QAED,IAAI,CAAC,IAAI,CAAC,mBAAmB,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,mBAAmB,CAAC,EAAE,CAAC;YACnF,MAAM,CAAC,IAAI,CAAC,oCAAoC,CAAC,CAAC;QACpD,CAAC;QAED,IAAI,CAAC,IAAI,CAAC,gBAAgB,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC,EAAE,CAAC;YAC7E,MAAM,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC;QACjD,CAAC;QAED,IAAI,CAAC,IAAI,CAAC,cAAc,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC;YACzE,MAAM,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC;QAC/C,CAAC;QAED,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC;YACpB,MAAM,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAC;QAC7C,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;IAED;;OAEG;IACK,gBAAgB,CAAC,KAAe;QAItC,IAAI,gBAAyC,CAAC;QAC9C,IAAI,gBAAwB,CAAC;QAE7B,IAAI,gBAAgB,CAAC,KAAK,CAAC,EAAE,CAAC;YAC5B,MAAM,CAAC,GAAG,KAAuB,CAAC;YAClC,gBAAgB,GAAG,CAAC,CAAC,YAAkD,CAAC;YACxE,gBAAgB,GAAG,CAAC,CAAC,YAAY,CAAC,QAAQ,CAAC;QAC7C,CAAC;aAAM,IAAI,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;YAChC,MAAM,CAAC,GAAG,KAAoB,CAAC;YAC/B,gBAAgB,GAAG,CAAC,CAAC,YAAkD,CAAC;YACxE,kDAAkD;YAClD,gBAAgB,GAAG,CAAC,CAAC,YAAY,CAAC,UAAU,CAAC;QAC/C,CAAC;aAAM,IAAI,kBAAkB,CAAC,KAAK,CAAC,EAAE,CAAC;YACrC,MAAM,CAAC,GAAG,KAAyB,CAAC;YACpC,gBAAgB,GAAG,CAAC,CAAC,YAAkD,CAAC;YACxE,gBAAgB,GAAG,CAAC,CAAC,YAAY,CAAC,SAAS,CAAC;QAC9C,CAAC;aAAM,IAAI,iBAAiB,CAAC,KAAK,CAAC,EAAE,CAAC;YACpC,MAAM,CAAC,GAAG,KAAwB,CAAC;YACnC,gBAAgB,GAAG,CAAC,CAAC,YAAkD,CAAC;YACxE,gBAAgB,GAAG,CAAC,CAAC,YAAY,CAAC,UAAU,CAAC;QAC/C,CAAC;aAAM,IAAI,gBAAgB,CAAC,KAAK,CAAC,EAAE,CAAC;YACnC,MAAM,CAAC,GAAG,KAAuB,CAAC;YAClC,gBAAgB,GAAG,CAAC,CAAC,YAAkD,CAAC;YACxE,gBAAgB,GAAG,CAAC,CAAC,YAAY,CAAC,iBAAiB,CAAC;QACtD,CAAC;aAAM,CAAC;YACN,MAAM,IAAI,uBAAuB,CAC/B,mBAAmB,CAAC,aAAa,EACjC,uBAAwB,KAAe,CAAC,SAAS,EAAE,CACpD,CAAC;QACJ,CAAC;QAED,qBAAqB;QACrB,MAAM,gBAAgB,GAAG,IAAI,CAAC,oBAAoB,CAAC,gBAAgB,CAAC,CAAC;QAErE,OAAO,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,CAAC;IAChD,CAAC;IAED;;OAEG;IACK,0BAA0B,CAAC,KAAe;QAChD,MAAM,QAAQ,GAAG,KAA4D,CAAC;QAC9E,MAAM,MAAM,GAAG,QAAQ,CAAC,YAAY,EAAE,mBAAmB,CAAC;QAE1D,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,MAAM,IAAI,uBAAuB,CAC/B,mBAAmB,CAAC,sBAAsB,EAC1C,sDAAsD,CACvD,CAAC;QACJ,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;IAED;;OAEG;IACK,cAAc,CAAC,OAAe,EAAE,aAAqB;QAC3D,4BAA4B;QAC5B,MAAM,KAAK,GAAG,oBAAoB,CAAC,MAAM,GAAG,OAAO,GAAG,GAAG,GAAG,aAAa,CAAC,aAAa,CAAC,CAAC;QACzF,gEAAgE;QAChE,OAAO,QAAQ,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC;IACvD,CAAC;IAED;;OAEG;IACK,0BAA0B,CAChC,OAAe,EACf,aAAqB,EACrB,gBAAwB,EACxB,gBAAwB;QAExB,MAAM,KAAK,GAAG,YAAY,CAAC;YACzB,MAAM,EAAE,oBAAoB,CAAC,UAAU;YACvC,OAAO;YACP,aAAa,EAAE,aAAa,CAAC,aAAa,CAAC;YAC3C,gBAAgB;YAChB,gBAAgB;SACjB,CAAC,CAAC;QACH,OAAO,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;IAChC,CAAC;IAED;;OAEG;IACK,oBAAoB,CAAC,YAAqC;QAChE,MAAM,KAAK,GAAG,oBAAoB,CAAC,YAAY,GAAG,YAAY,CAAC,YAAY,CAAC,CAAC;QAC7E,OAAO,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;IAChC,CAAC;IAED;;;OAGG;IACK,UAAU,CAAC,KAAa;QAC9B,+CAA+C;QAC/C,uDAAuD;QACvD,IAAI,IAAI,GAAG,UAAU,CAAC,CAAC,mBAAmB;QAC1C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACtC,IAAI,IAAI,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;YAC5B,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,YAAY;QAClD,CAAC;QAED,yDAAyD;QACzD,IAAI,MAAM,GAAG,EAAE,CAAC;QAChB,IAAI,KAAK,GAAG,IAAI,CAAC;QACjB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACtC,KAAK,IAAI,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;gBACtD,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;YACvC,CAAC;YACD,MAAM,IAAI,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACxD,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;IAED;;OAEG;IACK,mBAAmB,GAAG,KAAK,EAAE,MAAc,EAAoB,EAAE;QACvE,yBAAyB;QACzB,MAAM,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC;QACxD,8CAA8C;QAC9C,OAAO,iBAAiB,CAAC,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC;IACvD,CAAC,CAAC;IAEF;;OAEG;IACK,oBAAoB,GAAG,KAAK,EAClC,OAAe,EACf,OAA2B,EACT,EAAE;QACpB,yBAAyB;QACzB,MAAM,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC;QACxD,8CAA8C;QAC9C,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC;IAC5B,CAAC,CAAC;IAEF;;OAEG;IACK,KAAK,CAAC,OAAe;QAC3B,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;YACvB,OAAO,CAAC,GAAG,CAAC,yBAAyB,OAAO,EAAE,CAAC,CAAC;QAClD,CAAC;IACH,CAAC;CACF;AAED,gFAAgF;AAChF,oBAAoB;AACpB,gFAAgF;AAEhF;;GAEG;AACH,SAAS,aAAa,CAAC,IAAY;IACjC,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC7D,OAAO,OAAO,CAAC,WAAW,EAAE,CAAC;AAC/B,CAAC;AAED,gFAAgF;AAChF,mBAAmB;AACnB,gFAAgF;AAEhF;;;;;GAKG;AACH,MAAM,UAAU,yBAAyB,CACvC,OAAoC;IAEpC,OAAO,IAAI,mBAAmB,CAAC,OAAO,CAAC,CAAC;AAC1C,CAAC"}

package/dist/linking/index.d.ts

@@ -0,0 +1,33 @@
+/**
+ * @fileoverview Linking module exports for cross-chain operations.
+ *
+ * Location: packages/midnight-prover/src/linking/index.ts
+ *
+ * Summary:
+ * This file exports all linking-related classes and utilities for:
+ * - Publishing proofs to the Midnight network
+ * - Creating cross-chain links between Midnight proofs and Cardano anchors
+ * - Verifying cross-chain relationships
+ *
+ * Usage:
+ * ```typescript
+ * import {
+ *   ProofPublisher,
+ *   CardanoAnchorLinker,
+ *   createProofPublisher,
+ *   createCardanoAnchorLinker,
+ * } from "@fluxpointstudios/orynq-sdk-midnight-prover";
+ *
+ * const publisher = createProofPublisher({ maxRetries: 3 });
+ * const linker = createCardanoAnchorLinker({ debug: true });
+ * ```
+ *
+ * Related files:
+ * - proof-publication.ts: Proof publishing to Midnight
+ * - cardano-anchor-link.ts: Cross-chain linking utilities
+ */
+export type { ProofStatus, ProofStatusInfo, ProofPublisherOptions, } from "./proof-publication.js";
+export { ProofPublisher, createProofPublisher, } from "./proof-publication.js";
+export type { CrossChainLink, LinkVerificationResult, CardanoAnchorLinkerOptions, } from "./cardano-anchor-link.js";
+export { CardanoAnchorLinker, createCardanoAnchorLinker, } from "./cardano-anchor-link.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/linking/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/linking/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAMH,YAAY,EACV,WAAW,EACX,eAAe,EACf,qBAAqB,GACtB,MAAM,wBAAwB,CAAC;AAEhC,OAAO,EACL,cAAc,EACd,oBAAoB,GACrB,MAAM,wBAAwB,CAAC;AAMhC,YAAY,EACV,cAAc,EACd,sBAAsB,EACtB,0BAA0B,GAC3B,MAAM,0BAA0B,CAAC;AAElC,OAAO,EACL,mBAAmB,EACnB,yBAAyB,GAC1B,MAAM,0BAA0B,CAAC"}

package/dist/linking/index.js

@@ -0,0 +1,31 @@
+/**
+ * @fileoverview Linking module exports for cross-chain operations.
+ *
+ * Location: packages/midnight-prover/src/linking/index.ts
+ *
+ * Summary:
+ * This file exports all linking-related classes and utilities for:
+ * - Publishing proofs to the Midnight network
+ * - Creating cross-chain links between Midnight proofs and Cardano anchors
+ * - Verifying cross-chain relationships
+ *
+ * Usage:
+ * ```typescript
+ * import {
+ *   ProofPublisher,
+ *   CardanoAnchorLinker,
+ *   createProofPublisher,
+ *   createCardanoAnchorLinker,
+ * } from "@fluxpointstudios/orynq-sdk-midnight-prover";
+ *
+ * const publisher = createProofPublisher({ maxRetries: 3 });
+ * const linker = createCardanoAnchorLinker({ debug: true });
+ * ```
+ *
+ * Related files:
+ * - proof-publication.ts: Proof publishing to Midnight
+ * - cardano-anchor-link.ts: Cross-chain linking utilities
+ */
+export { ProofPublisher, createProofPublisher, } from "./proof-publication.js";
+export { CardanoAnchorLinker, createCardanoAnchorLinker, } from "./cardano-anchor-link.js";
+//# sourceMappingURL=index.js.map

package/dist/linking/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/linking/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAYH,OAAO,EACL,cAAc,EACd,oBAAoB,GACrB,MAAM,wBAAwB,CAAC;AAYhC,OAAO,EACL,mBAAmB,EACnB,yBAAyB,GAC1B,MAAM,0BAA0B,CAAC"}