@fluxpointstudios/orynq-sdk-midnight-prover 0.1.0

package/dist/midnight/public-inputs.d.ts

@@ -0,0 +1,134 @@
+/**
+ * @fileoverview Public inputs builder for ZK proofs.
+ *
+ * Location: packages/midnight-prover/src/midnight/public-inputs.ts
+ *
+ * Summary:
+ * This module handles the construction and serialization of public inputs
+ * for various ZK proof types. Public inputs are values that are visible
+ * to verifiers and form part of the proof statement.
+ *
+ * Usage:
+ * Used by proof generators to construct the public component of proofs.
+ * Public inputs are included in the proof and can be verified on-chain.
+ *
+ * Related files:
+ * - hash-chain-proof.ts: Uses buildPublicInputs for hash-chain proofs
+ * - witness-builder.ts: Builds the corresponding private witness
+ * - types.ts: Type definitions for public inputs
+ */
+import type { ProofType, HashChainPublicInputs, PolicyPublicInputs, AttestationPublicInputs, DisclosurePublicInputs, InferencePublicInputs, AnyPublicInputs } from "../types.js";
+import type { TeeType } from "@fluxpointstudios/orynq-sdk-attestor";
+/**
+ * Input data for building hash-chain public inputs.
+ */
+export interface HashChainPublicInputData {
+    rootHash: string;
+    eventCount: number;
+    cardanoAnchorTxHash: string;
+}
+/**
+ * Input data for building policy compliance public inputs.
+ */
+export interface PolicyPublicInputData {
+    promptHash: string;
+    policyId: string;
+    policyVersion: string;
+    compliant: boolean;
+    cardanoAnchorTxHash: string;
+}
+/**
+ * Input data for building attestation public inputs.
+ */
+export interface AttestationPublicInputData {
+    teeType: TeeType;
+    measurementMatch: boolean;
+    boundHash: string;
+    cardanoAnchorTxHash: string;
+}
+/**
+ * Input data for building disclosure public inputs.
+ */
+export interface DisclosurePublicInputData {
+    spanHash: string;
+    merkleRoot: string;
+    cardanoAnchorTxHash: string;
+}
+/**
+ * Input data for building inference public inputs.
+ */
+export interface InferencePublicInputData {
+    modelWeightDigest: string;
+    inputHash: string;
+    outputHash: string;
+    paramsHash: string;
+    cardanoAnchorTxHash: string;
+}
+/**
+ * Union type for all public input data types.
+ */
+export type AnyPublicInputData = {
+    type: "hash-chain";
+    data: HashChainPublicInputData;
+} | {
+    type: "policy-compliance";
+    data: PolicyPublicInputData;
+} | {
+    type: "attestation-valid";
+    data: AttestationPublicInputData;
+} | {
+    type: "selective-disclosure";
+    data: DisclosurePublicInputData;
+} | {
+    type: "zkml-inference";
+    data: InferencePublicInputData;
+};
+/**
+ * Build public inputs for a ZK proof.
+ *
+ * This function constructs the public input structure for a given proof type.
+ * Public inputs are the values that verifiers can see and check against
+ * on-chain commitments (e.g., the Cardano anchor transaction).
+ *
+ * @param type - The type of proof to build public inputs for
+ * @param data - The input data for constructing public inputs
+ * @returns The constructed public inputs
+ * @throws Error if the data is invalid for the proof type
+ *
+ * @example
+ * ```typescript
+ * const publicInputs = buildPublicInputs("hash-chain", {
+ *   rootHash: "abc123...",
+ *   eventCount: 42,
+ *   cardanoAnchorTxHash: "def456...",
+ * });
+ * ```
+ */
+export declare function buildPublicInputs(type: "hash-chain", data: HashChainPublicInputData): HashChainPublicInputs;
+export declare function buildPublicInputs(type: "policy-compliance", data: PolicyPublicInputData): PolicyPublicInputs;
+export declare function buildPublicInputs(type: "attestation-valid", data: AttestationPublicInputData): AttestationPublicInputs;
+export declare function buildPublicInputs(type: "selective-disclosure", data: DisclosurePublicInputData): DisclosurePublicInputs;
+export declare function buildPublicInputs(type: "zkml-inference", data: InferencePublicInputData): InferencePublicInputs;
+export declare function buildPublicInputs(type: ProofType, data: unknown): AnyPublicInputs;
+/**
+ * Serialize public inputs to a binary format for circuit consumption.
+ *
+ * The binary format is:
+ * - 1 byte: proof type ID
+ * - N bytes: type-specific fields (fixed-size binary encoding)
+ *
+ * @param type - Proof type
+ * @param publicInputs - Public inputs to serialize
+ * @returns Serialized public inputs as Uint8Array
+ */
+export declare function serializePublicInputs(type: ProofType, publicInputs: AnyPublicInputs): Uint8Array;
+/**
+ * Compute a hash commitment to public inputs.
+ * This can be used to create a compact reference to the full public inputs.
+ *
+ * @param type - Proof type
+ * @param publicInputs - Public inputs to hash
+ * @returns Promise resolving to the hash as a hex string
+ */
+export declare function hashPublicInputs(type: ProofType, publicInputs: AnyPublicInputs): Promise<string>;
+//# sourceMappingURL=public-inputs.d.ts.map

package/dist/midnight/public-inputs.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"public-inputs.d.ts","sourceRoot":"","sources":["../../src/midnight/public-inputs.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,KAAK,EACV,SAAS,EACT,qBAAqB,EACrB,kBAAkB,EAClB,uBAAuB,EACvB,sBAAsB,EACtB,qBAAqB,EACrB,eAAe,EAChB,MAAM,aAAa,CAAC;AAErB,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,sCAAsC,CAAC;AAWpE;;GAEG;AACH,MAAM,WAAW,wBAAwB;IACvC,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;IACnB,mBAAmB,EAAE,MAAM,CAAC;CAC7B;AAED;;GAEG;AACH,MAAM,WAAW,qBAAqB;IACpC,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,aAAa,EAAE,MAAM,CAAC;IACtB,SAAS,EAAE,OAAO,CAAC;IACnB,mBAAmB,EAAE,MAAM,CAAC;CAC7B;AAED;;GAEG;AACH,MAAM,WAAW,0BAA0B;IACzC,OAAO,EAAE,OAAO,CAAC;IACjB,gBAAgB,EAAE,OAAO,CAAC;IAC1B,SAAS,EAAE,MAAM,CAAC;IAClB,mBAAmB,EAAE,MAAM,CAAC;CAC7B;AAED;;GAEG;AACH,MAAM,WAAW,yBAAyB;IACxC,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;IACnB,mBAAmB,EAAE,MAAM,CAAC;CAC7B;AAED;;GAEG;AACH,MAAM,WAAW,wBAAwB;IACvC,iBAAiB,EAAE,MAAM,CAAC;IAC1B,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,mBAAmB,EAAE,MAAM,CAAC;CAC7B;AAED;;GAEG;AACH,MAAM,MAAM,kBAAkB,GAC1B;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,IAAI,EAAE,wBAAwB,CAAA;CAAE,GACtD;IAAE,IAAI,EAAE,mBAAmB,CAAC;IAAC,IAAI,EAAE,qBAAqB,CAAA;CAAE,GAC1D;IAAE,IAAI,EAAE,mBAAmB,CAAC;IAAC,IAAI,EAAE,0BAA0B,CAAA;CAAE,GAC/D;IAAE,IAAI,EAAE,sBAAsB,CAAC;IAAC,IAAI,EAAE,yBAAyB,CAAA;CAAE,GACjE;IAAE,IAAI,EAAE,gBAAgB,CAAC;IAAC,IAAI,EAAE,wBAAwB,CAAA;CAAE,CAAC;AAM/D;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,YAAY,EAClB,IAAI,EAAE,wBAAwB,GAC7B,qBAAqB,CAAC;AACzB,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,mBAAmB,EACzB,IAAI,EAAE,qBAAqB,GAC1B,kBAAkB,CAAC;AACtB,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,mBAAmB,EACzB,IAAI,EAAE,0BAA0B,GAC/B,uBAAuB,CAAC;AAC3B,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,sBAAsB,EAC5B,IAAI,EAAE,yBAAyB,GAC9B,sBAAsB,CAAC;AAC1B,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,gBAAgB,EACtB,IAAI,EAAE,wBAAwB,GAC7B,qBAAqB,CAAC;AACzB,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,SAAS,EACf,IAAI,EAAE,OAAO,GACZ,eAAe,CAAC;AA+HnB;;;;;;;;;;GAUG;AACH,wBAAgB,qBAAqB,CACnC,IAAI,EAAE,SAAS,EACf,YAAY,EAAE,eAAe,GAC5B,UAAU,CAkCZ;AA4LD;;;;;;;GAOG;AACH,wBAAsB,gBAAgB,CACpC,IAAI,EAAE,SAAS,EACf,YAAY,EAAE,eAAe,GAC5B,OAAO,CAAC,MAAM,CAAC,CAOjB"}

package/dist/midnight/public-inputs.js

@@ -0,0 +1,338 @@
+/**
+ * @fileoverview Public inputs builder for ZK proofs.
+ *
+ * Location: packages/midnight-prover/src/midnight/public-inputs.ts
+ *
+ * Summary:
+ * This module handles the construction and serialization of public inputs
+ * for various ZK proof types. Public inputs are values that are visible
+ * to verifiers and form part of the proof statement.
+ *
+ * Usage:
+ * Used by proof generators to construct the public component of proofs.
+ * Public inputs are included in the proof and can be verified on-chain.
+ *
+ * Related files:
+ * - hash-chain-proof.ts: Uses buildPublicInputs for hash-chain proofs
+ * - witness-builder.ts: Builds the corresponding private witness
+ * - types.ts: Type definitions for public inputs
+ */
+import { hexToBytes, bytesToHex, } from "@fluxpointstudios/orynq-sdk-core/utils";
+export function buildPublicInputs(type, data) {
+    switch (type) {
+        case "hash-chain":
+            return buildHashChainPublicInputs(data);
+        case "policy-compliance":
+            return buildPolicyPublicInputs(data);
+        case "attestation-valid":
+            return buildAttestationPublicInputs(data);
+        case "selective-disclosure":
+            return buildDisclosurePublicInputs(data);
+        case "zkml-inference":
+            return buildInferencePublicInputs(data);
+        default:
+            throw new Error(`Unknown proof type: ${type}`);
+    }
+}
+// =============================================================================
+// TYPE-SPECIFIC BUILDERS
+// =============================================================================
+/**
+ * Build public inputs for hash-chain proof.
+ */
+function buildHashChainPublicInputs(data) {
+    validateHexHash(data.rootHash, "rootHash");
+    validateHexHash(data.cardanoAnchorTxHash, "cardanoAnchorTxHash");
+    validatePositiveInteger(data.eventCount, "eventCount");
+    return {
+        rootHash: normalizeHash(data.rootHash),
+        eventCount: data.eventCount,
+        cardanoAnchorTxHash: normalizeHash(data.cardanoAnchorTxHash),
+    };
+}
+/**
+ * Build public inputs for policy compliance proof.
+ */
+function buildPolicyPublicInputs(data) {
+    validateHexHash(data.promptHash, "promptHash");
+    validateHexHash(data.cardanoAnchorTxHash, "cardanoAnchorTxHash");
+    validateNonEmptyString(data.policyId, "policyId");
+    validateNonEmptyString(data.policyVersion, "policyVersion");
+    return {
+        promptHash: normalizeHash(data.promptHash),
+        policyId: data.policyId,
+        policyVersion: data.policyVersion,
+        compliant: Boolean(data.compliant),
+        cardanoAnchorTxHash: normalizeHash(data.cardanoAnchorTxHash),
+    };
+}
+/**
+ * Build public inputs for attestation validity proof.
+ */
+function buildAttestationPublicInputs(data) {
+    validateHexHash(data.boundHash, "boundHash");
+    validateHexHash(data.cardanoAnchorTxHash, "cardanoAnchorTxHash");
+    validateTeeType(data.teeType);
+    return {
+        teeType: data.teeType,
+        measurementMatch: Boolean(data.measurementMatch),
+        boundHash: normalizeHash(data.boundHash),
+        cardanoAnchorTxHash: normalizeHash(data.cardanoAnchorTxHash),
+    };
+}
+/**
+ * Build public inputs for selective disclosure proof.
+ */
+function buildDisclosurePublicInputs(data) {
+    validateHexHash(data.spanHash, "spanHash");
+    validateHexHash(data.merkleRoot, "merkleRoot");
+    validateHexHash(data.cardanoAnchorTxHash, "cardanoAnchorTxHash");
+    return {
+        spanHash: normalizeHash(data.spanHash),
+        merkleRoot: normalizeHash(data.merkleRoot),
+        cardanoAnchorTxHash: normalizeHash(data.cardanoAnchorTxHash),
+    };
+}
+/**
+ * Build public inputs for zkML inference proof.
+ */
+function buildInferencePublicInputs(data) {
+    validateHexHash(data.modelWeightDigest, "modelWeightDigest");
+    validateHexHash(data.inputHash, "inputHash");
+    validateHexHash(data.outputHash, "outputHash");
+    validateHexHash(data.paramsHash, "paramsHash");
+    validateHexHash(data.cardanoAnchorTxHash, "cardanoAnchorTxHash");
+    return {
+        modelWeightDigest: normalizeHash(data.modelWeightDigest),
+        inputHash: normalizeHash(data.inputHash),
+        outputHash: normalizeHash(data.outputHash),
+        paramsHash: normalizeHash(data.paramsHash),
+        cardanoAnchorTxHash: normalizeHash(data.cardanoAnchorTxHash),
+    };
+}
+// =============================================================================
+// SERIALIZATION
+// =============================================================================
+/**
+ * Serialize public inputs to a binary format for circuit consumption.
+ *
+ * The binary format is:
+ * - 1 byte: proof type ID
+ * - N bytes: type-specific fields (fixed-size binary encoding)
+ *
+ * @param type - Proof type
+ * @param publicInputs - Public inputs to serialize
+ * @returns Serialized public inputs as Uint8Array
+ */
+export function serializePublicInputs(type, publicInputs) {
+    const typeId = getProofTypeId(type);
+    switch (type) {
+        case "hash-chain":
+            return serializeHashChainInputs(typeId, publicInputs);
+        case "policy-compliance":
+            return serializePolicyInputs(typeId, publicInputs);
+        case "attestation-valid":
+            return serializeAttestationInputs(typeId, publicInputs);
+        case "selective-disclosure":
+            return serializeDisclosureInputs(typeId, publicInputs);
+        case "zkml-inference":
+            return serializeInferenceInputs(typeId, publicInputs);
+        default:
+            throw new Error(`Cannot serialize unknown proof type: ${type}`);
+    }
+}
+/**
+ * Get a numeric ID for a proof type.
+ */
+function getProofTypeId(type) {
+    const typeIds = {
+        "hash-chain": 1,
+        "policy-compliance": 2,
+        "attestation-valid": 3,
+        "selective-disclosure": 4,
+        "zkml-inference": 5,
+    };
+    return typeIds[type];
+}
+/**
+ * Serialize hash-chain public inputs.
+ * Format: 1 byte type + 32 bytes rootHash + 4 bytes eventCount + 32 bytes anchorTx
+ */
+function serializeHashChainInputs(typeId, inputs) {
+    const buffer = new Uint8Array(1 + 32 + 4 + 32);
+    const view = new DataView(buffer.buffer);
+    let offset = 0;
+    buffer[offset++] = typeId;
+    const rootHashBytes = hexToBytes(inputs.rootHash);
+    buffer.set(rootHashBytes, offset);
+    offset += 32;
+    view.setUint32(offset, inputs.eventCount, false);
+    offset += 4;
+    const anchorBytes = hexToBytes(inputs.cardanoAnchorTxHash);
+    buffer.set(anchorBytes, offset);
+    return buffer;
+}
+/**
+ * Serialize policy compliance public inputs.
+ */
+function serializePolicyInputs(typeId, inputs) {
+    // Variable length due to policyId and policyVersion strings
+    const policyIdBytes = new TextEncoder().encode(inputs.policyId);
+    const policyVersionBytes = new TextEncoder().encode(inputs.policyVersion);
+    const buffer = new Uint8Array(1 + 32 + 2 + policyIdBytes.length + 2 + policyVersionBytes.length + 1 + 32);
+    const view = new DataView(buffer.buffer);
+    let offset = 0;
+    buffer[offset++] = typeId;
+    const promptHashBytes = hexToBytes(inputs.promptHash);
+    buffer.set(promptHashBytes, offset);
+    offset += 32;
+    view.setUint16(offset, policyIdBytes.length, false);
+    offset += 2;
+    buffer.set(policyIdBytes, offset);
+    offset += policyIdBytes.length;
+    view.setUint16(offset, policyVersionBytes.length, false);
+    offset += 2;
+    buffer.set(policyVersionBytes, offset);
+    offset += policyVersionBytes.length;
+    buffer[offset++] = inputs.compliant ? 1 : 0;
+    const anchorBytes = hexToBytes(inputs.cardanoAnchorTxHash);
+    buffer.set(anchorBytes, offset);
+    return buffer;
+}
+/**
+ * Serialize attestation public inputs.
+ */
+function serializeAttestationInputs(typeId, inputs) {
+    const teeTypeId = getTeeTypeId(inputs.teeType);
+    const buffer = new Uint8Array(1 + 1 + 1 + 32 + 32);
+    let offset = 0;
+    buffer[offset++] = typeId;
+    buffer[offset++] = teeTypeId;
+    buffer[offset++] = inputs.measurementMatch ? 1 : 0;
+    const boundHashBytes = hexToBytes(inputs.boundHash);
+    buffer.set(boundHashBytes, offset);
+    offset += 32;
+    const anchorBytes = hexToBytes(inputs.cardanoAnchorTxHash);
+    buffer.set(anchorBytes, offset);
+    return buffer;
+}
+/**
+ * Serialize disclosure public inputs.
+ */
+function serializeDisclosureInputs(typeId, inputs) {
+    const buffer = new Uint8Array(1 + 32 + 32 + 32);
+    let offset = 0;
+    buffer[offset++] = typeId;
+    const spanHashBytes = hexToBytes(inputs.spanHash);
+    buffer.set(spanHashBytes, offset);
+    offset += 32;
+    const merkleRootBytes = hexToBytes(inputs.merkleRoot);
+    buffer.set(merkleRootBytes, offset);
+    offset += 32;
+    const anchorBytes = hexToBytes(inputs.cardanoAnchorTxHash);
+    buffer.set(anchorBytes, offset);
+    return buffer;
+}
+/**
+ * Serialize inference public inputs.
+ */
+function serializeInferenceInputs(typeId, inputs) {
+    const buffer = new Uint8Array(1 + 32 + 32 + 32 + 32 + 32);
+    let offset = 0;
+    buffer[offset++] = typeId;
+    const modelBytes = hexToBytes(inputs.modelWeightDigest);
+    buffer.set(modelBytes, offset);
+    offset += 32;
+    const inputBytes = hexToBytes(inputs.inputHash);
+    buffer.set(inputBytes, offset);
+    offset += 32;
+    const outputBytes = hexToBytes(inputs.outputHash);
+    buffer.set(outputBytes, offset);
+    offset += 32;
+    const paramsBytes = hexToBytes(inputs.paramsHash);
+    buffer.set(paramsBytes, offset);
+    offset += 32;
+    const anchorBytes = hexToBytes(inputs.cardanoAnchorTxHash);
+    buffer.set(anchorBytes, offset);
+    return buffer;
+}
+/**
+ * Get numeric ID for TEE type.
+ * TeeType values: "sev-snp" | "tdx" | "sgx" | "nitro" | "gpu-cc"
+ */
+function getTeeTypeId(teeType) {
+    const teeTypeIds = {
+        "sev-snp": 1,
+        "tdx": 2,
+        "sgx": 3,
+        "nitro": 4,
+        "gpu-cc": 5,
+    };
+    return teeTypeIds[teeType] ?? 0;
+}
+// =============================================================================
+// HASHING
+// =============================================================================
+/**
+ * Compute a hash commitment to public inputs.
+ * This can be used to create a compact reference to the full public inputs.
+ *
+ * @param type - Proof type
+ * @param publicInputs - Public inputs to hash
+ * @returns Promise resolving to the hash as a hex string
+ */
+export async function hashPublicInputs(type, publicInputs) {
+    const serialized = serializePublicInputs(type, publicInputs);
+    // Copy to a fresh ArrayBuffer to ensure compatibility with crypto.subtle.digest
+    const buffer = new ArrayBuffer(serialized.byteLength);
+    new Uint8Array(buffer).set(serialized);
+    const hashBuffer = await crypto.subtle.digest("SHA-256", buffer);
+    return bytesToHex(new Uint8Array(hashBuffer));
+}
+// =============================================================================
+// VALIDATION HELPERS
+// =============================================================================
+/**
+ * Validate a hex hash string.
+ */
+function validateHexHash(value, fieldName) {
+    // Remove 0x prefix if present
+    const cleanHex = value.startsWith("0x") ? value.slice(2) : value;
+    if (!/^[0-9a-fA-F]{64}$/.test(cleanHex)) {
+        throw new Error(`Invalid ${fieldName}: expected 64-character hex string, got "${value}"`);
+    }
+}
+/**
+ * Validate a positive integer.
+ */
+function validatePositiveInteger(value, fieldName) {
+    if (!Number.isInteger(value) || value < 0) {
+        throw new Error(`Invalid ${fieldName}: expected non-negative integer, got ${value}`);
+    }
+}
+/**
+ * Validate a non-empty string.
+ */
+function validateNonEmptyString(value, fieldName) {
+    if (typeof value !== "string" || value.trim() === "") {
+        throw new Error(`Invalid ${fieldName}: expected non-empty string, got "${value}"`);
+    }
+}
+/**
+ * Validate TEE type.
+ * TeeType values: "sev-snp" | "tdx" | "sgx" | "nitro" | "gpu-cc"
+ */
+function validateTeeType(teeType) {
+    const validTypes = ["sev-snp", "tdx", "sgx", "nitro", "gpu-cc"];
+    if (!validTypes.includes(teeType)) {
+        throw new Error(`Invalid teeType: "${teeType}"`);
+    }
+}
+/**
+ * Normalize a hash to lowercase without 0x prefix.
+ */
+function normalizeHash(hash) {
+    const cleanHex = hash.startsWith("0x") ? hash.slice(2) : hash;
+    return cleanHex.toLowerCase();
+}
+//# sourceMappingURL=public-inputs.js.map

package/dist/midnight/public-inputs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"public-inputs.js","sourceRoot":"","sources":["../../src/midnight/public-inputs.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAcH,OAAO,EACL,UAAU,EACV,UAAU,GACX,MAAM,wCAAwC,CAAC;AAmHhD,MAAM,UAAU,iBAAiB,CAC/B,IAAe,EACf,IAAa;IAEb,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,YAAY;YACf,OAAO,0BAA0B,CAAC,IAAgC,CAAC,CAAC;QAEtE,KAAK,mBAAmB;YACtB,OAAO,uBAAuB,CAAC,IAA6B,CAAC,CAAC;QAEhE,KAAK,mBAAmB;YACtB,OAAO,4BAA4B,CAAC,IAAkC,CAAC,CAAC;QAE1E,KAAK,sBAAsB;YACzB,OAAO,2BAA2B,CAAC,IAAiC,CAAC,CAAC;QAExE,KAAK,gBAAgB;YACnB,OAAO,0BAA0B,CAAC,IAAgC,CAAC,CAAC;QAEtE;YACE,MAAM,IAAI,KAAK,CAAC,uBAAuB,IAAI,EAAE,CAAC,CAAC;IACnD,CAAC;AACH,CAAC;AAED,gFAAgF;AAChF,yBAAyB;AACzB,gFAAgF;AAEhF;;GAEG;AACH,SAAS,0BAA0B,CACjC,IAA8B;IAE9B,eAAe,CAAC,IAAI,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IAC3C,eAAe,CAAC,IAAI,CAAC,mBAAmB,EAAE,qBAAqB,CAAC,CAAC;IACjE,uBAAuB,CAAC,IAAI,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC;IAEvD,OAAO;QACL,QAAQ,EAAE,aAAa,CAAC,IAAI,CAAC,QAAQ,CAAC;QACtC,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,mBAAmB,EAAE,aAAa,CAAC,IAAI,CAAC,mBAAmB,CAAC;KAC7D,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAS,uBAAuB,CAC9B,IAA2B;IAE3B,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC;IAC/C,eAAe,CAAC,IAAI,CAAC,mBAAmB,EAAE,qBAAqB,CAAC,CAAC;IACjE,sBAAsB,CAAC,IAAI,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IAClD,sBAAsB,CAAC,IAAI,CAAC,aAAa,EAAE,eAAe,CAAC,CAAC;IAE5D,OAAO;QACL,UAAU,EAAE,aAAa,CAAC,IAAI,CAAC,UAAU,CAAC;QAC1C,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,aAAa,EAAE,IAAI,CAAC,aAAa;QACjC,SAAS,EAAE,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC;QAClC,mBAAmB,EAAE,aAAa,CAAC,IAAI,CAAC,mBAAmB,CAAC;KAC7D,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAS,4BAA4B,CACnC,IAAgC;IAEhC,eAAe,CAAC,IAAI,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;IAC7C,eAAe,CAAC,IAAI,CAAC,mBAAmB,EAAE,qBAAqB,CAAC,CAAC;IACjE,eAAe,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAE9B,OAAO;QACL,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,gBAAgB,EAAE,OAAO,CAAC,IAAI,CAAC,gBAAgB,CAAC;QAChD,SAAS,EAAE,aAAa,CAAC,IAAI,CAAC,SAAS,CAAC;QACxC,mBAAmB,EAAE,aAAa,CAAC,IAAI,CAAC,mBAAmB,CAAC;KAC7D,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAS,2BAA2B,CAClC,IAA+B;IAE/B,eAAe,CAAC,IAAI,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IAC3C,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC;IAC/C,eAAe,CAAC,IAAI,CAAC,mBAAmB,EAAE,qBAAqB,CAAC,CAAC;IAEjE,OAAO;QACL,QAAQ,EAAE,aAAa,CAAC,IAAI,CAAC,QAAQ,CAAC;QACtC,UAAU,EAAE,aAAa,CAAC,IAAI,CAAC,UAAU,CAAC;QAC1C,mBAAmB,EAAE,aAAa,CAAC,IAAI,CAAC,mBAAmB,CAAC;KAC7D,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAS,0BAA0B,CACjC,IAA8B;IAE9B,eAAe,CAAC,IAAI,CAAC,iBAAiB,EAAE,mBAAmB,CAAC,CAAC;IAC7D,eAAe,CAAC,IAAI,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;IAC7C,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC;IAC/C,eAAe,CAAC,IAAI,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC;IAC/C,eAAe,CAAC,IAAI,CAAC,mBAAmB,EAAE,qBAAqB,CAAC,CAAC;IAEjE,OAAO;QACL,iBAAiB,EAAE,aAAa,CAAC,IAAI,CAAC,iBAAiB,CAAC;QACxD,SAAS,EAAE,aAAa,CAAC,IAAI,CAAC,SAAS,CAAC;QACxC,UAAU,EAAE,aAAa,CAAC,IAAI,CAAC,UAAU,CAAC;QAC1C,UAAU,EAAE,aAAa,CAAC,IAAI,CAAC,UAAU,CAAC;QAC1C,mBAAmB,EAAE,aAAa,CAAC,IAAI,CAAC,mBAAmB,CAAC;KAC7D,CAAC;AACJ,CAAC;AAED,gFAAgF;AAChF,gBAAgB;AAChB,gFAAgF;AAEhF;;;;;;;;;;GAUG;AACH,MAAM,UAAU,qBAAqB,CACnC,IAAe,EACf,YAA6B;IAE7B,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;IAEpC,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,YAAY;YACf,OAAO,wBAAwB,CAC7B,MAAM,EACN,YAAqC,CACtC,CAAC;QAEJ,KAAK,mBAAmB;YACtB,OAAO,qBAAqB,CAAC,MAAM,EAAE,YAAkC,CAAC,CAAC;QAE3E,KAAK,mBAAmB;YACtB,OAAO,0BAA0B,CAC/B,MAAM,EACN,YAAuC,CACxC,CAAC;QAEJ,KAAK,sBAAsB;YACzB,OAAO,yBAAyB,CAC9B,MAAM,EACN,YAAsC,CACvC,CAAC;QAEJ,KAAK,gBAAgB;YACnB,OAAO,wBAAwB,CAC7B,MAAM,EACN,YAAqC,CACtC,CAAC;QAEJ;YACE,MAAM,IAAI,KAAK,CAAC,wCAAwC,IAAI,EAAE,CAAC,CAAC;IACpE,CAAC;AACH,CAAC;AAED;;GAEG;AACH,SAAS,cAAc,CAAC,IAAe;IACrC,MAAM,OAAO,GAA8B;QACzC,YAAY,EAAE,CAAC;QACf,mBAAmB,EAAE,CAAC;QACtB,mBAAmB,EAAE,CAAC;QACtB,sBAAsB,EAAE,CAAC;QACzB,gBAAgB,EAAE,CAAC;KACpB,CAAC;IACF,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC;AACvB,CAAC;AAED;;;GAGG;AACH,SAAS,wBAAwB,CAC/B,MAAc,EACd,MAA6B;IAE7B,MAAM,MAAM,GAAG,IAAI,UAAU,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC;IAC/C,MAAM,IAAI,GAAG,IAAI,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAEzC,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,MAAM,CAAC,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC;IAE1B,MAAM,aAAa,GAAG,UAAU,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAClD,MAAM,CAAC,GAAG,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC;IAClC,MAAM,IAAI,EAAE,CAAC;IAEb,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IACjD,MAAM,IAAI,CAAC,CAAC;IAEZ,MAAM,WAAW,GAAG,UAAU,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAC;IAC3D,MAAM,CAAC,GAAG,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;IAEhC,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;GAEG;AACH,SAAS,qBAAqB,CAC5B,MAAc,EACd,MAA0B;IAE1B,4DAA4D;IAC5D,MAAM,aAAa,GAAG,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAChE,MAAM,kBAAkB,GAAG,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC;IAE1E,MAAM,MAAM,GAAG,IAAI,UAAU,CAC3B,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,aAAa,CAAC,MAAM,GAAG,CAAC,GAAG,kBAAkB,CAAC,MAAM,GAAG,CAAC,GAAG,EAAE,CAC3E,CAAC;IACF,MAAM,IAAI,GAAG,IAAI,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAEzC,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,MAAM,CAAC,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC;IAE1B,MAAM,eAAe,GAAG,UAAU,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IACtD,MAAM,CAAC,GAAG,CAAC,eAAe,EAAE,MAAM,CAAC,CAAC;IACpC,MAAM,IAAI,EAAE,CAAC;IAEb,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,aAAa,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IACpD,MAAM,IAAI,CAAC,CAAC;IACZ,MAAM,CAAC,GAAG,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC;IAClC,MAAM,IAAI,aAAa,CAAC,MAAM,CAAC;IAE/B,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,kBAAkB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IACzD,MAAM,IAAI,CAAC,CAAC;IACZ,MAAM,CAAC,GAAG,CAAC,kBAAkB,EAAE,MAAM,CAAC,CAAC;IACvC,MAAM,IAAI,kBAAkB,CAAC,MAAM,CAAC;IAEpC,MAAM,CAAC,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAE5C,MAAM,WAAW,GAAG,UAAU,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAC;IAC3D,MAAM,CAAC,GAAG,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;IAEhC,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;GAEG;AACH,SAAS,0BAA0B,CACjC,MAAc,EACd,MAA+B;IAE/B,MAAM,SAAS,GAAG,YAAY,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAC/C,MAAM,MAAM,GAAG,IAAI,UAAU,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;IAEnD,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,MAAM,CAAC,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC;IAC1B,MAAM,CAAC,MAAM,EAAE,CAAC,GAAG,SAAS,CAAC;IAC7B,MAAM,CAAC,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAEnD,MAAM,cAAc,GAAG,UAAU,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IACpD,MAAM,CAAC,GAAG,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC;IACnC,MAAM,IAAI,EAAE,CAAC;IAEb,MAAM,WAAW,GAAG,UAAU,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAC;IAC3D,MAAM,CAAC,GAAG,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;IAEhC,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;GAEG;AACH,SAAS,yBAAyB,CAChC,MAAc,EACd,MAA8B;IAE9B,MAAM,MAAM,GAAG,IAAI,UAAU,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;IAEhD,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,MAAM,CAAC,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC;IAE1B,MAAM,aAAa,GAAG,UAAU,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAClD,MAAM,CAAC,GAAG,CAAC,aAAa,EAAE,MAAM,CAAC,CAAC;IAClC,MAAM,IAAI,EAAE,CAAC;IAEb,MAAM,eAAe,GAAG,UAAU,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IACtD,MAAM,CAAC,GAAG,CAAC,eAAe,EAAE,MAAM,CAAC,CAAC;IACpC,MAAM,IAAI,EAAE,CAAC;IAEb,MAAM,WAAW,GAAG,UAAU,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAC;IAC3D,MAAM,CAAC,GAAG,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;IAEhC,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;GAEG;AACH,SAAS,wBAAwB,CAC/B,MAAc,EACd,MAA6B;IAE7B,MAAM,MAAM,GAAG,IAAI,UAAU,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;IAE1D,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,MAAM,CAAC,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC;IAE1B,MAAM,UAAU,GAAG,UAAU,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC;IACxD,MAAM,CAAC,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;IAC/B,MAAM,IAAI,EAAE,CAAC;IAEb,MAAM,UAAU,GAAG,UAAU,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IAChD,MAAM,CAAC,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;IAC/B,MAAM,IAAI,EAAE,CAAC;IAEb,MAAM,WAAW,GAAG,UAAU,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IAClD,MAAM,CAAC,GAAG,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;IAChC,MAAM,IAAI,EAAE,CAAC;IAEb,MAAM,WAAW,GAAG,UAAU,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IAClD,MAAM,CAAC,GAAG,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;IAChC,MAAM,IAAI,EAAE,CAAC;IAEb,MAAM,WAAW,GAAG,UAAU,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAC;IAC3D,MAAM,CAAC,GAAG,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;IAEhC,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;GAGG;AACH,SAAS,YAAY,CAAC,OAAgB;IACpC,MAAM,UAAU,GAA4B;QAC1C,SAAS,EAAE,CAAC;QACZ,KAAK,EAAE,CAAC;QACR,KAAK,EAAE,CAAC;QACR,OAAO,EAAE,CAAC;QACV,QAAQ,EAAE,CAAC;KACZ,CAAC;IACF,OAAO,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;AAClC,CAAC;AAED,gFAAgF;AAChF,UAAU;AACV,gFAAgF;AAEhF;;;;;;;GAOG;AACH,MAAM,CAAC,KAAK,UAAU,gBAAgB,CACpC,IAAe,EACf,YAA6B;IAE7B,MAAM,UAAU,GAAG,qBAAqB,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;IAC7D,gFAAgF;IAChF,MAAM,MAAM,GAAG,IAAI,WAAW,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;IACtD,IAAI,UAAU,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IACvC,MAAM,UAAU,GAAG,MAAM,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;IACjE,OAAO,UAAU,CAAC,IAAI,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC;AAChD,CAAC;AAED,gFAAgF;AAChF,qBAAqB;AACrB,gFAAgF;AAEhF;;GAEG;AACH,SAAS,eAAe,CAAC,KAAa,EAAE,SAAiB;IACvD,8BAA8B;IAC9B,MAAM,QAAQ,GAAG,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;IAEjE,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;QACxC,MAAM,IAAI,KAAK,CACb,WAAW,SAAS,4CAA4C,KAAK,GAAG,CACzE,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;GAEG;AACH,SAAS,uBAAuB,CAAC,KAAa,EAAE,SAAiB;IAC/D,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QAC1C,MAAM,IAAI,KAAK,CACb,WAAW,SAAS,wCAAwC,KAAK,EAAE,CACpE,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;GAEG;AACH,SAAS,sBAAsB,CAAC,KAAa,EAAE,SAAiB;IAC9D,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;QACrD,MAAM,IAAI,KAAK,CACb,WAAW,SAAS,qCAAqC,KAAK,GAAG,CAClE,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,SAAS,eAAe,CAAC,OAAgB;IACvC,MAAM,UAAU,GAAc,CAAC,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IAC3E,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;QAClC,MAAM,IAAI,KAAK,CAAC,qBAAqB,OAAO,GAAG,CAAC,CAAC;IACnD,CAAC;AACH,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"}

package/dist/midnight/witness-builder.d.ts

@@ -0,0 +1,119 @@
+/**
+ * @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 type { TraceEvent } from "@fluxpointstudios/orynq-sdk-process-trace";
+/**
+ * Witness for a single event in the hash chain.
+ * Contains both the serialized event data and its computed hash.
+ */
+export interface EventWitness {
+    /**
+     * Sequence number (for ordering verification).
+     */
+    seq: number;
+    /**
+     * Serialized event data as bytes (canonical JSON).
+     */
+    eventData: Uint8Array;
+    /**
+     * SHA-256 hash of the event (domain-separated).
+     */
+    eventHash: string;
+}
+/**
+ * Complete witness for hash-chain proof.
+ * Contains all private inputs needed by the ZK circuit.
+ */
+export interface HashChainWitness {
+    /**
+     * Genesis hash (initial state of the rolling hash).
+     */
+    genesisHash: string;
+    /**
+     * Array of event witnesses in sequence order.
+     */
+    events: EventWitness[];
+    /**
+     * Computed rolling hash after processing all events.
+     * Used for internal verification before submitting to circuit.
+     */
+    computedRollingHash: string;
+    /**
+     * Total number of events in the chain.
+     */
+    eventCount: number;
+}
+/**
+ * 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 declare function buildHashChainWitness(events: TraceEvent[], genesisHash: string): Promise<HashChainWitness>;
+/**
+ * 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 declare function serializeWitness(witness: HashChainWitness): Uint8Array;
+/**
+ * Compute the total size of a witness for resource estimation.
+ *
+ * @param witness - The witness to measure
+ * @returns Size in bytes
+ */
+export declare function computeWitnessSize(witness: HashChainWitness): number;
+/**
+ * Validate that a witness is well-formed.
+ *
+ * @param witness - The witness to validate
+ * @returns Array of validation errors (empty if valid)
+ */
+export declare function validateWitness(witness: HashChainWitness): string[];
+//# sourceMappingURL=witness-builder.d.ts.map

package/dist/midnight/witness-builder.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"witness-builder.d.ts","sourceRoot":"","sources":["../../src/midnight/witness-builder.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,2CAA2C,CAAC;AAuB5E;;;GAGG;AACH,MAAM,WAAW,YAAY;IAC3B;;OAEG;IACH,GAAG,EAAE,MAAM,CAAC;IAEZ;;OAEG;IACH,SAAS,EAAE,UAAU,CAAC;IAEtB;;OAEG;IACH,SAAS,EAAE,MAAM,CAAC;CACnB;AAED;;;GAGG;AACH,MAAM,WAAW,gBAAgB;IAC/B;;OAEG;IACH,WAAW,EAAE,MAAM,CAAC;IAEpB;;OAEG;IACH,MAAM,EAAE,YAAY,EAAE,CAAC;IAEvB;;;OAGG;IACH,mBAAmB,EAAE,MAAM,CAAC;IAE5B;;OAEG;IACH,UAAU,EAAE,MAAM,CAAC;CACpB;AAMD;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,wBAAsB,qBAAqB,CACzC,MAAM,EAAE,UAAU,EAAE,EACpB,WAAW,EAAE,MAAM,GAClB,OAAO,CAAC,gBAAgB,CAAC,CAwB3B;AAyED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,gBAAgB,GAAG,UAAU,CAqCtE;AAED;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,gBAAgB,GAAG,MAAM,CAMpE;AAED;;;;;GAKG;AACH,wBAAgB,eAAe,CAAC,OAAO,EAAE,gBAAgB,GAAG,MAAM,EAAE,CA6CnE"}