@fluxpointstudios/orynq-sdk-midnight-prover 0.1.0

package/dist/midnight/witness-builder.js

@@ -0,0 +1,238 @@
+/**
+ * @fileoverview Witness builder for hash-chain ZK proofs.
+ *
+ * Location: packages/midnight-prover/src/midnight/witness-builder.ts
+ *
+ * Summary:
+ * This module converts trace events into a circuit-compatible witness format
+ * for the hash-chain validity proof. The witness contains the private inputs
+ * needed by the ZK circuit to prove that a sequence of events produces
+ * the expected rolling hash.
+ *
+ * Usage:
+ * Used by HashChainProver to prepare data for proof generation.
+ * The witness format matches the expected Compact circuit input structure.
+ *
+ * Related files:
+ * - hash-chain-proof.ts: Uses this to build witnesses for proof generation
+ * - public-inputs.ts: Builds corresponding public inputs
+ * - @fluxpointstudios/orynq-sdk-process-trace: TraceEvent types
+ */
+import { sha256StringHex, canonicalize, hexToBytes, } from "@fluxpointstudios/orynq-sdk-core/utils";
+// =============================================================================
+// TYPES
+// =============================================================================
+/**
+ * Hash domain prefix for event hashing in witness building.
+ * Matches the process-trace package domain prefix for consistency.
+ */
+const HASH_DOMAIN_EVENT = "poi-trace:event:v1|";
+/**
+ * Hash domain prefix for rolling hash computation.
+ * Matches the process-trace package domain prefix for consistency.
+ */
+const HASH_DOMAIN_ROLL = "poi-trace:roll:v1|";
+// =============================================================================
+// MAIN FUNCTION
+// =============================================================================
+/**
+ * Build a hash-chain witness from trace events.
+ *
+ * This function converts an array of TraceEvents into a circuit-compatible
+ * witness format. The witness contains:
+ * 1. The genesis hash (starting point)
+ * 2. Each event serialized as bytes with its hash
+ * 3. The computed rolling hash for verification
+ *
+ * The rolling hash computation matches the algorithm in process-trace:
+ * - Events are sorted by seq number
+ * - Each event hash is H(domain + canonical(event - hash field))
+ * - Rolling hash is H(domain + prevHash + "|" + eventHash)
+ *
+ * @param events - Array of trace events to build witness from
+ * @param genesisHash - Initial hash state (hex string, typically from initRollingHash)
+ * @returns Promise resolving to the complete hash chain witness
+ *
+ * @example
+ * ```typescript
+ * const witness = await buildHashChainWitness(traceBundle.privateRun.events, genesisHash);
+ * console.log(witness.eventCount); // Number of events
+ * console.log(witness.computedRollingHash); // Final hash
+ * ```
+ */
+export async function buildHashChainWitness(events, genesisHash) {
+    // Sort events by sequence number for deterministic ordering
+    const sortedEvents = [...events].sort((a, b) => a.seq - b.seq);
+    // Build event witnesses
+    const eventWitnesses = [];
+    for (const event of sortedEvents) {
+        const eventWitness = await buildEventWitness(event);
+        eventWitnesses.push(eventWitness);
+    }
+    // Compute rolling hash
+    const computedRollingHash = await computeRollingHashFromWitness(genesisHash, eventWitnesses);
+    return {
+        genesisHash,
+        events: eventWitnesses,
+        computedRollingHash,
+        eventCount: eventWitnesses.length,
+    };
+}
+// =============================================================================
+// HELPER FUNCTIONS
+// =============================================================================
+/**
+ * Build a witness for a single event.
+ *
+ * @param event - The trace event to convert
+ * @returns Promise resolving to the event witness
+ */
+async function buildEventWitness(event) {
+    // Remove the hash field to avoid circularity
+    const eventWithoutHash = removeHashField(event);
+    // Canonicalize for deterministic serialization
+    const canonical = canonicalize(eventWithoutHash);
+    // Convert to bytes for circuit
+    const eventData = new TextEncoder().encode(canonical);
+    // Compute hash with domain separation
+    const prefixedData = HASH_DOMAIN_EVENT + canonical;
+    const eventHash = await sha256StringHex(prefixedData);
+    return {
+        seq: event.seq,
+        eventData,
+        eventHash,
+    };
+}
+/**
+ * Compute rolling hash from event witnesses.
+ * Matches the algorithm in process-trace/rolling-hash.ts
+ *
+ * @param genesisHash - Initial hash state
+ * @param eventWitnesses - Array of event witnesses
+ * @returns Promise resolving to the final rolling hash
+ */
+async function computeRollingHashFromWitness(genesisHash, eventWitnesses) {
+    let currentHash = genesisHash;
+    for (const witness of eventWitnesses) {
+        // Rolling hash: H(domain + prevHash + "|" + eventHash)
+        const input = HASH_DOMAIN_ROLL + currentHash + "|" + witness.eventHash;
+        currentHash = await sha256StringHex(input);
+    }
+    return currentHash;
+}
+/**
+ * Remove the 'hash' field from an event object.
+ * Returns a shallow copy with all fields except 'hash'.
+ *
+ * @param event - Event to process
+ * @returns Event copy without the hash field
+ */
+function removeHashField(event) {
+    // eslint-disable-next-line @typescript-eslint/no-unused-vars
+    const { hash: _, ...rest } = event;
+    return rest;
+}
+// =============================================================================
+// SERIALIZATION UTILITIES
+// =============================================================================
+/**
+ * Serialize a hash chain witness to a compact binary format.
+ * Used for transmitting witness data to the proof server.
+ *
+ * Format:
+ * - 4 bytes: event count (uint32 big-endian)
+ * - 32 bytes: genesis hash
+ * - For each event:
+ *   - 4 bytes: event data length (uint32 big-endian)
+ *   - N bytes: event data
+ *   - 32 bytes: event hash
+ *
+ * @param witness - The witness to serialize
+ * @returns Serialized witness as Uint8Array
+ */
+export function serializeWitness(witness) {
+    // Calculate total size
+    let totalSize = 4 + 32; // count + genesis hash
+    for (const event of witness.events) {
+        totalSize += 4 + event.eventData.length + 32; // length + data + hash
+    }
+    const buffer = new Uint8Array(totalSize);
+    const view = new DataView(buffer.buffer);
+    let offset = 0;
+    // Write event count
+    view.setUint32(offset, witness.eventCount, false); // big-endian
+    offset += 4;
+    // Write genesis hash
+    const genesisBytes = hexToBytes(witness.genesisHash);
+    buffer.set(genesisBytes, offset);
+    offset += 32;
+    // Write each event
+    for (const event of witness.events) {
+        // Event data length
+        view.setUint32(offset, event.eventData.length, false);
+        offset += 4;
+        // Event data
+        buffer.set(event.eventData, offset);
+        offset += event.eventData.length;
+        // Event hash
+        const hashBytes = hexToBytes(event.eventHash);
+        buffer.set(hashBytes, offset);
+        offset += 32;
+    }
+    return buffer;
+}
+/**
+ * Compute the total size of a witness for resource estimation.
+ *
+ * @param witness - The witness to measure
+ * @returns Size in bytes
+ */
+export function computeWitnessSize(witness) {
+    let size = 4 + 32; // count + genesis hash
+    for (const event of witness.events) {
+        size += 4 + event.eventData.length + 32;
+    }
+    return size;
+}
+/**
+ * Validate that a witness is well-formed.
+ *
+ * @param witness - The witness to validate
+ * @returns Array of validation errors (empty if valid)
+ */
+export function validateWitness(witness) {
+    const errors = [];
+    // Check genesis hash format
+    if (!/^[0-9a-f]{64}$/i.test(witness.genesisHash)) {
+        errors.push("Invalid genesis hash format (expected 64-char hex string)");
+    }
+    // Check event count matches
+    if (witness.eventCount !== witness.events.length) {
+        errors.push(`Event count mismatch: declared ${witness.eventCount}, actual ${witness.events.length}`);
+    }
+    // Check each event
+    for (let i = 0; i < witness.events.length; i++) {
+        const event = witness.events[i];
+        if (event === undefined) {
+            errors.push(`Event at index ${i} is undefined`);
+            continue;
+        }
+        // Check event hash format
+        if (!/^[0-9a-f]{64}$/i.test(event.eventHash)) {
+            errors.push(`Event ${i}: Invalid hash format`);
+        }
+        // Check event data is not empty
+        if (event.eventData.length === 0) {
+            errors.push(`Event ${i}: Empty event data`);
+        }
+        // Check sequence ordering
+        if (i > 0) {
+            const prevEvent = witness.events[i - 1];
+            if (prevEvent !== undefined && event.seq <= prevEvent.seq) {
+                errors.push(`Event ${i}: Sequence ${event.seq} not greater than previous ${prevEvent.seq}`);
+            }
+        }
+    }
+    return errors;
+}
+//# sourceMappingURL=witness-builder.js.map

package/dist/midnight/witness-builder.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"witness-builder.js","sourceRoot":"","sources":["../../src/midnight/witness-builder.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAGH,OAAO,EACL,eAAe,EACf,YAAY,EACZ,UAAU,GACX,MAAM,wCAAwC,CAAC;AAEhD,gFAAgF;AAChF,QAAQ;AACR,gFAAgF;AAEhF;;;GAGG;AACH,MAAM,iBAAiB,GAAG,qBAAqB,CAAC;AAEhD;;;GAGG;AACH,MAAM,gBAAgB,GAAG,oBAAoB,CAAC;AAkD9C,gFAAgF;AAChF,gBAAgB;AAChB,gFAAgF;AAEhF;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,MAAM,CAAC,KAAK,UAAU,qBAAqB,CACzC,MAAoB,EACpB,WAAmB;IAEnB,4DAA4D;IAC5D,MAAM,YAAY,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;IAE/D,wBAAwB;IACxB,MAAM,cAAc,GAAmB,EAAE,CAAC;IAE1C,KAAK,MAAM,KAAK,IAAI,YAAY,EAAE,CAAC;QACjC,MAAM,YAAY,GAAG,MAAM,iBAAiB,CAAC,KAAK,CAAC,CAAC;QACpD,cAAc,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IACpC,CAAC;IAED,uBAAuB;IACvB,MAAM,mBAAmB,GAAG,MAAM,6BAA6B,CAC7D,WAAW,EACX,cAAc,CACf,CAAC;IAEF,OAAO;QACL,WAAW;QACX,MAAM,EAAE,cAAc;QACtB,mBAAmB;QACnB,UAAU,EAAE,cAAc,CAAC,MAAM;KAClC,CAAC;AACJ,CAAC;AAED,gFAAgF;AAChF,mBAAmB;AACnB,gFAAgF;AAEhF;;;;;GAKG;AACH,KAAK,UAAU,iBAAiB,CAAC,KAAiB;IAChD,6CAA6C;IAC7C,MAAM,gBAAgB,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;IAEhD,+CAA+C;IAC/C,MAAM,SAAS,GAAG,YAAY,CAAC,gBAAgB,CAAC,CAAC;IAEjD,+BAA+B;IAC/B,MAAM,SAAS,GAAG,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IAEtD,sCAAsC;IACtC,MAAM,YAAY,GAAG,iBAAiB,GAAG,SAAS,CAAC;IACnD,MAAM,SAAS,GAAG,MAAM,eAAe,CAAC,YAAY,CAAC,CAAC;IAEtD,OAAO;QACL,GAAG,EAAE,KAAK,CAAC,GAAG;QACd,SAAS;QACT,SAAS;KACV,CAAC;AACJ,CAAC;AAED;;;;;;;GAOG;AACH,KAAK,UAAU,6BAA6B,CAC1C,WAAmB,EACnB,cAA8B;IAE9B,IAAI,WAAW,GAAG,WAAW,CAAC;IAE9B,KAAK,MAAM,OAAO,IAAI,cAAc,EAAE,CAAC;QACrC,uDAAuD;QACvD,MAAM,KAAK,GAAG,gBAAgB,GAAG,WAAW,GAAG,GAAG,GAAG,OAAO,CAAC,SAAS,CAAC;QACvE,WAAW,GAAG,MAAM,eAAe,CAAC,KAAK,CAAC,CAAC;IAC7C,CAAC;IAED,OAAO,WAAW,CAAC;AACrB,CAAC;AAED;;;;;;GAMG;AACH,SAAS,eAAe,CAA8B,KAAQ;IAC5D,6DAA6D;IAC7D,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,IAAI,EAAE,GAAG,KAAK,CAAC;IACnC,OAAO,IAAI,CAAC;AACd,CAAC;AAED,gFAAgF;AAChF,0BAA0B;AAC1B,gFAAgF;AAEhF;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,gBAAgB,CAAC,OAAyB;IACxD,uBAAuB;IACvB,IAAI,SAAS,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,uBAAuB;IAC/C,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;QACnC,SAAS,IAAI,CAAC,GAAG,KAAK,CAAC,SAAS,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC,uBAAuB;IACvE,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,UAAU,CAAC,SAAS,CAAC,CAAC;IACzC,MAAM,IAAI,GAAG,IAAI,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACzC,IAAI,MAAM,GAAG,CAAC,CAAC;IAEf,oBAAoB;IACpB,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,OAAO,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC,CAAC,aAAa;IAChE,MAAM,IAAI,CAAC,CAAC;IAEZ,qBAAqB;IACrB,MAAM,YAAY,GAAG,UAAU,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IACrD,MAAM,CAAC,GAAG,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;IACjC,MAAM,IAAI,EAAE,CAAC;IAEb,mBAAmB;IACnB,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;QACnC,oBAAoB;QACpB,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACtD,MAAM,IAAI,CAAC,CAAC;QAEZ,aAAa;QACb,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;QACpC,MAAM,IAAI,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC;QAEjC,aAAa;QACb,MAAM,SAAS,GAAG,UAAU,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAC9C,MAAM,CAAC,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;QAC9B,MAAM,IAAI,EAAE,CAAC;IACf,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,kBAAkB,CAAC,OAAyB;IAC1D,IAAI,IAAI,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,uBAAuB;IAC1C,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;QACnC,IAAI,IAAI,CAAC,GAAG,KAAK,CAAC,SAAS,CAAC,MAAM,GAAG,EAAE,CAAC;IAC1C,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAAC,OAAyB;IACvD,MAAM,MAAM,GAAa,EAAE,CAAC;IAE5B,4BAA4B;IAC5B,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC;QACjD,MAAM,CAAC,IAAI,CAAC,2DAA2D,CAAC,CAAC;IAC3E,CAAC;IAED,4BAA4B;IAC5B,IAAI,OAAO,CAAC,UAAU,KAAK,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;QACjD,MAAM,CAAC,IAAI,CACT,kCAAkC,OAAO,CAAC,UAAU,YAAY,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,CACxF,CAAC;IACJ,CAAC;IAED,mBAAmB;IACnB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC/C,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAChC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,MAAM,CAAC,IAAI,CAAC,kBAAkB,CAAC,eAAe,CAAC,CAAC;YAChD,SAAS;QACX,CAAC;QAED,0BAA0B;QAC1B,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC;YAC7C,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,uBAAuB,CAAC,CAAC;QACjD,CAAC;QAED,gCAAgC;QAChC,IAAI,KAAK,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACjC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;QAC9C,CAAC;QAED,0BAA0B;QAC1B,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;YACV,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACxC,IAAI,SAAS,KAAK,SAAS,IAAI,KAAK,CAAC,GAAG,IAAI,SAAS,CAAC,GAAG,EAAE,CAAC;gBAC1D,MAAM,CAAC,IAAI,CACT,SAAS,CAAC,cAAc,KAAK,CAAC,GAAG,8BAA8B,SAAS,CAAC,GAAG,EAAE,CAC/E,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/proofs/hash-chain-proof.d.ts

@@ -0,0 +1,171 @@
+/**
+ * @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 type { HashChainInput, HashChainProof } from "../types.js";
+/**
+ * Options for HashChainProver configuration.
+ */
+export interface HashChainProverOptions {
+    /**
+     * Enable debug logging.
+     */
+    debug?: boolean;
+    /**
+     * Maximum events per proof (defaults to MAX_EVENTS_PER_PROOF).
+     */
+    maxEvents?: number;
+    /**
+     * Simulated proving time in milliseconds (for mock mode).
+     * Set to 0 for instant proofs (useful in tests).
+     */
+    simulatedProvingTimeMs?: number;
+}
+/**
+ * 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 declare class HashChainProver {
+    private readonly options;
+    /**
+     * Create a new HashChainProver.
+     *
+     * @param options - Configuration options
+     */
+    constructor(options?: HashChainProverOptions);
+    /**
+     * 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
+     */
+    generateProof(input: HashChainInput): Promise<HashChainProof>;
+    /**
+     * 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
+     */
+    verifyProof(proof: HashChainProof): Promise<boolean>;
+    /**
+     * 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
+     */
+    getGenesisHash(): Promise<string>;
+    /**
+     * Validate the input for proof generation.
+     */
+    private validateInput;
+    /**
+     * Build the witness from input.
+     */
+    private buildWitness;
+    /**
+     * Verify that the computed rolling hash matches the expected root hash.
+     */
+    private verifyHashMatch;
+    /**
+     * Build public inputs for the proof.
+     */
+    private buildPublicInputs;
+    /**
+     * 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.
+     */
+    private generateMockProof;
+    /**
+     * Verify the structure of a mock proof.
+     */
+    private verifyMockProofStructure;
+    /**
+     * Debug logging helper.
+     */
+    private debug;
+    /**
+     * Delay helper for simulated proving time.
+     */
+    private delay;
+}
+/**
+ * Create a new HashChainProver instance.
+ *
+ * @param options - Configuration options
+ * @returns A new HashChainProver instance
+ */
+export declare function createHashChainProver(options?: HashChainProverOptions): HashChainProver;
+//# sourceMappingURL=hash-chain-proof.d.ts.map

package/dist/proofs/hash-chain-proof.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"hash-chain-proof.d.ts","sourceRoot":"","sources":["../../src/proofs/hash-chain-proof.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAIH,OAAO,KAAK,EACV,cAAc,EACd,cAAc,EAEf,MAAM,aAAa,CAAC;AAmDrB;;GAEG;AACH,MAAM,WAAW,sBAAsB;IACrC;;OAEG;IACH,KAAK,CAAC,EAAE,OAAO,CAAC;IAEhB;;OAEG;IACH,SAAS,CAAC,EAAE,MAAM,CAAC;IAEnB;;;OAGG;IACH,sBAAsB,CAAC,EAAE,MAAM,CAAC;CACjC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,qBAAa,eAAe;IAC1B,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAmC;IAE3D;;;;OAIG;gBACS,OAAO,GAAE,sBAA2B;IAQhD;;;;;;;;;;;;;OAaG;IACG,aAAa,CAAC,KAAK,EAAE,cAAc,GAAG,OAAO,CAAC,cAAc,CAAC;IA8CnE;;;;;;;;;;;;;OAaG;IACG,WAAW,CAAC,KAAK,EAAE,cAAc,GAAG,OAAO,CAAC,OAAO,CAAC;IAgD1D;;;;;OAKG;IACG,cAAc,IAAI,OAAO,CAAC,MAAM,CAAC;IASvC;;OAEG;IACH,OAAO,CAAC,aAAa;IAuErB;;OAEG;YACW,YAAY;IA+B1B;;OAEG;YACW,eAAe;IAiB7B;;OAEG;IACH,OAAO,CAAC,iBAAiB;IAWzB;;;;;;;;;;OAUG;YACW,iBAAiB;IA4D/B;;OAEG;YACW,wBAAwB;IAgDtC;;OAEG;IACH,OAAO,CAAC,KAAK;IAMb;;OAEG;IACH,OAAO,CAAC,KAAK;CAGd;AA8BD;;;;;GAKG;AACH,wBAAgB,qBAAqB,CACnC,OAAO,CAAC,EAAE,sBAAsB,GAC/B,eAAe,CAEjB"}