@fluxpointstudios/orynq-sdk-midnight-prover 0.1.0

package/dist/proofs/hash-chain-proof.js

@@ -0,0 +1,437 @@
+/**
+ * @fileoverview Hash-chain validity proof generator.
+ *
+ * Location: packages/midnight-prover/src/proofs/hash-chain-proof.ts
+ *
+ * Summary:
+ * This module implements the HashChainProver class which generates and verifies
+ * ZK proofs that a sequence of trace events produces an expected rolling hash.
+ * The proof is bound to a Cardano anchor transaction for cross-chain verification.
+ *
+ * Usage:
+ * The HashChainProver is the primary prover for PoI trace verification:
+ * ```typescript
+ * const prover = new HashChainProver();
+ * const proof = await prover.generateProof({
+ *   events: traceBundle.privateRun.events,
+ *   genesisHash: await getGenesisHash(),
+ *   expectedRootHash: traceBundle.rootHash,
+ *   cardanoAnchorTxHash: anchorTxHash,
+ * });
+ * const isValid = await prover.verifyProof(proof);
+ * ```
+ *
+ * Related files:
+ * - witness-builder.ts: Builds witnesses for this prover
+ * - public-inputs.ts: Builds public inputs for this prover
+ * - prover-interface.ts: Abstract interface this implements
+ * - types.ts: Type definitions for inputs and outputs
+ */
+import { randomUUID } from "node:crypto";
+import { MidnightProverError, MidnightProverException, } from "../types.js";
+import { buildHashChainWitness, serializeWitness, computeWitnessSize, validateWitness, } from "../midnight/witness-builder.js";
+import { buildPublicInputs, serializePublicInputs, } from "../midnight/public-inputs.js";
+import { sha256StringHex } from "@fluxpointstudios/orynq-sdk-core/utils";
+// =============================================================================
+// CONSTANTS
+// =============================================================================
+/**
+ * Maximum number of events allowed in a single hash-chain proof.
+ * This limit is imposed by circuit constraints.
+ */
+const MAX_EVENTS_PER_PROOF = 10_000;
+/**
+ * Maximum witness size in bytes (50 MB).
+ */
+const MAX_WITNESS_SIZE_BYTES = 50 * 1024 * 1024;
+/**
+ * Hash domain prefix for rolling hash (matching process-trace).
+ */
+const HASH_DOMAIN_ROLL = "poi-trace:roll:v1|";
+/**
+ * Genesis seed for initial rolling hash state.
+ */
+const GENESIS_SEED = "genesis";
+/**
+ * HashChainProver generates and verifies ZK proofs for trace hash chains.
+ *
+ * This prover demonstrates that:
+ * 1. A sequence of events exists (private witness)
+ * 2. Processing them produces a specific rolling hash (public input)
+ * 3. This hash matches what was anchored on Cardano (cross-chain binding)
+ *
+ * Current implementation is a mock that simulates proof generation.
+ * Real Midnight integration will be added when the Compact runtime is available.
+ *
+ * @example
+ * ```typescript
+ * const prover = new HashChainProver({ debug: true });
+ *
+ * const proof = await prover.generateProof({
+ *   events: bundle.privateRun.events,
+ *   genesisHash: "abc123...",
+ *   expectedRootHash: bundle.rootHash,
+ *   cardanoAnchorTxHash: "def456...",
+ * });
+ *
+ * console.log("Proof generated:", proof.proofId);
+ * console.log("Proving time:", proof.provingTimeMs, "ms");
+ *
+ * const isValid = await prover.verifyProof(proof);
+ * console.log("Proof valid:", isValid);
+ * ```
+ */
+export class HashChainProver {
+    options;
+    /**
+     * Create a new HashChainProver.
+     *
+     * @param options - Configuration options
+     */
+    constructor(options = {}) {
+        this.options = {
+            debug: options.debug ?? false,
+            maxEvents: options.maxEvents ?? MAX_EVENTS_PER_PROOF,
+            simulatedProvingTimeMs: options.simulatedProvingTimeMs ?? 100,
+        };
+    }
+    /**
+     * Generate a hash-chain validity proof.
+     *
+     * This method:
+     * 1. Validates the input
+     * 2. Builds a witness from the events
+     * 3. Verifies the computed hash matches expected
+     * 4. Generates a mock ZK proof
+     * 5. Returns the proof with metrics
+     *
+     * @param input - Hash chain input with events and expected hash
+     * @returns Promise resolving to the generated proof
+     * @throws MidnightProverException on validation or generation failure
+     */
+    async generateProof(input) {
+        const startTime = Date.now();
+        this.debug("Starting hash-chain proof generation");
+        this.debug(`Events: ${input.events.length}`);
+        // Validate input
+        this.validateInput(input);
+        // Build witness
+        const witness = await this.buildWitness(input);
+        // Verify hash matches expected
+        await this.verifyHashMatch(witness, input);
+        // Build public inputs
+        const publicInputs = this.buildPublicInputs(witness, input);
+        // Generate mock proof
+        const proofBytes = await this.generateMockProof(witness, publicInputs);
+        // Calculate metrics
+        const provingTimeMs = Date.now() - startTime + this.options.simulatedProvingTimeMs;
+        // Simulate proving delay
+        if (this.options.simulatedProvingTimeMs > 0) {
+            await this.delay(this.options.simulatedProvingTimeMs);
+        }
+        const proof = {
+            proofType: "hash-chain",
+            proofId: randomUUID(),
+            proof: proofBytes,
+            createdAt: new Date().toISOString(),
+            provingTimeMs,
+            proofSizeBytes: proofBytes.length,
+            publicInputs,
+        };
+        this.debug(`Proof generated: ${proof.proofId}`);
+        this.debug(`Proving time: ${proof.provingTimeMs}ms`);
+        this.debug(`Proof size: ${proof.proofSizeBytes} bytes`);
+        return proof;
+    }
+    /**
+     * Verify a hash-chain proof.
+     *
+     * This method checks:
+     * 1. Proof format is valid
+     * 2. Public inputs are consistent
+     * 3. Mock proof data is correctly structured
+     *
+     * Note: In production, this would verify the actual ZK proof.
+     * Current mock implementation verifies structural integrity.
+     *
+     * @param proof - The proof to verify
+     * @returns Promise resolving to true if valid, false otherwise
+     */
+    async verifyProof(proof) {
+        this.debug(`Verifying proof: ${proof.proofId}`);
+        try {
+            // Validate proof structure
+            if (proof.proofType !== "hash-chain") {
+                this.debug("Invalid proof type");
+                return false;
+            }
+            if (!proof.proof || proof.proof.length === 0) {
+                this.debug("Empty proof data");
+                return false;
+            }
+            // Validate public inputs
+            const { publicInputs } = proof;
+            if (!isValidHexHash(publicInputs.rootHash)) {
+                this.debug("Invalid rootHash format");
+                return false;
+            }
+            if (!isValidHexHash(publicInputs.cardanoAnchorTxHash)) {
+                this.debug("Invalid cardanoAnchorTxHash format");
+                return false;
+            }
+            if (!Number.isInteger(publicInputs.eventCount) || publicInputs.eventCount < 0) {
+                this.debug("Invalid eventCount");
+                return false;
+            }
+            // Verify mock proof structure
+            const isValidMockProof = await this.verifyMockProofStructure(proof);
+            if (!isValidMockProof) {
+                this.debug("Mock proof structure invalid");
+                return false;
+            }
+            this.debug("Proof verified successfully");
+            return true;
+        }
+        catch (error) {
+            this.debug(`Verification error: ${error}`);
+            return false;
+        }
+    }
+    /**
+     * Compute the genesis hash for the rolling hash chain.
+     * This matches the algorithm in process-trace/rolling-hash.ts
+     *
+     * @returns Promise resolving to the genesis hash
+     */
+    async getGenesisHash() {
+        const genesisInput = HASH_DOMAIN_ROLL + GENESIS_SEED;
+        return sha256StringHex(genesisInput);
+    }
+    // ===========================================================================
+    // PRIVATE METHODS
+    // ===========================================================================
+    /**
+     * Validate the input for proof generation.
+     */
+    validateInput(input) {
+        // Check events array
+        if (!Array.isArray(input.events)) {
+            throw new MidnightProverException(MidnightProverError.INVALID_INPUT, "events must be an array");
+        }
+        if (input.events.length === 0) {
+            throw new MidnightProverException(MidnightProverError.INVALID_INPUT, "events array is empty");
+        }
+        if (input.events.length > this.options.maxEvents) {
+            throw new MidnightProverException(MidnightProverError.WITNESS_TOO_LARGE, `Too many events: ${input.events.length} exceeds maximum ${this.options.maxEvents}`);
+        }
+        // Check hash formats
+        if (!isValidHexHash(input.genesisHash)) {
+            throw new MidnightProverException(MidnightProverError.INVALID_INPUT, `Invalid genesisHash format: ${input.genesisHash}`);
+        }
+        if (!isValidHexHash(input.expectedRootHash)) {
+            throw new MidnightProverException(MidnightProverError.INVALID_INPUT, `Invalid expectedRootHash format: ${input.expectedRootHash}`);
+        }
+        if (!isValidHexHash(input.cardanoAnchorTxHash)) {
+            throw new MidnightProverException(MidnightProverError.INVALID_INPUT, `Invalid cardanoAnchorTxHash format: ${input.cardanoAnchorTxHash}`);
+        }
+        // Validate events have required fields
+        for (let i = 0; i < input.events.length; i++) {
+            const event = input.events[i];
+            if (event === undefined) {
+                throw new MidnightProverException(MidnightProverError.INVALID_INPUT, `Event at index ${i} is undefined`);
+            }
+            if (typeof event.seq !== "number") {
+                throw new MidnightProverException(MidnightProverError.INVALID_INPUT, `Event at index ${i} missing seq number`);
+            }
+            if (typeof event.kind !== "string") {
+                throw new MidnightProverException(MidnightProverError.INVALID_INPUT, `Event at index ${i} missing kind`);
+            }
+        }
+    }
+    /**
+     * Build the witness from input.
+     */
+    async buildWitness(input) {
+        this.debug("Building witness...");
+        const witness = await buildHashChainWitness(input.events, normalizeHash(input.genesisHash));
+        // Validate witness
+        const validationErrors = validateWitness(witness);
+        if (validationErrors.length > 0) {
+            throw new MidnightProverException(MidnightProverError.INVALID_WITNESS, `Witness validation failed: ${validationErrors.join(", ")}`);
+        }
+        // Check witness size
+        const witnessSize = computeWitnessSize(witness);
+        if (witnessSize > MAX_WITNESS_SIZE_BYTES) {
+            throw new MidnightProverException(MidnightProverError.WITNESS_TOO_LARGE, `Witness size ${witnessSize} bytes exceeds maximum ${MAX_WITNESS_SIZE_BYTES}`);
+        }
+        this.debug(`Witness built: ${witness.eventCount} events, ${witnessSize} bytes`);
+        return witness;
+    }
+    /**
+     * Verify that the computed rolling hash matches the expected root hash.
+     */
+    async verifyHashMatch(witness, input) {
+        const computedHash = normalizeHash(witness.computedRollingHash);
+        const expectedHash = normalizeHash(input.expectedRootHash);
+        if (computedHash !== expectedHash) {
+            throw new MidnightProverException(MidnightProverError.HASH_MISMATCH, `Rolling hash mismatch: computed ${computedHash}, expected ${expectedHash}`);
+        }
+        this.debug("Hash match verified");
+    }
+    /**
+     * Build public inputs for the proof.
+     */
+    buildPublicInputs(witness, input) {
+        return buildPublicInputs("hash-chain", {
+            rootHash: witness.computedRollingHash,
+            eventCount: witness.eventCount,
+            cardanoAnchorTxHash: input.cardanoAnchorTxHash,
+        });
+    }
+    /**
+     * Generate a mock ZK proof.
+     *
+     * This creates a simulated proof structure that includes:
+     * - A magic header identifying it as a mock proof
+     * - Hash of the witness (for integrity)
+     * - Serialized public inputs
+     * - Random "proof" bytes (placeholder for real proof data)
+     *
+     * In production, this would call the Midnight proof server.
+     */
+    async generateMockProof(witness, publicInputs) {
+        // Magic header for mock proofs: "MOCK-POI-HC-PROOF-V1"
+        const magicHeader = new TextEncoder().encode("MOCK-POI-HC-PROOF-V1");
+        // Compute witness hash for integrity
+        const serializedWitness = serializeWitness(witness);
+        // Copy to a fresh ArrayBuffer to ensure compatibility with crypto.subtle.digest
+        const witnessBuffer = new ArrayBuffer(serializedWitness.byteLength);
+        new Uint8Array(witnessBuffer).set(serializedWitness);
+        const witnessHashBuffer = await crypto.subtle.digest("SHA-256", witnessBuffer);
+        const witnessHash = new Uint8Array(witnessHashBuffer);
+        // Serialize public inputs
+        const serializedPublicInputs = serializePublicInputs("hash-chain", publicInputs);
+        // Generate random "proof" data (256 bytes)
+        const randomProofData = new Uint8Array(256);
+        crypto.getRandomValues(randomProofData);
+        // Combine all parts
+        const proof = new Uint8Array(magicHeader.length + // 20 bytes
+            4 + // witness hash length (4 bytes, always 32)
+            witnessHash.length + // 32 bytes
+            4 + // public inputs length
+            serializedPublicInputs.length +
+            4 + // proof data length
+            randomProofData.length);
+        let offset = 0;
+        // Write magic header
+        proof.set(magicHeader, offset);
+        offset += magicHeader.length;
+        // Write witness hash
+        const view = new DataView(proof.buffer);
+        view.setUint32(offset, witnessHash.length, false);
+        offset += 4;
+        proof.set(witnessHash, offset);
+        offset += witnessHash.length;
+        // Write public inputs
+        view.setUint32(offset, serializedPublicInputs.length, false);
+        offset += 4;
+        proof.set(serializedPublicInputs, offset);
+        offset += serializedPublicInputs.length;
+        // Write random proof data
+        view.setUint32(offset, randomProofData.length, false);
+        offset += 4;
+        proof.set(randomProofData, offset);
+        return proof;
+    }
+    /**
+     * Verify the structure of a mock proof.
+     */
+    async verifyMockProofStructure(proof) {
+        const data = proof.proof;
+        // Check minimum length
+        if (data.length < 20 + 4 + 32 + 4 + 1 + 4 + 1) {
+            return false;
+        }
+        // Check magic header
+        const magicHeader = new TextDecoder().decode(data.slice(0, 20));
+        if (magicHeader !== "MOCK-POI-HC-PROOF-V1") {
+            return false;
+        }
+        // Verify structure can be parsed
+        try {
+            let offset = 20;
+            const view = new DataView(data.buffer, data.byteOffset, data.byteLength);
+            // Witness hash
+            const witnessHashLen = view.getUint32(offset, false);
+            offset += 4;
+            if (witnessHashLen !== 32 || offset + witnessHashLen > data.length) {
+                return false;
+            }
+            offset += witnessHashLen;
+            // Public inputs
+            const publicInputsLen = view.getUint32(offset, false);
+            offset += 4;
+            if (offset + publicInputsLen > data.length) {
+                return false;
+            }
+            offset += publicInputsLen;
+            // Proof data
+            const proofDataLen = view.getUint32(offset, false);
+            offset += 4;
+            if (offset + proofDataLen > data.length) {
+                return false;
+            }
+            return true;
+        }
+        catch {
+            return false;
+        }
+    }
+    /**
+     * Debug logging helper.
+     */
+    debug(message) {
+        if (this.options.debug) {
+            console.log(`[HashChainProver] ${message}`);
+        }
+    }
+    /**
+     * Delay helper for simulated proving time.
+     */
+    delay(ms) {
+        return new Promise((resolve) => setTimeout(resolve, ms));
+    }
+}
+// =============================================================================
+// UTILITY FUNCTIONS
+// =============================================================================
+/**
+ * Validate a hex hash string (64 characters, with or without 0x prefix).
+ */
+function isValidHexHash(value) {
+    if (typeof value !== "string") {
+        return false;
+    }
+    const cleanHex = value.startsWith("0x") ? value.slice(2) : value;
+    return /^[0-9a-fA-F]{64}$/.test(cleanHex);
+}
+/**
+ * Normalize a hash to lowercase without 0x prefix.
+ */
+function normalizeHash(hash) {
+    const cleanHex = hash.startsWith("0x") ? hash.slice(2) : hash;
+    return cleanHex.toLowerCase();
+}
+// =============================================================================
+// FACTORY FUNCTION
+// =============================================================================
+/**
+ * Create a new HashChainProver instance.
+ *
+ * @param options - Configuration options
+ * @returns A new HashChainProver instance
+ */
+export function createHashChainProver(options) {
+    return new HashChainProver(options);
+}
+//# sourceMappingURL=hash-chain-proof.js.map

package/dist/proofs/hash-chain-proof.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"hash-chain-proof.js","sourceRoot":"","sources":["../../src/proofs/hash-chain-proof.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAQzC,OAAO,EACL,mBAAmB,EACnB,uBAAuB,GACxB,MAAM,aAAa,CAAC;AAErB,OAAO,EACL,qBAAqB,EACrB,gBAAgB,EAChB,kBAAkB,EAClB,eAAe,GAEhB,MAAM,gCAAgC,CAAC;AAExC,OAAO,EACL,iBAAiB,EACjB,qBAAqB,GACtB,MAAM,8BAA8B,CAAC;AAEtC,OAAO,EAAE,eAAe,EAAE,MAAM,wCAAwC,CAAC;AAEzE,gFAAgF;AAChF,YAAY;AACZ,gFAAgF;AAEhF;;;GAGG;AACH,MAAM,oBAAoB,GAAG,MAAM,CAAC;AAEpC;;GAEG;AACH,MAAM,sBAAsB,GAAG,EAAE,GAAG,IAAI,GAAG,IAAI,CAAC;AAEhD;;GAEG;AACH,MAAM,gBAAgB,GAAG,oBAAoB,CAAC;AAE9C;;GAEG;AACH,MAAM,YAAY,GAAG,SAAS,CAAC;AA2B/B;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,MAAM,OAAO,eAAe;IACT,OAAO,CAAmC;IAE3D;;;;OAIG;IACH,YAAY,UAAkC,EAAE;QAC9C,IAAI,CAAC,OAAO,GAAG;YACb,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,KAAK;YAC7B,SAAS,EAAE,OAAO,CAAC,SAAS,IAAI,oBAAoB;YACpD,sBAAsB,EAAE,OAAO,CAAC,sBAAsB,IAAI,GAAG;SAC9D,CAAC;IACJ,CAAC;IAED;;;;;;;;;;;;;OAaG;IACH,KAAK,CAAC,aAAa,CAAC,KAAqB;QACvC,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAE7B,IAAI,CAAC,KAAK,CAAC,sCAAsC,CAAC,CAAC;QACnD,IAAI,CAAC,KAAK,CAAC,WAAW,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;QAE7C,iBAAiB;QACjB,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;QAE1B,gBAAgB;QAChB,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;QAE/C,+BAA+B;QAC/B,MAAM,IAAI,CAAC,eAAe,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QAE3C,sBAAsB;QACtB,MAAM,YAAY,GAAG,IAAI,CAAC,iBAAiB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QAE5D,sBAAsB;QACtB,MAAM,UAAU,GAAG,MAAM,IAAI,CAAC,iBAAiB,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;QAEvE,oBAAoB;QACpB,MAAM,aAAa,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,sBAAsB,CAAC;QAEnF,yBAAyB;QACzB,IAAI,IAAI,CAAC,OAAO,CAAC,sBAAsB,GAAG,CAAC,EAAE,CAAC;YAC5C,MAAM,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,sBAAsB,CAAC,CAAC;QACxD,CAAC;QAED,MAAM,KAAK,GAAmB;YAC5B,SAAS,EAAE,YAAY;YACvB,OAAO,EAAE,UAAU,EAAE;YACrB,KAAK,EAAE,UAAU;YACjB,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;YACnC,aAAa;YACb,cAAc,EAAE,UAAU,CAAC,MAAM;YACjC,YAAY;SACb,CAAC;QAEF,IAAI,CAAC,KAAK,CAAC,oBAAoB,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;QAChD,IAAI,CAAC,KAAK,CAAC,iBAAiB,KAAK,CAAC,aAAa,IAAI,CAAC,CAAC;QACrD,IAAI,CAAC,KAAK,CAAC,eAAe,KAAK,CAAC,cAAc,QAAQ,CAAC,CAAC;QAExD,OAAO,KAAK,CAAC;IACf,CAAC;IAED;;;;;;;;;;;;;OAaG;IACH,KAAK,CAAC,WAAW,CAAC,KAAqB;QACrC,IAAI,CAAC,KAAK,CAAC,oBAAoB,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;QAEhD,IAAI,CAAC;YACH,2BAA2B;YAC3B,IAAI,KAAK,CAAC,SAAS,KAAK,YAAY,EAAE,CAAC;gBACrC,IAAI,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC;gBACjC,OAAO,KAAK,CAAC;YACf,CAAC;YAED,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC7C,IAAI,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC;gBAC/B,OAAO,KAAK,CAAC;YACf,CAAC;YAED,yBAAyB;YACzB,MAAM,EAAE,YAAY,EAAE,GAAG,KAAK,CAAC;YAE/B,IAAI,CAAC,cAAc,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC3C,IAAI,CAAC,KAAK,CAAC,yBAAyB,CAAC,CAAC;gBACtC,OAAO,KAAK,CAAC;YACf,CAAC;YAED,IAAI,CAAC,cAAc,CAAC,YAAY,CAAC,mBAAmB,CAAC,EAAE,CAAC;gBACtD,IAAI,CAAC,KAAK,CAAC,oCAAoC,CAAC,CAAC;gBACjD,OAAO,KAAK,CAAC;YACf,CAAC;YAED,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,YAAY,CAAC,UAAU,CAAC,IAAI,YAAY,CAAC,UAAU,GAAG,CAAC,EAAE,CAAC;gBAC9E,IAAI,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC;gBACjC,OAAO,KAAK,CAAC;YACf,CAAC;YAED,8BAA8B;YAC9B,MAAM,gBAAgB,GAAG,MAAM,IAAI,CAAC,wBAAwB,CAAC,KAAK,CAAC,CAAC;YACpE,IAAI,CAAC,gBAAgB,EAAE,CAAC;gBACtB,IAAI,CAAC,KAAK,CAAC,8BAA8B,CAAC,CAAC;gBAC3C,OAAO,KAAK,CAAC;YACf,CAAC;YAED,IAAI,CAAC,KAAK,CAAC,6BAA6B,CAAC,CAAC;YAC1C,OAAO,IAAI,CAAC;QACd,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,CAAC,KAAK,CAAC,uBAAuB,KAAK,EAAE,CAAC,CAAC;YAC3C,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IAED;;;;;OAKG;IACH,KAAK,CAAC,cAAc;QAClB,MAAM,YAAY,GAAG,gBAAgB,GAAG,YAAY,CAAC;QACrD,OAAO,eAAe,CAAC,YAAY,CAAC,CAAC;IACvC,CAAC;IAED,8EAA8E;IAC9E,kBAAkB;IAClB,8EAA8E;IAE9E;;OAEG;IACK,aAAa,CAAC,KAAqB;QACzC,qBAAqB;QACrB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;YACjC,MAAM,IAAI,uBAAuB,CAC/B,mBAAmB,CAAC,aAAa,EACjC,yBAAyB,CAC1B,CAAC;QACJ,CAAC;QAED,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC9B,MAAM,IAAI,uBAAuB,CAC/B,mBAAmB,CAAC,aAAa,EACjC,uBAAuB,CACxB,CAAC;QACJ,CAAC;QAED,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC;YACjD,MAAM,IAAI,uBAAuB,CAC/B,mBAAmB,CAAC,iBAAiB,EACrC,oBAAoB,KAAK,CAAC,MAAM,CAAC,MAAM,oBAAoB,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,CACpF,CAAC;QACJ,CAAC;QAED,qBAAqB;QACrB,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,WAAW,CAAC,EAAE,CAAC;YACvC,MAAM,IAAI,uBAAuB,CAC/B,mBAAmB,CAAC,aAAa,EACjC,+BAA+B,KAAK,CAAC,WAAW,EAAE,CACnD,CAAC;QACJ,CAAC;QAED,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,gBAAgB,CAAC,EAAE,CAAC;YAC5C,MAAM,IAAI,uBAAuB,CAC/B,mBAAmB,CAAC,aAAa,EACjC,oCAAoC,KAAK,CAAC,gBAAgB,EAAE,CAC7D,CAAC;QACJ,CAAC;QAED,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,mBAAmB,CAAC,EAAE,CAAC;YAC/C,MAAM,IAAI,uBAAuB,CAC/B,mBAAmB,CAAC,aAAa,EACjC,uCAAuC,KAAK,CAAC,mBAAmB,EAAE,CACnE,CAAC;QACJ,CAAC;QAED,uCAAuC;QACvC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC7C,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC9B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACxB,MAAM,IAAI,uBAAuB,CAC/B,mBAAmB,CAAC,aAAa,EACjC,kBAAkB,CAAC,eAAe,CACnC,CAAC;YACJ,CAAC;YAED,IAAI,OAAO,KAAK,CAAC,GAAG,KAAK,QAAQ,EAAE,CAAC;gBAClC,MAAM,IAAI,uBAAuB,CAC/B,mBAAmB,CAAC,aAAa,EACjC,kBAAkB,CAAC,qBAAqB,CACzC,CAAC;YACJ,CAAC;YAED,IAAI,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACnC,MAAM,IAAI,uBAAuB,CAC/B,mBAAmB,CAAC,aAAa,EACjC,kBAAkB,CAAC,eAAe,CACnC,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED;;OAEG;IACK,KAAK,CAAC,YAAY,CAAC,KAAqB;QAC9C,IAAI,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC;QAElC,MAAM,OAAO,GAAG,MAAM,qBAAqB,CACzC,KAAK,CAAC,MAAM,EACZ,aAAa,CAAC,KAAK,CAAC,WAAW,CAAC,CACjC,CAAC;QAEF,mBAAmB;QACnB,MAAM,gBAAgB,GAAG,eAAe,CAAC,OAAO,CAAC,CAAC;QAClD,IAAI,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAChC,MAAM,IAAI,uBAAuB,CAC/B,mBAAmB,CAAC,eAAe,EACnC,8BAA8B,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAC5D,CAAC;QACJ,CAAC;QAED,qBAAqB;QACrB,MAAM,WAAW,GAAG,kBAAkB,CAAC,OAAO,CAAC,CAAC;QAChD,IAAI,WAAW,GAAG,sBAAsB,EAAE,CAAC;YACzC,MAAM,IAAI,uBAAuB,CAC/B,mBAAmB,CAAC,iBAAiB,EACrC,gBAAgB,WAAW,0BAA0B,sBAAsB,EAAE,CAC9E,CAAC;QACJ,CAAC;QAED,IAAI,CAAC,KAAK,CAAC,kBAAkB,OAAO,CAAC,UAAU,YAAY,WAAW,QAAQ,CAAC,CAAC;QAEhF,OAAO,OAAO,CAAC;IACjB,CAAC;IAED;;OAEG;IACK,KAAK,CAAC,eAAe,CAC3B,OAAyB,EACzB,KAAqB;QAErB,MAAM,YAAY,GAAG,aAAa,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC;QAChE,MAAM,YAAY,GAAG,aAAa,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;QAE3D,IAAI,YAAY,KAAK,YAAY,EAAE,CAAC;YAClC,MAAM,IAAI,uBAAuB,CAC/B,mBAAmB,CAAC,aAAa,EACjC,mCAAmC,YAAY,cAAc,YAAY,EAAE,CAC5E,CAAC;QACJ,CAAC;QAED,IAAI,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC;IACpC,CAAC;IAED;;OAEG;IACK,iBAAiB,CACvB,OAAyB,EACzB,KAAqB;QAErB,OAAO,iBAAiB,CAAC,YAAY,EAAE;YACrC,QAAQ,EAAE,OAAO,CAAC,mBAAmB;YACrC,UAAU,EAAE,OAAO,CAAC,UAAU;YAC9B,mBAAmB,EAAE,KAAK,CAAC,mBAAmB;SAC/C,CAAC,CAAC;IACL,CAAC;IAED;;;;;;;;;;OAUG;IACK,KAAK,CAAC,iBAAiB,CAC7B,OAAyB,EACzB,YAAmC;QAEnC,uDAAuD;QACvD,MAAM,WAAW,GAAG,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC;QAErE,qCAAqC;QACrC,MAAM,iBAAiB,GAAG,gBAAgB,CAAC,OAAO,CAAC,CAAC;QACpD,gFAAgF;QAChF,MAAM,aAAa,GAAG,IAAI,WAAW,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC;QACpE,IAAI,UAAU,CAAC,aAAa,CAAC,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC;QACrD,MAAM,iBAAiB,GAAG,MAAM,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;QAC/E,MAAM,WAAW,GAAG,IAAI,UAAU,CAAC,iBAAiB,CAAC,CAAC;QAEtD,0BAA0B;QAC1B,MAAM,sBAAsB,GAAG,qBAAqB,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;QAEjF,2CAA2C;QAC3C,MAAM,eAAe,GAAG,IAAI,UAAU,CAAC,GAAG,CAAC,CAAC;QAC5C,MAAM,CAAC,eAAe,CAAC,eAAe,CAAC,CAAC;QAExC,oBAAoB;QACpB,MAAM,KAAK,GAAG,IAAI,UAAU,CAC1B,WAAW,CAAC,MAAM,GAAG,WAAW;YAChC,CAAC,GAAoB,2CAA2C;YAChE,WAAW,CAAC,MAAM,GAAG,WAAW;YAChC,CAAC,GAAoB,uBAAuB;YAC5C,sBAAsB,CAAC,MAAM;YAC7B,CAAC,GAAoB,oBAAoB;YACzC,eAAe,CAAC,MAAM,CACvB,CAAC;QAEF,IAAI,MAAM,GAAG,CAAC,CAAC;QAEf,qBAAqB;QACrB,KAAK,CAAC,GAAG,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;QAC/B,MAAM,IAAI,WAAW,CAAC,MAAM,CAAC;QAE7B,qBAAqB;QACrB,MAAM,IAAI,GAAG,IAAI,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QACxC,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QAClD,MAAM,IAAI,CAAC,CAAC;QACZ,KAAK,CAAC,GAAG,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;QAC/B,MAAM,IAAI,WAAW,CAAC,MAAM,CAAC;QAE7B,sBAAsB;QACtB,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,sBAAsB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QAC7D,MAAM,IAAI,CAAC,CAAC;QACZ,KAAK,CAAC,GAAG,CAAC,sBAAsB,EAAE,MAAM,CAAC,CAAC;QAC1C,MAAM,IAAI,sBAAsB,CAAC,MAAM,CAAC;QAExC,0BAA0B;QAC1B,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,eAAe,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACtD,MAAM,IAAI,CAAC,CAAC;QACZ,KAAK,CAAC,GAAG,CAAC,eAAe,EAAE,MAAM,CAAC,CAAC;QAEnC,OAAO,KAAK,CAAC;IACf,CAAC;IAED;;OAEG;IACK,KAAK,CAAC,wBAAwB,CAAC,KAAqB;QAC1D,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC;QAEzB,uBAAuB;QACvB,IAAI,IAAI,CAAC,MAAM,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAC9C,OAAO,KAAK,CAAC;QACf,CAAC;QAED,qBAAqB;QACrB,MAAM,WAAW,GAAG,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QAChE,IAAI,WAAW,KAAK,sBAAsB,EAAE,CAAC;YAC3C,OAAO,KAAK,CAAC;QACf,CAAC;QAED,iCAAiC;QACjC,IAAI,CAAC;YACH,IAAI,MAAM,GAAG,EAAE,CAAC;YAChB,MAAM,IAAI,GAAG,IAAI,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;YAEzE,eAAe;YACf,MAAM,cAAc,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;YACrD,MAAM,IAAI,CAAC,CAAC;YACZ,IAAI,cAAc,KAAK,EAAE,IAAI,MAAM,GAAG,cAAc,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;gBACnE,OAAO,KAAK,CAAC;YACf,CAAC;YACD,MAAM,IAAI,cAAc,CAAC;YAEzB,gBAAgB;YAChB,MAAM,eAAe,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;YACtD,MAAM,IAAI,CAAC,CAAC;YACZ,IAAI,MAAM,GAAG,eAAe,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;gBAC3C,OAAO,KAAK,CAAC;YACf,CAAC;YACD,MAAM,IAAI,eAAe,CAAC;YAE1B,aAAa;YACb,MAAM,YAAY,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;YACnD,MAAM,IAAI,CAAC,CAAC;YACZ,IAAI,MAAM,GAAG,YAAY,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;gBACxC,OAAO,KAAK,CAAC;YACf,CAAC;YAED,OAAO,IAAI,CAAC;QACd,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IAED;;OAEG;IACK,KAAK,CAAC,OAAe;QAC3B,IAAI,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;YACvB,OAAO,CAAC,GAAG,CAAC,qBAAqB,OAAO,EAAE,CAAC,CAAC;QAC9C,CAAC;IACH,CAAC;IAED;;OAEG;IACK,KAAK,CAAC,EAAU;QACtB,OAAO,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC;IAC3D,CAAC;CACF;AAED,gFAAgF;AAChF,oBAAoB;AACpB,gFAAgF;AAEhF;;GAEG;AACH,SAAS,cAAc,CAAC,KAAa;IACnC,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,QAAQ,GAAG,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;IACjE,OAAO,mBAAmB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;AAC5C,CAAC;AAED;;GAEG;AACH,SAAS,aAAa,CAAC,IAAY;IACjC,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC9D,OAAO,QAAQ,CAAC,WAAW,EAAE,CAAC;AAChC,CAAC;AAED,gFAAgF;AAChF,mBAAmB;AACnB,gFAAgF;AAEhF;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB,CACnC,OAAgC;IAEhC,OAAO,IAAI,eAAe,CAAC,OAAO,CAAC,CAAC;AACtC,CAAC"}

package/dist/proofs/index.d.ts

@@ -0,0 +1,35 @@
+/**
+ * @fileoverview Proof generators exports.
+ *
+ * Location: packages/midnight-prover/src/proofs/index.ts
+ *
+ * Summary:
+ * This file exports all proof generator classes and factory functions.
+ * Each prover handles a specific type of ZK proof for the PoI system.
+ *
+ * Usage:
+ * ```typescript
+ * import {
+ *   HashChainProver,
+ *   PolicyComplianceProver,
+ *   SelectiveDisclosureProver,
+ *   createHashChainProver,
+ * } from "@fluxpointstudios/orynq-sdk-midnight-prover";
+ *
+ * const prover = createHashChainProver({ debug: true });
+ * const proof = await prover.generateProof(input);
+ * ```
+ *
+ * Related files:
+ * - hash-chain-proof.ts: Hash chain validity proofs
+ * - policy-compliance-proof.ts: Policy compliance proofs
+ * - selective-disclosure.ts: Selective disclosure proofs with Merkle utilities
+ * - (future) attestation-proof.ts: TEE attestation proofs
+ */
+export type { HashChainProverOptions } from "./hash-chain-proof.js";
+export { HashChainProver, createHashChainProver, } from "./hash-chain-proof.js";
+export type { PolicyComplianceProverOptions, RuleEvaluationResult, PolicyEvaluationResult, RuleEvaluator, } from "./policy-compliance-proof.js";
+export { PolicyComplianceProver, createPolicyComplianceProver, } from "./policy-compliance-proof.js";
+export type { SelectiveDisclosureProverOptions, MerkleInclusionResult, } from "./selective-disclosure.js";
+export { SelectiveDisclosureProver, createSelectiveDisclosureProver, computeSpanHash, computeLeafHash, computeNodeHash, computeMerkleRoot, generateMerkleInclusionProof, verifyMerkleProof, verifySpanInclusion, } from "./selective-disclosure.js";
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/proofs/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAMH,YAAY,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AAEpE,OAAO,EACL,eAAe,EACf,qBAAqB,GACtB,MAAM,uBAAuB,CAAC;AAM/B,YAAY,EACV,6BAA6B,EAC7B,oBAAoB,EACpB,sBAAsB,EACtB,aAAa,GACd,MAAM,8BAA8B,CAAC;AAEtC,OAAO,EACL,sBAAsB,EACtB,4BAA4B,GAC7B,MAAM,8BAA8B,CAAC;AAMtC,YAAY,EACV,gCAAgC,EAChC,qBAAqB,GACtB,MAAM,2BAA2B,CAAC;AAEnC,OAAO,EACL,yBAAyB,EACzB,+BAA+B,EAE/B,eAAe,EACf,eAAe,EACf,eAAe,EACf,iBAAiB,EACjB,4BAA4B,EAC5B,iBAAiB,EACjB,mBAAmB,GACpB,MAAM,2BAA2B,CAAC"}

package/dist/proofs/index.js

@@ -0,0 +1,34 @@
+/**
+ * @fileoverview Proof generators exports.
+ *
+ * Location: packages/midnight-prover/src/proofs/index.ts
+ *
+ * Summary:
+ * This file exports all proof generator classes and factory functions.
+ * Each prover handles a specific type of ZK proof for the PoI system.
+ *
+ * Usage:
+ * ```typescript
+ * import {
+ *   HashChainProver,
+ *   PolicyComplianceProver,
+ *   SelectiveDisclosureProver,
+ *   createHashChainProver,
+ * } from "@fluxpointstudios/orynq-sdk-midnight-prover";
+ *
+ * const prover = createHashChainProver({ debug: true });
+ * const proof = await prover.generateProof(input);
+ * ```
+ *
+ * Related files:
+ * - hash-chain-proof.ts: Hash chain validity proofs
+ * - policy-compliance-proof.ts: Policy compliance proofs
+ * - selective-disclosure.ts: Selective disclosure proofs with Merkle utilities
+ * - (future) attestation-proof.ts: TEE attestation proofs
+ */
+export { HashChainProver, createHashChainProver, } from "./hash-chain-proof.js";
+export { PolicyComplianceProver, createPolicyComplianceProver, } from "./policy-compliance-proof.js";
+export { SelectiveDisclosureProver, createSelectiveDisclosureProver, 
+// Merkle utilities
+computeSpanHash, computeLeafHash, computeNodeHash, computeMerkleRoot, generateMerkleInclusionProof, verifyMerkleProof, verifySpanInclusion, } from "./selective-disclosure.js";
+//# sourceMappingURL=index.js.map

package/dist/proofs/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/proofs/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAQH,OAAO,EACL,eAAe,EACf,qBAAqB,GACtB,MAAM,uBAAuB,CAAC;AAa/B,OAAO,EACL,sBAAsB,EACtB,4BAA4B,GAC7B,MAAM,8BAA8B,CAAC;AAWtC,OAAO,EACL,yBAAyB,EACzB,+BAA+B;AAC/B,mBAAmB;AACnB,eAAe,EACf,eAAe,EACf,eAAe,EACf,iBAAiB,EACjB,4BAA4B,EAC5B,iBAAiB,EACjB,mBAAmB,GACpB,MAAM,2BAA2B,CAAC"}