@fluxpointstudios/orynq-sdk-midnight-prover 0.1.0

package/dist/types.d.ts

@@ -0,0 +1,410 @@
+/**
+ * @fileoverview Type definitions for the poi-midnight-prover package.
+ *
+ * Location: packages/midnight-prover/src/types.ts
+ *
+ * Summary:
+ * This file contains all type definitions for ZK proof generation using the Midnight network.
+ * It defines proof types, input/output structures for various proof circuits, configuration
+ * options, and error handling.
+ *
+ * Usage:
+ * Types are imported by the prover-interface.ts and will be used by proof generation
+ * implementations in the proofs/ directory. These types integrate with process-trace
+ * (TraceEvent, TraceBundle) and attestor (AttestationBundle, VerifierPolicy) packages.
+ *
+ * Key concepts:
+ * - ProofType: Discriminator for different ZK proof circuits
+ * - HashChainProof: Proves trace hash chain validity
+ * - PolicyProof: Proves content compliance without revealing content
+ * - AttestationProof: Proves valid TEE attestation
+ * - DisclosureProof: Selective disclosure of spans without revealing others
+ * - InferenceProof: Optional zkML proof for model inference correctness
+ */
+import type { TraceEvent, TraceSpan, TraceBundle } from "@fluxpointstudios/orynq-sdk-process-trace";
+import type { AttestationBundle, VerifierPolicy, TeeType } from "@fluxpointstudios/orynq-sdk-attestor";
+/**
+ * Discriminator for different ZK proof types.
+ * Each type corresponds to a specific Compact circuit.
+ */
+export type ProofType = "hash-chain" | "policy-compliance" | "attestation-valid" | "selective-disclosure" | "zkml-inference";
+/**
+ * Base interface for all ZK proofs.
+ * Contains common fields shared by all proof types.
+ *
+ * @property proofType - Discriminator for proof kind
+ * @property proofId - Unique identifier for this proof
+ * @property proof - Serialized proof bytes (Compact format)
+ * @property createdAt - ISO 8601 timestamp of proof generation
+ * @property provingTimeMs - Time taken to generate the proof
+ * @property proofSizeBytes - Size of the proof in bytes
+ */
+export interface Proof {
+    proofType: ProofType;
+    proofId: string;
+    proof: Uint8Array;
+    createdAt: string;
+    provingTimeMs: number;
+    proofSizeBytes: number;
+}
+/**
+ * Input for hash chain validity proof.
+ * Proves that a sequence of events produces the expected rolling hash.
+ *
+ * @property events - The trace events (private witness)
+ * @property genesisHash - Initial hash state (usually zeros)
+ * @property expectedRootHash - Public commitment (from Cardano anchor)
+ * @property cardanoAnchorTxHash - Transaction hash on Cardano L1 for cross-chain binding
+ */
+export interface HashChainInput {
+    events: TraceEvent[];
+    genesisHash: string;
+    expectedRootHash: string;
+    cardanoAnchorTxHash: string;
+}
+/**
+ * Hash chain validity proof.
+ * Demonstrates that a sequence of events produces the anchored root hash.
+ *
+ * @property publicInputs - Values visible to verifiers
+ * @property publicInputs.rootHash - The final rolling hash (matches anchor)
+ * @property publicInputs.eventCount - Number of events in the chain
+ * @property publicInputs.cardanoAnchorTxHash - Binding to Cardano anchor
+ */
+export interface HashChainProof extends Proof {
+    proofType: "hash-chain";
+    publicInputs: HashChainPublicInputs;
+}
+export interface HashChainPublicInputs {
+    rootHash: string;
+    eventCount: number;
+    cardanoAnchorTxHash: string;
+}
+/**
+ * Input for policy compliance proof.
+ * Proves content passed a policy without revealing the content.
+ *
+ * @property promptHash - Hash of the prompt (private)
+ * @property outputHash - Hash of the output (private)
+ * @property policy - Policy definition to check against
+ * @property cardanoAnchorTxHash - Binding to Cardano anchor
+ */
+export interface PolicyInput {
+    promptHash: string;
+    outputHash: string;
+    policy: ContentPolicy;
+    cardanoAnchorTxHash: string;
+}
+/**
+ * Content policy definition.
+ * Describes rules that content must comply with.
+ *
+ * @property id - Unique identifier for this policy
+ * @property version - Semantic version of the policy
+ * @property rules - Array of rules to evaluate
+ */
+export interface ContentPolicy {
+    id: string;
+    version: string;
+    rules: PolicyRule[];
+}
+/**
+ * Individual policy rule.
+ *
+ * @property type - Rule type (blocklist, allowlist, regex, classifier)
+ * @property target - What to apply the rule to (prompt, output, or both)
+ * @property params - Rule-specific parameters
+ */
+export interface PolicyRule {
+    type: "blocklist" | "allowlist" | "regex" | "classifier";
+    target: "prompt" | "output" | "both";
+    params: Record<string, unknown>;
+}
+/**
+ * Policy compliance proof.
+ * Demonstrates content compliance without revealing content.
+ *
+ * @property publicInputs - Values visible to verifiers
+ * @property publicInputs.promptHash - Reveals hash, not content
+ * @property publicInputs.policyId - Policy that was checked
+ * @property publicInputs.policyVersion - Version of the policy
+ * @property publicInputs.compliant - Whether content passed policy
+ * @property publicInputs.cardanoAnchorTxHash - Binding to Cardano anchor
+ */
+export interface PolicyProof extends Proof {
+    proofType: "policy-compliance";
+    publicInputs: PolicyPublicInputs;
+}
+export interface PolicyPublicInputs {
+    promptHash: string;
+    policyId: string;
+    policyVersion: string;
+    compliant: boolean;
+    cardanoAnchorTxHash: string;
+}
+/**
+ * Input for attestation validity proof.
+ * Proves a TEE attestation is valid without revealing full evidence.
+ *
+ * @property attestation - Full attestation bundle (private witness)
+ * @property policy - Expected verifier policy
+ * @property cardanoAnchorTxHash - Binding to Cardano anchor
+ */
+export interface AttestationInput {
+    attestation: AttestationBundle;
+    policy: VerifierPolicy;
+    cardanoAnchorTxHash: string;
+}
+/**
+ * Attestation validity proof.
+ * Demonstrates TEE attestation validity without exposing full evidence.
+ *
+ * @property publicInputs - Values visible to verifiers
+ * @property publicInputs.teeType - Type of TEE that was attested
+ * @property publicInputs.measurementMatch - Whether measurements matched policy
+ * @property publicInputs.boundHash - The hash that was bound in attestation
+ * @property publicInputs.cardanoAnchorTxHash - Binding to Cardano anchor
+ */
+export interface AttestationProof extends Proof {
+    proofType: "attestation-valid";
+    publicInputs: AttestationPublicInputs;
+}
+export interface AttestationPublicInputs {
+    teeType: TeeType;
+    measurementMatch: boolean;
+    boundHash: string;
+    cardanoAnchorTxHash: string;
+}
+/**
+ * Input for selective disclosure proof.
+ * Proves a span exists in a bundle without revealing other spans.
+ *
+ * @property bundle - Full trace bundle (private witness)
+ * @property spanId - ID of span to disclose/prove membership
+ * @property merkleRoot - Expected Merkle root (from anchor)
+ * @property cardanoAnchorTxHash - Binding to Cardano anchor
+ */
+export interface DisclosureInput {
+    bundle: TraceBundle;
+    spanId: string;
+    merkleRoot: string;
+    cardanoAnchorTxHash: string;
+}
+/**
+ * Selective disclosure proof.
+ * Proves span membership with optional span/event revelation.
+ *
+ * @property publicInputs - Values visible to verifiers
+ * @property publicInputs.spanHash - Hash of the disclosed span
+ * @property publicInputs.merkleRoot - Merkle root the span belongs to
+ * @property publicInputs.cardanoAnchorTxHash - Binding to Cardano anchor
+ * @property disclosedSpan - Optionally revealed span data
+ * @property disclosedEvents - Optionally revealed events in span
+ */
+export interface DisclosureProof extends Proof {
+    proofType: "selective-disclosure";
+    publicInputs: DisclosurePublicInputs;
+    disclosedSpan: TraceSpan | undefined;
+    disclosedEvents: TraceEvent[] | undefined;
+}
+export interface DisclosurePublicInputs {
+    spanHash: string;
+    merkleRoot: string;
+    cardanoAnchorTxHash: string;
+}
+/**
+ * Inference parameters for zkML proof.
+ * Captures model configuration at inference time.
+ */
+export interface InferenceParams {
+    temperature: number | undefined;
+    topP: number | undefined;
+    topK: number | undefined;
+    maxTokens: number | undefined;
+    stopStrings: string[] | undefined;
+    frequencyPenalty: number | undefined;
+    presencePenalty: number | undefined;
+}
+/**
+ * Input for zkML inference proof.
+ * Proves model output is correct for given inputs.
+ *
+ * WARNING: zkML proofs are extremely expensive. Use only for high-stakes scenarios.
+ *
+ * @property modelId - Identifier of the model (e.g., "gpt-4", "claude-3")
+ * @property modelWeightDigest - Hash of model weights (for verification)
+ * @property inputTokens - Tokenized input (private)
+ * @property outputTokens - Tokenized output (private)
+ * @property params - Inference parameters used
+ * @property cardanoAnchorTxHash - Binding to Cardano anchor
+ */
+export interface InferenceInput {
+    modelId: string;
+    modelWeightDigest: string;
+    inputTokens: number[];
+    outputTokens: number[];
+    params: InferenceParams;
+    cardanoAnchorTxHash: string;
+}
+/**
+ * zkML inference proof.
+ * Proves model inference correctness (extremely expensive).
+ *
+ * @property publicInputs - Values visible to verifiers
+ * @property publicInputs.modelWeightDigest - Proves which model was used
+ * @property publicInputs.inputHash - Hash of input tokens
+ * @property publicInputs.outputHash - Hash of output tokens
+ * @property publicInputs.paramsHash - Hash of inference parameters
+ * @property publicInputs.cardanoAnchorTxHash - Binding to Cardano anchor
+ * @property metrics - Cost/performance metrics for the proof
+ */
+export interface InferenceProof extends Proof {
+    proofType: "zkml-inference";
+    publicInputs: InferencePublicInputs;
+    metrics: InferenceProofMetrics;
+}
+export interface InferencePublicInputs {
+    modelWeightDigest: string;
+    inputHash: string;
+    outputHash: string;
+    paramsHash: string;
+    cardanoAnchorTxHash: string;
+}
+/**
+ * Metrics for zkML proof generation.
+ * zkML proofs are expensive - these metrics help track costs.
+ */
+export interface InferenceProofMetrics {
+    provingTimeMs: number;
+    proofSizeBytes: number;
+    circuitSize: number;
+    memoryUsageMB: number | undefined;
+    gpuUsed: boolean | undefined;
+}
+/**
+ * Configuration for connecting to a Midnight proof server.
+ *
+ * @property proofServerUrl - URL of the Midnight proof server
+ * @property apiKey - Optional API key for authentication
+ * @property timeout - Request timeout in milliseconds
+ * @property retries - Number of retries on failure
+ * @property circuitCacheDir - Optional local circuit cache directory
+ */
+export interface ProofServerConfig {
+    proofServerUrl: string;
+    apiKey: string | undefined;
+    timeout: number;
+    retries: number;
+    circuitCacheDir: string | undefined;
+}
+/**
+ * Default proof server configuration.
+ */
+export declare const DEFAULT_PROOF_SERVER_CONFIG: Partial<ProofServerConfig>;
+/**
+ * Result of publishing a proof to the Midnight network.
+ *
+ * @property midnightTxHash - Transaction hash on Midnight
+ * @property proofId - Unique identifier for the proof
+ * @property timestamp - When the proof was published
+ * @property cardanoAnchorTxHash - Cross-chain reference to Cardano
+ * @property blockNumber - Block number where proof was included
+ * @property fee - Fee paid for publication
+ */
+export interface PublicationResult {
+    midnightTxHash: string;
+    proofId: string;
+    timestamp: string;
+    cardanoAnchorTxHash: string;
+    blockNumber: number | undefined;
+    fee: bigint | undefined;
+}
+/**
+ * Result of verifying a proof.
+ */
+export interface ProofVerificationResult {
+    valid: boolean;
+    proofType: ProofType;
+    publicInputs: Record<string, unknown>;
+    errors: string[];
+    warnings: string[];
+    verifiedAt: string;
+}
+/**
+ * Error codes for midnight-prover operations.
+ * Uses 5xxx range as specified in architectural plan.
+ */
+export declare enum MidnightProverError {
+    CONNECTION_FAILED = 5000,
+    CONNECTION_TIMEOUT = 5001,
+    CONNECTION_REFUSED = 5002,
+    AUTHENTICATION_FAILED = 5003,
+    PROOF_GENERATION_FAILED = 5020,
+    CIRCUIT_NOT_FOUND = 5021,
+    INVALID_WITNESS = 5022,
+    WITNESS_TOO_LARGE = 5023,
+    INSUFFICIENT_RESOURCES = 5024,
+    PROVING_TIMEOUT = 5025,
+    PROOF_VERIFICATION_FAILED = 5050,
+    INVALID_PROOF_FORMAT = 5051,
+    PUBLIC_INPUT_MISMATCH = 5052,
+    PROOF_EXPIRED = 5053,
+    PUBLICATION_FAILED = 5080,
+    INSUFFICIENT_FUNDS = 5081,
+    NETWORK_ERROR = 5082,
+    TRANSACTION_REJECTED = 5083,
+    INVALID_INPUT = 5100,
+    MISSING_REQUIRED_FIELD = 5101,
+    HASH_MISMATCH = 5102,
+    ANCHOR_NOT_FOUND = 5103,
+    SPAN_NOT_FOUND = 5104,
+    CIRCUIT_COMPILE_FAILED = 5120,
+    CIRCUIT_EXECUTION_FAILED = 5121,
+    CIRCUIT_CONSTRAINT_VIOLATED = 5122
+}
+/**
+ * Exception class for midnight-prover errors.
+ * Provides structured error information with error codes.
+ */
+export declare class MidnightProverException extends Error {
+    readonly code: MidnightProverError;
+    readonly cause?: Error | undefined;
+    constructor(code: MidnightProverError, message: string, cause?: Error | undefined);
+    /**
+     * Create a formatted error message including code.
+     */
+    toString(): string;
+}
+/**
+ * Union of all proof types for type guards and discriminated unions.
+ */
+export type AnyProof = HashChainProof | PolicyProof | AttestationProof | DisclosureProof | InferenceProof;
+/**
+ * Union of all proof input types.
+ */
+export type AnyProofInput = HashChainInput | PolicyInput | AttestationInput | DisclosureInput | InferenceInput;
+/**
+ * Union of all public input types.
+ */
+export type AnyPublicInputs = HashChainPublicInputs | PolicyPublicInputs | AttestationPublicInputs | DisclosurePublicInputs | InferencePublicInputs;
+/**
+ * Type guard for HashChainProof.
+ */
+export declare function isHashChainProof(proof: AnyProof): proof is HashChainProof;
+/**
+ * Type guard for PolicyProof.
+ */
+export declare function isPolicyProof(proof: AnyProof): proof is PolicyProof;
+/**
+ * Type guard for AttestationProof.
+ */
+export declare function isAttestationProof(proof: AnyProof): proof is AttestationProof;
+/**
+ * Type guard for DisclosureProof.
+ */
+export declare function isDisclosureProof(proof: AnyProof): proof is DisclosureProof;
+/**
+ * Type guard for InferenceProof.
+ */
+export declare function isInferenceProof(proof: AnyProof): proof is InferenceProof;
+//# sourceMappingURL=types.d.ts.map

package/dist/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,2CAA2C,CAAC;AACpG,OAAO,KAAK,EAAE,iBAAiB,EAAE,cAAc,EAAE,OAAO,EAAE,MAAM,sCAAsC,CAAC;AAMvG;;;GAGG;AACH,MAAM,MAAM,SAAS,GACjB,YAAY,GACZ,mBAAmB,GACnB,mBAAmB,GACnB,sBAAsB,GACtB,gBAAgB,CAAC;AAMrB;;;;;;;;;;GAUG;AACH,MAAM,WAAW,KAAK;IACpB,SAAS,EAAE,SAAS,CAAC;IACrB,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,UAAU,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;IAClB,aAAa,EAAE,MAAM,CAAC;IACtB,cAAc,EAAE,MAAM,CAAC;CACxB;AAMD;;;;;;;;GAQG;AACH,MAAM,WAAW,cAAc;IAC7B,MAAM,EAAE,UAAU,EAAE,CAAC;IACrB,WAAW,EAAE,MAAM,CAAC;IACpB,gBAAgB,EAAE,MAAM,CAAC;IACzB,mBAAmB,EAAE,MAAM,CAAC;CAC7B;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,cAAe,SAAQ,KAAK;IAC3C,SAAS,EAAE,YAAY,CAAC;IACxB,YAAY,EAAE,qBAAqB,CAAC;CACrC;AAED,MAAM,WAAW,qBAAqB;IACpC,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;IACnB,mBAAmB,EAAE,MAAM,CAAC;CAC7B;AAMD;;;;;;;;GAQG;AACH,MAAM,WAAW,WAAW;IAC1B,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,aAAa,CAAC;IACtB,mBAAmB,EAAE,MAAM,CAAC;CAC7B;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,aAAa;IAC5B,EAAE,EAAE,MAAM,CAAC;IACX,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,UAAU,EAAE,CAAC;CACrB;AAED;;;;;;GAMG;AACH,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,WAAW,GAAG,WAAW,GAAG,OAAO,GAAG,YAAY,CAAC;IACzD,MAAM,EAAE,QAAQ,GAAG,QAAQ,GAAG,MAAM,CAAC;IACrC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACjC;AAED;;;;;;;;;;GAUG;AACH,MAAM,WAAW,WAAY,SAAQ,KAAK;IACxC,SAAS,EAAE,mBAAmB,CAAC;IAC/B,YAAY,EAAE,kBAAkB,CAAC;CAClC;AAED,MAAM,WAAW,kBAAkB;IACjC,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;AAMD;;;;;;;GAOG;AACH,MAAM,WAAW,gBAAgB;IAC/B,WAAW,EAAE,iBAAiB,CAAC;IAC/B,MAAM,EAAE,cAAc,CAAC;IACvB,mBAAmB,EAAE,MAAM,CAAC;CAC7B;AAED;;;;;;;;;GASG;AACH,MAAM,WAAW,gBAAiB,SAAQ,KAAK;IAC7C,SAAS,EAAE,mBAAmB,CAAC;IAC/B,YAAY,EAAE,uBAAuB,CAAC;CACvC;AAED,MAAM,WAAW,uBAAuB;IACtC,OAAO,EAAE,OAAO,CAAC;IACjB,gBAAgB,EAAE,OAAO,CAAC;IAC1B,SAAS,EAAE,MAAM,CAAC;IAClB,mBAAmB,EAAE,MAAM,CAAC;CAC7B;AAMD;;;;;;;;GAQG;AACH,MAAM,WAAW,eAAe;IAC9B,MAAM,EAAE,WAAW,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,mBAAmB,EAAE,MAAM,CAAC;CAC7B;AAED;;;;;;;;;;GAUG;AACH,MAAM,WAAW,eAAgB,SAAQ,KAAK;IAC5C,SAAS,EAAE,sBAAsB,CAAC;IAClC,YAAY,EAAE,sBAAsB,CAAC;IACrC,aAAa,EAAE,SAAS,GAAG,SAAS,CAAC;IACrC,eAAe,EAAE,UAAU,EAAE,GAAG,SAAS,CAAC;CAC3C;AAED,MAAM,WAAW,sBAAsB;IACrC,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;IACnB,mBAAmB,EAAE,MAAM,CAAC;CAC7B;AAMD;;;GAGG;AACH,MAAM,WAAW,eAAe;IAC9B,WAAW,EAAE,MAAM,GAAG,SAAS,CAAC;IAChC,IAAI,EAAE,MAAM,GAAG,SAAS,CAAC;IACzB,IAAI,EAAE,MAAM,GAAG,SAAS,CAAC;IACzB,SAAS,EAAE,MAAM,GAAG,SAAS,CAAC;IAC9B,WAAW,EAAE,MAAM,EAAE,GAAG,SAAS,CAAC;IAClC,gBAAgB,EAAE,MAAM,GAAG,SAAS,CAAC;IACrC,eAAe,EAAE,MAAM,GAAG,SAAS,CAAC;CACrC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,WAAW,cAAc;IAC7B,OAAO,EAAE,MAAM,CAAC;IAChB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,MAAM,EAAE,eAAe,CAAC;IACxB,mBAAmB,EAAE,MAAM,CAAC;CAC7B;AAED;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,cAAe,SAAQ,KAAK;IAC3C,SAAS,EAAE,gBAAgB,CAAC;IAC5B,YAAY,EAAE,qBAAqB,CAAC;IACpC,OAAO,EAAE,qBAAqB,CAAC;CAChC;AAED,MAAM,WAAW,qBAAqB;IACpC,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;;;GAGG;AACH,MAAM,WAAW,qBAAqB;IACpC,aAAa,EAAE,MAAM,CAAC;IACtB,cAAc,EAAE,MAAM,CAAC;IACvB,WAAW,EAAE,MAAM,CAAC;IACpB,aAAa,EAAE,MAAM,GAAG,SAAS,CAAC;IAClC,OAAO,EAAE,OAAO,GAAG,SAAS,CAAC;CAC9B;AAMD;;;;;;;;GAQG;AACH,MAAM,WAAW,iBAAiB;IAChC,cAAc,EAAE,MAAM,CAAC;IACvB,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC;IAC3B,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;IAChB,eAAe,EAAE,MAAM,GAAG,SAAS,CAAC;CACrC;AAED;;GAEG;AACH,eAAO,MAAM,2BAA2B,EAAE,OAAO,CAAC,iBAAiB,CAGzD,CAAC;AAMX;;;;;;;;;GASG;AACH,MAAM,WAAW,iBAAiB;IAChC,cAAc,EAAE,MAAM,CAAC;IACvB,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,mBAAmB,EAAE,MAAM,CAAC;IAC5B,WAAW,EAAE,MAAM,GAAG,SAAS,CAAC;IAChC,GAAG,EAAE,MAAM,GAAG,SAAS,CAAC;CACzB;AAMD;;GAEG;AACH,MAAM,WAAW,uBAAuB;IACtC,KAAK,EAAE,OAAO,CAAC;IACf,SAAS,EAAE,SAAS,CAAC;IACrB,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACtC,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;CACpB;AAMD;;;GAGG;AACH,oBAAY,mBAAmB;IAE7B,iBAAiB,OAAO;IACxB,kBAAkB,OAAO;IACzB,kBAAkB,OAAO;IACzB,qBAAqB,OAAO;IAG5B,uBAAuB,OAAO;IAC9B,iBAAiB,OAAO;IACxB,eAAe,OAAO;IACtB,iBAAiB,OAAO;IACxB,sBAAsB,OAAO;IAC7B,eAAe,OAAO;IAGtB,yBAAyB,OAAO;IAChC,oBAAoB,OAAO;IAC3B,qBAAqB,OAAO;IAC5B,aAAa,OAAO;IAGpB,kBAAkB,OAAO;IACzB,kBAAkB,OAAO;IACzB,aAAa,OAAO;IACpB,oBAAoB,OAAO;IAG3B,aAAa,OAAO;IACpB,sBAAsB,OAAO;IAC7B,aAAa,OAAO;IACpB,gBAAgB,OAAO;IACvB,cAAc,OAAO;IAGrB,sBAAsB,OAAO;IAC7B,wBAAwB,OAAO;IAC/B,2BAA2B,OAAO;CACnC;AAED;;;GAGG;AACH,qBAAa,uBAAwB,SAAQ,KAAK;aAE9B,IAAI,EAAE,mBAAmB;aAEzB,KAAK,CAAC,EAAE,KAAK;gBAFb,IAAI,EAAE,mBAAmB,EACzC,OAAO,EAAE,MAAM,EACC,KAAK,CAAC,EAAE,KAAK,YAAA;IAM/B;;OAEG;IACH,QAAQ,IAAI,MAAM;CAKnB;AAMD;;GAEG;AACH,MAAM,MAAM,QAAQ,GAChB,cAAc,GACd,WAAW,GACX,gBAAgB,GAChB,eAAe,GACf,cAAc,CAAC;AAEnB;;GAEG;AACH,MAAM,MAAM,aAAa,GACrB,cAAc,GACd,WAAW,GACX,gBAAgB,GAChB,eAAe,GACf,cAAc,CAAC;AAEnB;;GAEG;AACH,MAAM,MAAM,eAAe,GACvB,qBAAqB,GACrB,kBAAkB,GAClB,uBAAuB,GACvB,sBAAsB,GACtB,qBAAqB,CAAC;AAM1B;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,QAAQ,GAAG,KAAK,IAAI,cAAc,CAEzE;AAED;;GAEG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,QAAQ,GAAG,KAAK,IAAI,WAAW,CAEnE;AAED;;GAEG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,QAAQ,GAAG,KAAK,IAAI,gBAAgB,CAE7E;AAED;;GAEG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,QAAQ,GAAG,KAAK,IAAI,eAAe,CAE3E;AAED;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,QAAQ,GAAG,KAAK,IAAI,cAAc,CAEzE"}

package/dist/types.js

@@ -0,0 +1,128 @@
+/**
+ * @fileoverview Type definitions for the poi-midnight-prover package.
+ *
+ * Location: packages/midnight-prover/src/types.ts
+ *
+ * Summary:
+ * This file contains all type definitions for ZK proof generation using the Midnight network.
+ * It defines proof types, input/output structures for various proof circuits, configuration
+ * options, and error handling.
+ *
+ * Usage:
+ * Types are imported by the prover-interface.ts and will be used by proof generation
+ * implementations in the proofs/ directory. These types integrate with process-trace
+ * (TraceEvent, TraceBundle) and attestor (AttestationBundle, VerifierPolicy) packages.
+ *
+ * Key concepts:
+ * - ProofType: Discriminator for different ZK proof circuits
+ * - HashChainProof: Proves trace hash chain validity
+ * - PolicyProof: Proves content compliance without revealing content
+ * - AttestationProof: Proves valid TEE attestation
+ * - DisclosureProof: Selective disclosure of spans without revealing others
+ * - InferenceProof: Optional zkML proof for model inference correctness
+ */
+/**
+ * Default proof server configuration.
+ */
+export const DEFAULT_PROOF_SERVER_CONFIG = {
+    timeout: 300_000, // 5 minutes
+    retries: 3,
+};
+// =============================================================================
+// ERRORS
+// =============================================================================
+/**
+ * Error codes for midnight-prover operations.
+ * Uses 5xxx range as specified in architectural plan.
+ */
+export var MidnightProverError;
+(function (MidnightProverError) {
+    // Connection errors (5000-5019)
+    MidnightProverError[MidnightProverError["CONNECTION_FAILED"] = 5000] = "CONNECTION_FAILED";
+    MidnightProverError[MidnightProverError["CONNECTION_TIMEOUT"] = 5001] = "CONNECTION_TIMEOUT";
+    MidnightProverError[MidnightProverError["CONNECTION_REFUSED"] = 5002] = "CONNECTION_REFUSED";
+    MidnightProverError[MidnightProverError["AUTHENTICATION_FAILED"] = 5003] = "AUTHENTICATION_FAILED";
+    // Proof generation errors (5020-5049)
+    MidnightProverError[MidnightProverError["PROOF_GENERATION_FAILED"] = 5020] = "PROOF_GENERATION_FAILED";
+    MidnightProverError[MidnightProverError["CIRCUIT_NOT_FOUND"] = 5021] = "CIRCUIT_NOT_FOUND";
+    MidnightProverError[MidnightProverError["INVALID_WITNESS"] = 5022] = "INVALID_WITNESS";
+    MidnightProverError[MidnightProverError["WITNESS_TOO_LARGE"] = 5023] = "WITNESS_TOO_LARGE";
+    MidnightProverError[MidnightProverError["INSUFFICIENT_RESOURCES"] = 5024] = "INSUFFICIENT_RESOURCES";
+    MidnightProverError[MidnightProverError["PROVING_TIMEOUT"] = 5025] = "PROVING_TIMEOUT";
+    // Proof verification errors (5050-5079)
+    MidnightProverError[MidnightProverError["PROOF_VERIFICATION_FAILED"] = 5050] = "PROOF_VERIFICATION_FAILED";
+    MidnightProverError[MidnightProverError["INVALID_PROOF_FORMAT"] = 5051] = "INVALID_PROOF_FORMAT";
+    MidnightProverError[MidnightProverError["PUBLIC_INPUT_MISMATCH"] = 5052] = "PUBLIC_INPUT_MISMATCH";
+    MidnightProverError[MidnightProverError["PROOF_EXPIRED"] = 5053] = "PROOF_EXPIRED";
+    // Publication errors (5080-5099)
+    MidnightProverError[MidnightProverError["PUBLICATION_FAILED"] = 5080] = "PUBLICATION_FAILED";
+    MidnightProverError[MidnightProverError["INSUFFICIENT_FUNDS"] = 5081] = "INSUFFICIENT_FUNDS";
+    MidnightProverError[MidnightProverError["NETWORK_ERROR"] = 5082] = "NETWORK_ERROR";
+    MidnightProverError[MidnightProverError["TRANSACTION_REJECTED"] = 5083] = "TRANSACTION_REJECTED";
+    // Input validation errors (5100-5119)
+    MidnightProverError[MidnightProverError["INVALID_INPUT"] = 5100] = "INVALID_INPUT";
+    MidnightProverError[MidnightProverError["MISSING_REQUIRED_FIELD"] = 5101] = "MISSING_REQUIRED_FIELD";
+    MidnightProverError[MidnightProverError["HASH_MISMATCH"] = 5102] = "HASH_MISMATCH";
+    MidnightProverError[MidnightProverError["ANCHOR_NOT_FOUND"] = 5103] = "ANCHOR_NOT_FOUND";
+    MidnightProverError[MidnightProverError["SPAN_NOT_FOUND"] = 5104] = "SPAN_NOT_FOUND";
+    // Circuit errors (5120-5139)
+    MidnightProverError[MidnightProverError["CIRCUIT_COMPILE_FAILED"] = 5120] = "CIRCUIT_COMPILE_FAILED";
+    MidnightProverError[MidnightProverError["CIRCUIT_EXECUTION_FAILED"] = 5121] = "CIRCUIT_EXECUTION_FAILED";
+    MidnightProverError[MidnightProverError["CIRCUIT_CONSTRAINT_VIOLATED"] = 5122] = "CIRCUIT_CONSTRAINT_VIOLATED";
+})(MidnightProverError || (MidnightProverError = {}));
+/**
+ * Exception class for midnight-prover errors.
+ * Provides structured error information with error codes.
+ */
+export class MidnightProverException extends Error {
+    code;
+    cause;
+    constructor(code, message, cause) {
+        super(message);
+        this.code = code;
+        this.cause = cause;
+        this.name = "MidnightProverException";
+    }
+    /**
+     * Create a formatted error message including code.
+     */
+    toString() {
+        const codeStr = MidnightProverError[this.code] ?? this.code.toString();
+        const causeStr = this.cause ? ` (caused by: ${this.cause.message})` : "";
+        return `[${codeStr}] ${this.message}${causeStr}`;
+    }
+}
+// =============================================================================
+// TYPE GUARDS
+// =============================================================================
+/**
+ * Type guard for HashChainProof.
+ */
+export function isHashChainProof(proof) {
+    return proof.proofType === "hash-chain";
+}
+/**
+ * Type guard for PolicyProof.
+ */
+export function isPolicyProof(proof) {
+    return proof.proofType === "policy-compliance";
+}
+/**
+ * Type guard for AttestationProof.
+ */
+export function isAttestationProof(proof) {
+    return proof.proofType === "attestation-valid";
+}
+/**
+ * Type guard for DisclosureProof.
+ */
+export function isDisclosureProof(proof) {
+    return proof.proofType === "selective-disclosure";
+}
+/**
+ * Type guard for InferenceProof.
+ */
+export function isInferenceProof(proof) {
+    return proof.proofType === "zkml-inference";
+}
+//# sourceMappingURL=types.js.map

package/dist/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAkVH;;GAEG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAA+B;IACrE,OAAO,EAAE,OAAO,EAAE,YAAY;IAC9B,OAAO,EAAE,CAAC;CACF,CAAC;AAyCX,gFAAgF;AAChF,SAAS;AACT,gFAAgF;AAEhF;;;GAGG;AACH,MAAM,CAAN,IAAY,mBAsCX;AAtCD,WAAY,mBAAmB;IAC7B,gCAAgC;IAChC,0FAAwB,CAAA;IACxB,4FAAyB,CAAA;IACzB,4FAAyB,CAAA;IACzB,kGAA4B,CAAA;IAE5B,sCAAsC;IACtC,sGAA8B,CAAA;IAC9B,0FAAwB,CAAA;IACxB,sFAAsB,CAAA;IACtB,0FAAwB,CAAA;IACxB,oGAA6B,CAAA;IAC7B,sFAAsB,CAAA;IAEtB,wCAAwC;IACxC,0GAAgC,CAAA;IAChC,gGAA2B,CAAA;IAC3B,kGAA4B,CAAA;IAC5B,kFAAoB,CAAA;IAEpB,iCAAiC;IACjC,4FAAyB,CAAA;IACzB,4FAAyB,CAAA;IACzB,kFAAoB,CAAA;IACpB,gGAA2B,CAAA;IAE3B,sCAAsC;IACtC,kFAAoB,CAAA;IACpB,oGAA6B,CAAA;IAC7B,kFAAoB,CAAA;IACpB,wFAAuB,CAAA;IACvB,oFAAqB,CAAA;IAErB,6BAA6B;IAC7B,oGAA6B,CAAA;IAC7B,wGAA+B,CAAA;IAC/B,8GAAkC,CAAA;AACpC,CAAC,EAtCW,mBAAmB,KAAnB,mBAAmB,QAsC9B;AAED;;;GAGG;AACH,MAAM,OAAO,uBAAwB,SAAQ,KAAK;IAE9B;IAEA;IAHlB,YACkB,IAAyB,EACzC,OAAe,EACC,KAAa;QAE7B,KAAK,CAAC,OAAO,CAAC,CAAC;QAJC,SAAI,GAAJ,IAAI,CAAqB;QAEzB,UAAK,GAAL,KAAK,CAAQ;QAG7B,IAAI,CAAC,IAAI,GAAG,yBAAyB,CAAC;IACxC,CAAC;IAED;;OAEG;IACH,QAAQ;QACN,MAAM,OAAO,GAAG,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;QACvE,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,gBAAgB,IAAI,CAAC,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;QACzE,OAAO,IAAI,OAAO,KAAK,IAAI,CAAC,OAAO,GAAG,QAAQ,EAAE,CAAC;IACnD,CAAC;CACF;AAoCD,gFAAgF;AAChF,cAAc;AACd,gFAAgF;AAEhF;;GAEG;AACH,MAAM,UAAU,gBAAgB,CAAC,KAAe;IAC9C,OAAO,KAAK,CAAC,SAAS,KAAK,YAAY,CAAC;AAC1C,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,aAAa,CAAC,KAAe;IAC3C,OAAO,KAAK,CAAC,SAAS,KAAK,mBAAmB,CAAC;AACjD,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,kBAAkB,CAAC,KAAe;IAChD,OAAO,KAAK,CAAC,SAAS,KAAK,mBAAmB,CAAC;AACjD,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAe;IAC/C,OAAO,KAAK,CAAC,SAAS,KAAK,sBAAsB,CAAC;AACpD,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,gBAAgB,CAAC,KAAe;IAC9C,OAAO,KAAK,CAAC,SAAS,KAAK,gBAAgB,CAAC;AAC9C,CAAC"}

package/package.json

@@ -0,0 +1,59 @@
+{
+  "name": "@fluxpointstudios/orynq-sdk-midnight-prover",
+  "version": "0.1.0",
+  "description": "ZK proof generation for PoI using Midnight network",
+  "type": "module",
+  "main": "./dist/index.js",
+  "types": "./dist/index.d.ts",
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "import": "./dist/index.js"
+    }
+  },
+  "files": [
+    "dist",
+    "src"
+  ],
+  "dependencies": {
+    "@fluxpointstudios/orynq-sdk-core": "0.1.0",
+    "@fluxpointstudios/orynq-sdk-process-trace": "0.1.0",
+    "@fluxpointstudios/orynq-sdk-anchors-cardano": "0.1.0",
+    "@fluxpointstudios/orynq-sdk-attestor": "0.1.0"
+  },
+  "devDependencies": {
+    "@types/node": "^20.0.0",
+    "typescript": "^5.3.3",
+    "vitest": "^2.1.8"
+  },
+  "peerDependencies": {
+    "@midnight-ntwrk/compact-runtime": "^0.14.0"
+  },
+  "peerDependenciesMeta": {
+    "@midnight-ntwrk/compact-runtime": {
+      "optional": true
+    }
+  },
+  "keywords": [
+    "poi",
+    "proof-of-inference",
+    "midnight",
+    "zk",
+    "zero-knowledge",
+    "privacy"
+  ],
+  "author": "Flux Point Studios",
+  "license": "MIT",
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/Flux-Point-Studios/orynq-sdk.git",
+    "directory": "packages/midnight-prover"
+  },
+  "scripts": {
+    "build": "tsc",
+    "clean": "rimraf dist",
+    "test": "vitest run",
+    "lint": "eslint src --ext .ts",
+    "typecheck": "tsc --noEmit"
+  }
+}