@longarc/mdash 3.0.0

package/dist/zk/engine.d.ts

@@ -0,0 +1,243 @@
+/**
+ * mdash v3.0 - L3 ZK Proofs Layer
+ *
+ * Mathematically bulletproof attestation for disputes and insurance claims.
+ * Uses Plonky2 (STARK-based) for async proof generation.
+ *
+ * Use Cases:
+ * - Insurance claim verification
+ * - Legal dispute evidence
+ * - Audit compliance
+ * - High-value transaction attestation
+ *
+ * Latency: 100ms - 10s (async, background)
+ * Trust: Mathematical only (no hardware dependency)
+ *
+ * @version 3.0.0
+ */
+import { Hash, Seal, Timestamp } from '../core/crypto.js';
+import { CommitmentEngine } from '../core/commitment.js';
+export type ProofStatus = 'queued' | 'proving' | 'verified' | 'failed' | 'expired';
+export type ProofType = 'commitment_inclusion' | 'warrant_validity' | 'checkpoint_chain' | 'action_compliance' | 'audit_trail' | 'custom';
+/**
+ * Plonky2 proof structure
+ * Based on Polygon's Plonky2 implementation
+ */
+export interface Plonky2Proof {
+    /** Proof bytes (base64 encoded) */
+    proof: string;
+    /** Public inputs */
+    public_inputs: string[];
+    /** Verification key hash */
+    verifier_key_hash: Hash;
+    /** Circuit type */
+    circuit: string;
+    /** Number of gates */
+    num_gates: number;
+    /** Proving time (ms) */
+    proving_time_ms: number;
+}
+/**
+ * Zero Knowledge Proof Document
+ */
+export interface ZKProofDocument {
+    /** Unique proof ID */
+    id: string;
+    /** Type of proof */
+    type: ProofType;
+    /** Creation timestamp */
+    timestamp: Timestamp;
+    /** Status */
+    status: ProofStatus;
+    /** Statement being proven */
+    statement: {
+        /** Human readable description */
+        description: string;
+        /** Structured claim */
+        claim: Record<string, unknown>;
+        /** Hash of the claim */
+        claim_hash: Hash;
+    };
+    /** The ZK proof itself */
+    proof: Plonky2Proof | null;
+    /** References to L1/L2 attestations */
+    references: {
+        commitments: string[];
+        attestations: string[];
+    };
+    /** Verification result */
+    verification: {
+        verified: boolean;
+        verified_at: Timestamp | null;
+        verifier: string | null;
+    };
+    /** Expiry */
+    expires_at: Timestamp;
+    /** Seal */
+    seal: Seal;
+}
+/**
+ * Proof request
+ */
+export interface ProofRequest {
+    type: ProofType;
+    statement: {
+        description: string;
+        claim: Record<string, unknown>;
+    };
+    commitmentIds?: string[];
+    attestationIds?: string[];
+    priority?: 'low' | 'normal' | 'high';
+    deadline?: Timestamp;
+}
+/**
+ * Circuit configuration
+ * Defines the structure for each proof type
+ */
+export interface CircuitConfig {
+    name: string;
+    numPublicInputs: number;
+    numPrivateInputs: number;
+    estimatedGates: number;
+    estimatedProvingTimeMs: number;
+}
+export declare const CIRCUIT_CONFIGS: Record<ProofType, CircuitConfig>;
+interface QueuedProof {
+    request: ProofRequest;
+    document: ZKProofDocument;
+    priority: number;
+    queuedAt: number;
+    deadline: number | null;
+}
+declare class ProofQueue {
+    private queue;
+    private processing;
+    private maxConcurrent;
+    constructor(maxConcurrent?: number);
+    enqueue(item: QueuedProof): void;
+    dequeue(): QueuedProof | null;
+    complete(id: string): void;
+    getStats(): {
+        queued: number;
+        processing: number;
+        totalPending: number;
+    };
+}
+export declare class ZKProofsEngine {
+    private key;
+    private commitmentEngine;
+    private documents;
+    private queue;
+    private verificationKeys;
+    private processingInterval;
+    private metrics;
+    constructor(commitmentEngine: CommitmentEngine, maxConcurrent?: number);
+    /**
+     * Initialize the ZK proofs engine
+     */
+    initialize(sealKey: string): Promise<void>;
+    /**
+     * Start background proof processing
+     */
+    private startProcessing;
+    /**
+     * Stop background processing
+     */
+    stopProcessing(): void;
+    /**
+     * Request a ZK proof (async)
+     * Returns immediately with proof document in 'queued' status
+     */
+    requestProof(request: ProofRequest): Promise<ZKProofDocument>;
+    /**
+     * Process queued proofs
+     */
+    private processQueue;
+    /**
+     * Generate a ZK proof (Plonky2 simulation)
+     */
+    private generateProof;
+    /**
+     * Generate public inputs based on proof type
+     */
+    private generatePublicInputs;
+    /**
+     * Verify a ZK proof
+     */
+    verifyProof(document: ZKProofDocument): Promise<{
+        valid: boolean;
+        errors: string[];
+    }>;
+    /**
+     * Get proof document by ID
+     */
+    get(id: string): ZKProofDocument | null;
+    /**
+     * Wait for proof completion
+     */
+    waitForProof(id: string, timeoutMs?: number): Promise<ZKProofDocument>;
+    /**
+     * Get queue statistics
+     */
+    getQueueStats(): ReturnType<ProofQueue['getStats']>;
+    /**
+     * Get engine statistics
+     */
+    getStats(): {
+        proofsGenerated: number;
+        proofsVerified: number;
+        avgProvingTimeMs: number;
+        failures: number;
+        queueStats: ReturnType<ProofQueue['getStats']>;
+    };
+}
+export declare class ClaimBuilder {
+    private type;
+    private claim;
+    private description;
+    private commitmentIds;
+    private attestationIds;
+    constructor(type: ProofType);
+    /**
+     * Set claim description
+     */
+    withDescription(desc: string): this;
+    /**
+     * Add claim data
+     */
+    withClaim(key: string, value: unknown): this;
+    /**
+     * Reference L1 commitments
+     */
+    withCommitments(...ids: string[]): this;
+    /**
+     * Reference L2 attestations
+     */
+    withAttestations(...ids: string[]): this;
+    /**
+     * Build the proof request
+     */
+    build(priority?: 'low' | 'normal' | 'high'): ProofRequest;
+}
+/**
+ * Helper for generating insurance-grade proofs
+ */
+export declare class InsuranceClaimProof {
+    private zkEngine;
+    constructor(zkEngine: ZKProofsEngine);
+    /**
+     * Generate proof for an insurance claim
+     */
+    generateClaim(params: {
+        claimId: string;
+        policyId: string;
+        incidentDescription: string;
+        warrantId: string;
+        checkpointIds: string[];
+        actionDetails: Record<string, unknown>;
+        amount: number;
+        currency: string;
+    }): Promise<ZKProofDocument>;
+}
+export {};
+//# sourceMappingURL=engine.d.ts.map

package/dist/zk/engine.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"engine.d.ts","sourceRoot":"","sources":["../../src/zk/engine.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EACL,IAAI,EACJ,IAAI,EACJ,SAAS,EAMV,MAAM,mBAAmB,CAAC;AAE3B,OAAO,EAAE,gBAAgB,EAAc,MAAM,uBAAuB,CAAC;AAOrE,MAAM,MAAM,WAAW,GACnB,QAAQ,GACR,SAAS,GACT,UAAU,GACV,QAAQ,GACR,SAAS,CAAC;AAEd,MAAM,MAAM,SAAS,GACjB,sBAAsB,GACtB,kBAAkB,GAClB,kBAAkB,GAClB,mBAAmB,GACnB,aAAa,GACb,QAAQ,CAAC;AAEb;;;GAGG;AACH,MAAM,WAAW,YAAY;IAC3B,mCAAmC;IACnC,KAAK,EAAE,MAAM,CAAC;IACd,oBAAoB;IACpB,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,4BAA4B;IAC5B,iBAAiB,EAAE,IAAI,CAAC;IACxB,mBAAmB;IACnB,OAAO,EAAE,MAAM,CAAC;IAChB,sBAAsB;IACtB,SAAS,EAAE,MAAM,CAAC;IAClB,wBAAwB;IACxB,eAAe,EAAE,MAAM,CAAC;CACzB;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,sBAAsB;IACtB,EAAE,EAAE,MAAM,CAAC;IACX,oBAAoB;IACpB,IAAI,EAAE,SAAS,CAAC;IAChB,yBAAyB;IACzB,SAAS,EAAE,SAAS,CAAC;IACrB,aAAa;IACb,MAAM,EAAE,WAAW,CAAC;IACpB,6BAA6B;IAC7B,SAAS,EAAE;QACT,iCAAiC;QACjC,WAAW,EAAE,MAAM,CAAC;QACpB,uBAAuB;QACvB,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QAC/B,wBAAwB;QACxB,UAAU,EAAE,IAAI,CAAC;KAClB,CAAC;IACF,0BAA0B;IAC1B,KAAK,EAAE,YAAY,GAAG,IAAI,CAAC;IAC3B,uCAAuC;IACvC,UAAU,EAAE;QACV,WAAW,EAAE,MAAM,EAAE,CAAC;QACtB,YAAY,EAAE,MAAM,EAAE,CAAC;KACxB,CAAC;IACF,0BAA0B;IAC1B,YAAY,EAAE;QACZ,QAAQ,EAAE,OAAO,CAAC;QAClB,WAAW,EAAE,SAAS,GAAG,IAAI,CAAC;QAC9B,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;KACzB,CAAC;IACF,aAAa;IACb,UAAU,EAAE,SAAS,CAAC;IACtB,WAAW;IACX,IAAI,EAAE,IAAI,CAAC;CACZ;AAED;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,SAAS,CAAC;IAChB,SAAS,EAAE;QACT,WAAW,EAAE,MAAM,CAAC;QACpB,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;KAChC,CAAC;IACF,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;IACzB,cAAc,CAAC,EAAE,MAAM,EAAE,CAAC;IAC1B,QAAQ,CAAC,EAAE,KAAK,GAAG,QAAQ,GAAG,MAAM,CAAC;IACrC,QAAQ,CAAC,EAAE,SAAS,CAAC;CACtB;AAMD;;;GAGG;AACH,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,eAAe,EAAE,MAAM,CAAC;IACxB,gBAAgB,EAAE,MAAM,CAAC;IACzB,cAAc,EAAE,MAAM,CAAC;IACvB,sBAAsB,EAAE,MAAM,CAAC;CAChC;AAED,eAAO,MAAM,eAAe,EAAE,MAAM,CAAC,SAAS,EAAE,aAAa,CA2C5D,CAAC;AAMF,UAAU,WAAW;IACnB,OAAO,EAAE,YAAY,CAAC;IACtB,QAAQ,EAAE,eAAe,CAAC;IAC1B,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;CACzB;AAED,cAAM,UAAU;IACd,OAAO,CAAC,KAAK,CAAqB;IAClC,OAAO,CAAC,UAAU,CAAuC;IACzD,OAAO,CAAC,aAAa,CAAS;gBAElB,aAAa,GAAE,MAAU;IAIrC,OAAO,CAAC,IAAI,EAAE,WAAW,GAAG,IAAI;IAahC,OAAO,IAAI,WAAW,GAAG,IAAI;IAY7B,QAAQ,CAAC,EAAE,EAAE,MAAM,GAAG,IAAI;IAI1B,QAAQ,IAAI;QACV,MAAM,EAAE,MAAM,CAAC;QACf,UAAU,EAAE,MAAM,CAAC;QACnB,YAAY,EAAE,MAAM,CAAC;KACtB;CAOF;AAMD,qBAAa,cAAc;IACzB,OAAO,CAAC,GAAG,CAA0B;IACrC,OAAO,CAAC,gBAAgB,CAAmB;IAC3C,OAAO,CAAC,SAAS,CAA2C;IAC5D,OAAO,CAAC,KAAK,CAAa;IAC1B,OAAO,CAAC,gBAAgB,CAAgC;IAGxD,OAAO,CAAC,kBAAkB,CAA+C;IAGzE,OAAO,CAAC,OAAO,CAKb;gBAEU,gBAAgB,EAAE,gBAAgB,EAAE,aAAa,GAAE,MAAU;IAKzE;;OAEG;IACG,UAAU,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAahD;;OAEG;IACH,OAAO,CAAC,eAAe;IAMvB;;OAEG;IACH,cAAc,IAAI,IAAI;IAOtB;;;OAGG;IACG,YAAY,CAAC,OAAO,EAAE,YAAY,GAAG,OAAO,CAAC,eAAe,CAAC;IA2DnE;;OAEG;YACW,YAAY;IAuC1B;;OAEG;YACW,aAAa;IA6C3B;;OAEG;YACW,oBAAoB;IAgDlC;;OAEG;IACG,WAAW,CAAC,QAAQ,EAAE,eAAe,GAAG,OAAO,CAAC;QACpD,KAAK,EAAE,OAAO,CAAC;QACf,MAAM,EAAE,MAAM,EAAE,CAAC;KAClB,CAAC;IAiDF;;OAEG;IACH,GAAG,CAAC,EAAE,EAAE,MAAM,GAAG,eAAe,GAAG,IAAI;IAIvC;;OAEG;IACG,YAAY,CAAC,EAAE,EAAE,MAAM,EAAE,SAAS,GAAE,MAAc,GAAG,OAAO,CAAC,eAAe,CAAC;IAcnF;;OAEG;IACH,aAAa,IAAI,UAAU,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;IAInD;;OAEG;IACH,QAAQ,IAAI;QACV,eAAe,EAAE,MAAM,CAAC;QACxB,cAAc,EAAE,MAAM,CAAC;QACvB,gBAAgB,EAAE,MAAM,CAAC;QACzB,QAAQ,EAAE,MAAM,CAAC;QACjB,UAAU,EAAE,UAAU,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,CAAC;KAChD;CAWF;AAMD,qBAAa,YAAY;IACvB,OAAO,CAAC,IAAI,CAAY;IACxB,OAAO,CAAC,KAAK,CAA+B;IAC5C,OAAO,CAAC,WAAW,CAAc;IACjC,OAAO,CAAC,aAAa,CAAgB;IACrC,OAAO,CAAC,cAAc,CAAgB;gBAE1B,IAAI,EAAE,SAAS;IAI3B;;OAEG;IACH,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI;IAKnC;;OAEG;IACH,SAAS,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,GAAG,IAAI;IAK5C;;OAEG;IACH,eAAe,CAAC,GAAG,GAAG,EAAE,MAAM,EAAE,GAAG,IAAI;IAKvC;;OAEG;IACH,gBAAgB,CAAC,GAAG,GAAG,EAAE,MAAM,EAAE,GAAG,IAAI;IAKxC;;OAEG;IACH,KAAK,CAAC,QAAQ,GAAE,KAAK,GAAG,QAAQ,GAAG,MAAiB,GAAG,YAAY;CAYpE;AAMD;;GAEG;AACH,qBAAa,mBAAmB;IAC9B,OAAO,CAAC,QAAQ,CAAiB;gBAErB,QAAQ,EAAE,cAAc;IAIpC;;OAEG;IACG,aAAa,CAAC,MAAM,EAAE;QAC1B,OAAO,EAAE,MAAM,CAAC;QAChB,QAAQ,EAAE,MAAM,CAAC;QACjB,mBAAmB,EAAE,MAAM,CAAC;QAC5B,SAAS,EAAE,MAAM,CAAC;QAClB,aAAa,EAAE,MAAM,EAAE,CAAC;QACxB,aAAa,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACvC,MAAM,EAAE,MAAM,CAAC;QACf,QAAQ,EAAE,MAAM,CAAC;KAClB,GAAG,OAAO,CAAC,eAAe,CAAC;CAgB7B"}