@vorionsys/platform-core 0.1.0

package/dist/security/zkp/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/security/zkp/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAMxB;;GAEG;AACH,eAAO,MAAM,aAAa;IACxB,uDAAuD;;IAEvD,kEAAkE;;IAElE,gEAAgE;;IAEhE,kEAAkE;;IAElE,uCAAuC;;CAE/B,CAAC;AAEX,MAAM,MAAM,aAAa,GAAG,CAAC,OAAO,aAAa,CAAC,CAAC,MAAM,OAAO,aAAa,CAAC,CAAC;AAE/E,eAAO,MAAM,mBAAmB;IAd9B,uDAAuD;;IAEvD,kEAAkE;;IAElE,gEAAgE;;IAEhE,kEAAkE;;IAElE,uCAAuC;;EAMqB,CAAC;AAE/D;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,8BAA8B;IAC9B,IAAI,EAAE,aAAa,CAAC;IACpB,0BAA0B;IAC1B,IAAI,EAAE,MAAM,CAAC;IACb,0BAA0B;IAC1B,WAAW,EAAE,MAAM,CAAC;IACpB,8BAA8B;IAC9B,OAAO,EAAE,MAAM,CAAC;IAChB,6BAA6B;IAC7B,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,kDAAkD;IAClD,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,0CAA0C;IAC1C,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,sCAAsC;IACtC,YAAY,EAAE,IAAI,CAAC;CACpB;AAED,eAAO,MAAM,qBAAqB;;QAtChC,uDAAuD;;QAEvD,kEAAkE;;QAElE,gEAAgE;;QAEhE,kEAAkE;;QAElE,uCAAuC;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAuCvC,CAAC;AAMH;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,WAAW,OAAO;IACtB,oCAAoC;IACpC,KAAK,EAAE,UAAU,CAAC;IAClB,2DAA2D;IAC3D,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,oDAAoD;IACpD,OAAO,EAAE,MAAM,CAAC;IAChB,mCAAmC;IACnC,SAAS,EAAE,IAAI,CAAC;IAChB,6CAA6C;IAC7C,SAAS,CAAC,EAAE,IAAI,CAAC;IACjB,kDAAkD;IAClD,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACnC,6CAA6C;IAC7C,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,2CAA2C;IAC3C,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,eAAO,MAAM,aAAa;;;;;;;;;;;;;;;;;;;;;;;;;;;EASxB,CAAC;AAEH;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,iCAAiC;IACjC,KAAK,EAAE,MAAM,CAAC;IACd,oBAAoB;IACpB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,yBAAyB;IACzB,OAAO,EAAE,MAAM,CAAC;IAChB,6CAA6C;IAC7C,SAAS,EAAE,MAAM,CAAC;IAClB,uCAAuC;IACvC,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,0BAA0B;IAC1B,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACnC,2BAA2B;IAC3B,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,8BAA8B;IAC9B,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;;;;;;;;;;;EASlC,CAAC;AAMH;;;;GAIG;AACH,MAAM,WAAW,kBAAkB;IACjC,iCAAiC;IACjC,KAAK,EAAE,OAAO,CAAC;IACf,oCAAoC;IACpC,OAAO,EAAE,MAAM,CAAC;IAChB,sCAAsC;IACtC,UAAU,EAAE,IAAI,CAAC;IACjB,uCAAuC;IACvC,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,4CAA4C;IAC5C,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,2CAA2C;IAC3C,SAAS,CAAC,EAAE,qBAAqB,CAAC;IAClC,2CAA2C;IAC3C,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,8CAA8C;IAC9C,SAAS,CAAC,EAAE,OAAO,CAAC;IACpB,uCAAuC;IACvC,cAAc,CAAC,EAAE,IAAI,CAAC;CACvB;AAED,eAAO,MAAM,wBAAwB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAUnC,CAAC;AAEH;;GAEG;AACH,eAAO,MAAM,qBAAqB;IAChC,iCAAiC;;IAEjC,0CAA0C;;IAE1C,wBAAwB;;IAExB,wCAAwC;;IAExC,gDAAgD;;IAEhD,iCAAiC;;IAEjC,kCAAkC;;CAE1B,CAAC;AAEX,MAAM,MAAM,qBAAqB,GAAG,CAAC,OAAO,qBAAqB,CAAC,CAAC,MAAM,OAAO,qBAAqB,CAAC,CAAC;AAEvG;;GAEG;AACH,MAAM,WAAW,uBAAuB;IACtC,uBAAuB;IACvB,QAAQ,EAAE,OAAO,CAAC;IAClB,gCAAgC;IAChC,WAAW,EAAE,MAAM,CAAC;IACpB,6BAA6B;IAC7B,WAAW,EAAE,MAAM,CAAC;IACpB,sCAAsC;IACtC,OAAO,EAAE,kBAAkB,EAAE,CAAC;IAC9B,8CAA8C;IAC9C,WAAW,EAAE,MAAM,CAAC;IACpB,wCAAwC;IACxC,WAAW,EAAE,IAAI,CAAC;CACnB;AAED,eAAO,MAAM,6BAA6B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAOxC,CAAC;AAMH;;GAEG;AACH,eAAO,MAAM,gBAAgB;IAC3B,mDAAmD;;IAEnD,kDAAkD;;IAElD,mDAAmD;;IAEnD,uCAAuC;;CAE/B,CAAC;AAEX,MAAM,MAAM,gBAAgB,GAAG,CAAC,OAAO,gBAAgB,CAAC,CAAC,MAAM,OAAO,gBAAgB,CAAC,CAAC;AAExF,eAAO,MAAM,sBAAsB;IAZjC,mDAAmD;;IAEnD,kDAAkD;;IAElD,mDAAmD;;IAEnD,uCAAuC;;EAM2B,CAAC;AAErE;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,6BAA6B;IAC7B,MAAM,EAAE,gBAAgB,CAAC;IACzB,mDAAmD;IACnD,KAAK,EAAE,MAAM,CAAC;IACd,oDAAoD;IACpD,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,sCAAsC;IACtC,SAAS,EAAE,IAAI,CAAC;IAChB,4CAA4C;IAC5C,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACtC;AAED,eAAO,MAAM,gBAAgB;;QA9B3B,mDAAmD;;QAEnD,kDAAkD;;QAElD,mDAAmD;;QAEnD,uCAAuC;;;;;;;;;;;;;;;;;;;EA8BvC,CAAC;AAEH;;GAEG;AACH,MAAM,WAAW,WAAW;IAC1B,kCAAkC;IAClC,IAAI,EAAE,MAAM,CAAC;IACb,sBAAsB;IACtB,IAAI,EAAE,MAAM,CAAC;IACb,oCAAoC;IACpC,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,qCAAqC;IACrC,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,6BAA6B;IAC7B,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;EAM5B,CAAC;AAEH;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,mCAAmC;IACnC,UAAU,EAAE,MAAM,CAAC;IACnB,qCAAqC;IACrC,UAAU,EAAE,MAAM,CAAC;IACnB,qCAAqC;IACrC,UAAU,EAAE,MAAM,CAAC;IACnB,sCAAsC;IACtC,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,kCAAkC;IAClC,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB;AAED,eAAO,MAAM,wBAAwB;;;;;;;;;;;;;;;;;;EAMnC,CAAC;AAMH;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,4BAA4B;IAC5B,EAAE,EAAE,MAAM,CAAC;IACX,4BAA4B;IAC5B,MAAM,EAAE,MAAM,CAAC;IACf,6BAA6B;IAC7B,OAAO,EAAE,MAAM,CAAC;IAChB,sEAAsE;IACtE,IAAI,EAAE,MAAM,CAAC;IACb,gDAAgD;IAChD,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAChC,+BAA+B;IAC/B,QAAQ,EAAE,IAAI,CAAC;IACf,iCAAiC;IACjC,SAAS,CAAC,EAAE,IAAI,CAAC;IACjB,2CAA2C;IAC3C,SAAS,EAAE,MAAM,CAAC;IAClB,qEAAqE;IACrE,oBAAoB,CAAC,EAAE,MAAM,CAAC;CAC/B;AAED,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAU7B,CAAC;AAEH;;GAEG;AACH,MAAM,WAAW,0BAA0B;IACzC,iDAAiD;IACjD,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,uBAAuB;IACvB,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,wCAAwC;IACxC,UAAU,EAAE,cAAc,EAAE,CAAC;CAC9B;AAED,eAAO,MAAM,gCAAgC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAI3C,CAAC;AAEH;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,iBAAiB;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,0BAA0B;IAC1B,QAAQ,EAAE,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,QAAQ,CAAC;IACvE,uBAAuB;IACvB,KAAK,EAAE,OAAO,CAAC;CAChB;AAED,eAAO,MAAM,oBAAoB;;;;;;;;;;;;EAI/B,CAAC;AAMH;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,+CAA+C;IAC/C,eAAe,EAAE,MAAM,CAAC;IACxB,uDAAuD;IACvD,sBAAsB,EAAE,MAAM,CAAC;IAC/B,4CAA4C;IAC5C,eAAe,EAAE,OAAO,CAAC;IACzB,mCAAmC;IACnC,mBAAmB,CAAC,EAAE,MAAM,CAAC;CAC9B;AAED;;GAEG;AACH,eAAO,MAAM,wBAAwB,EAAE,cAItC,CAAC;AAEF,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;EAK/B,CAAC;AAEH;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,yCAAyC;IACzC,aAAa,EAAE,OAAO,CAAC;IACvB,gCAAgC;IAChC,QAAQ,EAAE,MAAM,CAAC;IACjB,yBAAyB;IACzB,YAAY,EAAE,MAAM,CAAC;IACrB,4BAA4B;IAC5B,mBAAmB,EAAE,OAAO,CAAC;IAC7B,2CAA2C;IAC3C,kBAAkB,EAAE,MAAM,CAAC;CAC5B;AAED;;GAEG;AACH,eAAO,MAAM,0BAA0B,EAAE,gBAMxC,CAAC;AAEF,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;;;;;;EAMjC,CAAC;AAMH;;GAEG;AACH,eAAO,MAAM,0BAA0B;IACrC,sCAAsC;;IAEtC,sCAAsC;;IAEtC,qCAAqC;;IAErC,sCAAsC;;IAEtC,gCAAgC;;IAEhC,8BAA8B;;CAEtB,CAAC;AAEX,MAAM,MAAM,0BAA0B,GAAG,CAAC,OAAO,0BAA0B,CAAC,CAAC,MAAM,OAAO,0BAA0B,CAAC,CAAC;AAEtH,eAAO,MAAM,gCAAgC;IAhB3C,sCAAsC;;IAEtC,sCAAsC;;IAEtC,qCAAqC;;IAErC,sCAAsC;;IAEtC,gCAAgC;;IAEhC,8BAA8B;;EAMwD,CAAC;AAEzF;;GAEG;AACH,MAAM,WAAW,sBAAsB;IACrC,sCAAsC;IACtC,gBAAgB,EAAE,0BAA0B,CAAC;IAC7C,sBAAsB;IACtB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,sCAAsC;IACtC,WAAW,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACtC,wBAAwB;IACxB,WAAW,EAAE,IAAI,CAAC;IAClB,yBAAyB;IACzB,SAAS,CAAC,EAAE,IAAI,CAAC;IACjB,kCAAkC;IAClC,KAAK,EAAE,MAAM,CAAC;CACf;AAED,eAAO,MAAM,4BAA4B;;QApCvC,sCAAsC;;QAEtC,sCAAsC;;QAEtC,qCAAqC;;QAErC,sCAAsC;;QAEtC,gCAAgC;;QAEhC,8BAA8B;;;;;;;;;;;;;;;;;;;;;;EAiC9B,CAAC;AAEH;;GAEG;AACH,MAAM,WAAW,4BAA4B;IAC3C,wBAAwB;IACxB,gBAAgB,EAAE,0BAA0B,CAAC;IAC7C,gCAAgC;IAChC,SAAS,EAAE,OAAO,CAAC;IACnB,+BAA+B;IAC/B,YAAY,EAAE,kBAAkB,EAAE,CAAC;IACnC,2BAA2B;IAC3B,UAAU,EAAE,IAAI,CAAC;IACjB,0BAA0B;IAC1B,UAAU,CAAC,EAAE,IAAI,CAAC;IAClB,+CAA+C;IAC/C,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,eAAO,MAAM,kCAAkC;;QA/D7C,sCAAsC;;QAEtC,sCAAsC;;QAEtC,qCAAqC;;QAErC,sCAAsC;;QAEtC,gCAAgC;;QAEhC,8BAA8B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA4D9B,CAAC;AAMH;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,yBAAyB;IACzB,SAAS,EAAE,MAAM,CAAC;IAClB,sCAAsC;IACtC,oBAAoB,EAAE,MAAM,CAAC;IAC7B,4BAA4B;IAC5B,QAAQ,EAAE,IAAI,CAAC;IACf,6BAA6B;IAC7B,KAAK,EAAE,cAAc,GAAG,cAAc,GAAG,UAAU,CAAC;IACpD,+BAA+B;IAC/B,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB;AAED,eAAO,MAAM,wBAAwB;;;;;;;;;;;;;;;;;;EAMnC,CAAC;AAEH;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,qBAAqB;IACrB,KAAK,EAAE,MAAM,CAAC;IACd,8BAA8B;IAC9B,SAAS,EAAE,MAAM,CAAC;IAClB,0BAA0B;IAC1B,OAAO,EAAE,UAAU,CAAC;IACpB,kBAAkB;IAClB,OAAO,EAAE,MAAM,CAAC;IAChB,6BAA6B;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,iCAAiC;IACjC,WAAW,EAAE,IAAI,CAAC;CACnB;AAED,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;;;;EAO3B,CAAC;AAEH;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,qBAAqB;IACrB,KAAK,EAAE,MAAM,CAAC;IACd,8BAA8B;IAC9B,SAAS,EAAE,MAAM,CAAC;IAClB,0BAA0B;IAC1B,OAAO,EAAE,UAAU,CAAC;IACpB,kBAAkB;IAClB,OAAO,EAAE,MAAM,CAAC;IAChB,6BAA6B;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,iCAAiC;IACjC,WAAW,EAAE,IAAI,CAAC;CACnB;AAED,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;;;;EAOhC,CAAC;AAMH;;GAEG;AACH,MAAM,WAAW,sBAAsB;IACrC,4BAA4B;IAC5B,OAAO,EAAE,aAAa,CAAC;IACvB,qCAAqC;IACrC,mBAAmB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC9C,wCAAwC;IACxC,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,mDAAmD;IACnD,uBAAuB,CAAC,EAAE,OAAO,CAAC;IAClC,6CAA6C;IAC7C,cAAc,CAAC,EAAE,0BAA0B,CAAC;CAC7C;AAED,eAAO,MAAM,4BAA4B;;QAtoBvC,uDAAuD;;QAEvD,kEAAkE;;QAElE,gEAAgE;;QAEhE,kEAAkE;;QAElE,uCAAuC;;;;;;;QAgdvC,sCAAsC;;QAEtC,sCAAsC;;QAEtC,qCAAqC;;QAErC,sCAAsC;;QAEtC,gCAAgC;;QAEhC,8BAA8B;;;;;;;;;;;;;;;EA0K9B,CAAC;AAEH;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,yBAAyB;IACzB,SAAS,EAAE,MAAM,CAAC;IAClB,oCAAoC;IACpC,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC7B,kCAAkC;IAClC,mBAAmB,EAAE,GAAG,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC;IACrD,4BAA4B;IAC5B,SAAS,EAAE,IAAI,CAAC;IAChB,yBAAyB;IACzB,SAAS,EAAE,IAAI,CAAC;CACjB;AAED,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAMlC,CAAC"}

package/dist/security/zkp/types.js

@@ -0,0 +1,264 @@
+/**
+ * Zero-Knowledge Proof Type Definitions
+ *
+ * Core type definitions for the ZKP system including proofs, verification results,
+ * circuit definitions, and commitment schemes.
+ *
+ * This module follows the Vorion type definition patterns and integrates
+ * with the existing security infrastructure.
+ *
+ * @packageDocumentation
+ */
+import { z } from 'zod';
+// =============================================================================
+// CIRCUIT TYPES
+// =============================================================================
+/**
+ * Supported ZK circuit types
+ */
+export const ZKCircuitType = {
+    /** Age verification without revealing date of birth */
+    AGE_VERIFICATION: 'age_verification',
+    /** Prove a value is within a range without revealing the value */
+    RANGE_PROOF: 'range_proof',
+    /** Prove membership in a set without revealing which element */
+    SET_MEMBERSHIP: 'set_membership',
+    /** Prove possession of a valid credential without revealing it */
+    CREDENTIAL_VERIFICATION: 'credential_verification',
+    /** Custom circuit for extensibility */
+    CUSTOM: 'custom',
+};
+export const zkCircuitTypeSchema = z.nativeEnum(ZKCircuitType);
+export const circuitMetadataSchema = z.object({
+    type: zkCircuitTypeSchema,
+    name: z.string().min(1),
+    description: z.string(),
+    version: z.string().regex(/^\d+\.\d+\.\d+$/),
+    publicInputs: z.array(z.string()),
+    privateInputs: z.array(z.string()),
+    verificationKeyHash: z.string().optional(),
+    registeredAt: z.coerce.date(),
+});
+export const zkProofSchema = z.object({
+    proof: z.instanceof(Uint8Array),
+    publicInputs: z.array(z.string()),
+    circuit: z.string().min(1),
+    timestamp: z.coerce.date(),
+    expiresAt: z.coerce.date().optional(),
+    metadata: z.record(z.unknown()).optional(),
+    version: z.string().optional(),
+    proofId: z.string().uuid().optional(),
+});
+export const serializedZKProofSchema = z.object({
+    proof: z.string().min(1),
+    publicInputs: z.array(z.string()),
+    circuit: z.string().min(1),
+    timestamp: z.string().datetime(),
+    expiresAt: z.string().datetime().optional(),
+    metadata: z.record(z.unknown()).optional(),
+    version: z.string().optional(),
+    proofId: z.string().uuid().optional(),
+});
+export const verificationResultSchema = z.object({
+    valid: z.boolean(),
+    circuit: z.string().min(1),
+    verifiedAt: z.coerce.date(),
+    publicInputs: z.array(z.string()),
+    error: z.string().optional(),
+    errorCode: z.string().optional(),
+    verificationTimeMs: z.number().nonnegative().optional(),
+    fromCache: z.boolean().optional(),
+    cacheExpiresAt: z.coerce.date().optional(),
+});
+/**
+ * Verification error codes for programmatic handling
+ */
+export const VerificationErrorCode = {
+    /** Proof structure is invalid */
+    INVALID_PROOF_FORMAT: 'INVALID_PROOF_FORMAT',
+    /** Circuit not found or not registered */
+    UNKNOWN_CIRCUIT: 'UNKNOWN_CIRCUIT',
+    /** Proof has expired */
+    PROOF_EXPIRED: 'PROOF_EXPIRED',
+    /** Cryptographic verification failed */
+    VERIFICATION_FAILED: 'VERIFICATION_FAILED',
+    /** Public inputs don't match expected format */
+    INVALID_PUBLIC_INPUTS: 'INVALID_PUBLIC_INPUTS',
+    /** Verification key not found */
+    MISSING_VERIFICATION_KEY: 'MISSING_VERIFICATION_KEY',
+    /** Internal verification error */
+    INTERNAL_ERROR: 'INTERNAL_ERROR',
+};
+export const batchVerificationResultSchema = z.object({
+    allValid: z.boolean(),
+    totalProofs: z.number().int().nonnegative(),
+    validProofs: z.number().int().nonnegative(),
+    results: z.array(verificationResultSchema),
+    totalTimeMs: z.number().nonnegative(),
+    completedAt: z.coerce.date(),
+});
+// =============================================================================
+// COMMITMENT TYPES
+// =============================================================================
+/**
+ * Commitment scheme types
+ */
+export const CommitmentScheme = {
+    /** Pedersen commitment (additively homomorphic) */
+    PEDERSEN: 'pedersen',
+    /** Merkle tree commitment (for set membership) */
+    MERKLE: 'merkle',
+    /** Cryptographic accumulator (for dynamic sets) */
+    ACCUMULATOR: 'accumulator',
+    /** Hash commitment (simple binding) */
+    HASH: 'hash',
+};
+export const commitmentSchemeSchema = z.nativeEnum(CommitmentScheme);
+export const commitmentSchema = z.object({
+    scheme: commitmentSchemeSchema,
+    value: z.string().min(1),
+    blindingFactor: z.string().optional(),
+    createdAt: z.coerce.date(),
+    parameters: z.record(z.unknown()).optional(),
+});
+export const merkleProofSchema = z.object({
+    leaf: z.string().min(1),
+    root: z.string().min(1),
+    siblings: z.array(z.string()),
+    pathIndices: z.array(z.number().int().min(0).max(1)),
+    leafIndex: z.number().int().nonnegative(),
+});
+export const pedersenCommitmentSchema = z.object({
+    commitment: z.string().min(1),
+    generatorG: z.string().min(1),
+    generatorH: z.string().min(1),
+    value: z.string().optional(),
+    blindingFactor: z.string().optional(),
+});
+export const zkCredentialSchema = z.object({
+    id: z.string().min(1),
+    issuer: z.string().min(1),
+    subject: z.string().min(1),
+    type: z.string().min(1),
+    claims: z.record(z.unknown()),
+    issuedAt: z.coerce.date(),
+    expiresAt: z.coerce.date().optional(),
+    signature: z.string().min(1),
+    revocationCommitment: z.string().optional(),
+});
+export const selectiveDisclosureRequestSchema = z.object({
+    proveExistence: z.array(z.string()),
+    reveal: z.array(z.string()),
+    predicates: z.array(z.lazy(() => predicateProofSchema)),
+});
+export const predicateProofSchema = z.object({
+    claim: z.string().min(1),
+    operator: z.enum(['gt', 'gte', 'lt', 'lte', 'eq', 'neq', 'in', 'not_in']),
+    value: z.unknown(),
+});
+/**
+ * Default ZK prover configuration
+ */
+export const DEFAULT_ZK_PROVER_CONFIG = {
+    defaultProofTTL: 3600000, // 1 hour
+    proofGenerationTimeout: 30000, // 30 seconds
+    includeMetadata: true,
+};
+export const zkProverConfigSchema = z.object({
+    defaultProofTTL: z.number().int().positive().default(DEFAULT_ZK_PROVER_CONFIG.defaultProofTTL),
+    proofGenerationTimeout: z.number().int().positive().default(DEFAULT_ZK_PROVER_CONFIG.proofGenerationTimeout),
+    includeMetadata: z.boolean().default(DEFAULT_ZK_PROVER_CONFIG.includeMetadata),
+    circuitRegistryPath: z.string().optional(),
+});
+/**
+ * Default ZK verifier configuration
+ */
+export const DEFAULT_ZK_VERIFIER_CONFIG = {
+    enableCaching: true,
+    cacheTTL: 300000, // 5 minutes
+    maxCacheSize: 10000,
+    rejectExpiredProofs: true,
+    clockSkewTolerance: 5000, // 5 seconds
+};
+export const zkVerifierConfigSchema = z.object({
+    enableCaching: z.boolean().default(DEFAULT_ZK_VERIFIER_CONFIG.enableCaching),
+    cacheTTL: z.number().int().positive().default(DEFAULT_ZK_VERIFIER_CONFIG.cacheTTL),
+    maxCacheSize: z.number().int().positive().default(DEFAULT_ZK_VERIFIER_CONFIG.maxCacheSize),
+    rejectExpiredProofs: z.boolean().default(DEFAULT_ZK_VERIFIER_CONFIG.rejectExpiredProofs),
+    clockSkewTolerance: z.number().int().nonnegative().default(DEFAULT_ZK_VERIFIER_CONFIG.clockSkewTolerance),
+});
+// =============================================================================
+// COMPLIANCE TYPES
+// =============================================================================
+/**
+ * Compliance verification type
+ */
+export const ComplianceVerificationType = {
+    /** Know Your Customer verification */
+    KYC: 'kyc',
+    /** Anti-Money Laundering screening */
+    AML: 'aml',
+    /** GDPR data subject verification */
+    GDPR: 'gdpr',
+    /** PCI-DSS cardholder verification */
+    PCI_DSS: 'pci_dss',
+    /** SOC 2 access verification */
+    SOC2: 'soc2',
+    /** Custom compliance check */
+    CUSTOM: 'custom',
+};
+export const complianceVerificationTypeSchema = z.nativeEnum(ComplianceVerificationType);
+export const complianceProofRequestSchema = z.object({
+    verificationType: complianceVerificationTypeSchema,
+    requiredProofs: z.array(z.string()),
+    constraints: z.record(z.unknown()).optional(),
+    requestedAt: z.coerce.date(),
+    expiresAt: z.coerce.date().optional(),
+    nonce: z.string().min(1),
+});
+export const complianceVerificationResultSchema = z.object({
+    verificationType: complianceVerificationTypeSchema,
+    compliant: z.boolean(),
+    proofResults: z.array(verificationResultSchema),
+    verifiedAt: z.coerce.date(),
+    validUntil: z.coerce.date().optional(),
+    attestation: z.string().optional(),
+});
+export const trustedSetupParamsSchema = z.object({
+    circuitId: z.string().min(1),
+    participantsRequired: z.number().int().positive(),
+    deadline: z.coerce.date(),
+    phase: z.enum(['contribution', 'verification', 'complete']),
+    transcriptHash: z.string().optional(),
+});
+export const provingKeySchema = z.object({
+    keyId: z.string().min(1),
+    circuitId: z.string().min(1),
+    keyData: z.instanceof(Uint8Array),
+    version: z.string(),
+    hash: z.string().min(1),
+    generatedAt: z.coerce.date(),
+});
+export const verificationKeySchema = z.object({
+    keyId: z.string().min(1),
+    circuitId: z.string().min(1),
+    keyData: z.instanceof(Uint8Array),
+    version: z.string(),
+    hash: z.string().min(1),
+    generatedAt: z.coerce.date(),
+});
+export const zkProofPolicyConditionSchema = z.object({
+    circuit: zkCircuitTypeSchema,
+    publicInputsPattern: z.record(z.unknown()).optional(),
+    maxProofAge: z.number().int().positive().optional(),
+    allowCachedVerification: z.boolean().optional(),
+    complianceType: complianceVerificationTypeSchema.optional(),
+});
+export const sessionProofCacheSchema = z.object({
+    sessionId: z.string().min(1),
+    proofs: z.map(z.string(), zkProofSchema),
+    verificationResults: z.map(z.string(), verificationResultSchema),
+    createdAt: z.coerce.date(),
+    expiresAt: z.coerce.date(),
+});
+//# sourceMappingURL=types.js.map

package/dist/security/zkp/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/security/zkp/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,gFAAgF;AAChF,gBAAgB;AAChB,gFAAgF;AAEhF;;GAEG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG;IAC3B,uDAAuD;IACvD,gBAAgB,EAAE,kBAAkB;IACpC,kEAAkE;IAClE,WAAW,EAAE,aAAa;IAC1B,gEAAgE;IAChE,cAAc,EAAE,gBAAgB;IAChC,kEAAkE;IAClE,uBAAuB,EAAE,yBAAyB;IAClD,uCAAuC;IACvC,MAAM,EAAE,QAAQ;CACR,CAAC;AAIX,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC;AAwB/D,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC5C,IAAI,EAAE,mBAAmB;IACzB,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACvB,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE;IACvB,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,iBAAiB,CAAC;IAC5C,YAAY,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IACjC,aAAa,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IAClC,mBAAmB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC1C,YAAY,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE;CAC9B,CAAC,CAAC;AA2CH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAC,MAAM,CAAC;IACpC,KAAK,EAAE,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC;IAC/B,YAAY,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IACjC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC1B,SAAS,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE;IAC1B,SAAS,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,QAAQ,EAAE;IACrC,QAAQ,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,QAAQ,EAAE;IAC1C,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC9B,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,QAAQ,EAAE;CACtC,CAAC,CAAC;AAwBH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC9C,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACxB,YAAY,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IACjC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC1B,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAChC,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE;IAC3C,QAAQ,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,QAAQ,EAAE;IAC1C,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC9B,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,QAAQ,EAAE;CACtC,CAAC,CAAC;AAgCH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC/C,KAAK,EAAE,CAAC,CAAC,OAAO,EAAE;IAClB,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC1B,UAAU,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE;IAC3B,YAAY,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IACjC,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC5B,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAChC,kBAAkB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,WAAW,EAAE,CAAC,QAAQ,EAAE;IACvD,SAAS,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;IACjC,cAAc,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,QAAQ,EAAE;CAC3C,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG;IACnC,iCAAiC;IACjC,oBAAoB,EAAE,sBAAsB;IAC5C,0CAA0C;IAC1C,eAAe,EAAE,iBAAiB;IAClC,wBAAwB;IACxB,aAAa,EAAE,eAAe;IAC9B,wCAAwC;IACxC,mBAAmB,EAAE,qBAAqB;IAC1C,gDAAgD;IAChD,qBAAqB,EAAE,uBAAuB;IAC9C,iCAAiC;IACjC,wBAAwB,EAAE,0BAA0B;IACpD,kCAAkC;IAClC,cAAc,EAAE,gBAAgB;CACxB,CAAC;AAsBX,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAAC,CAAC,MAAM,CAAC;IACpD,QAAQ,EAAE,CAAC,CAAC,OAAO,EAAE;IACrB,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;IAC3C,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;IAC3C,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,wBAAwB,CAAC;IAC1C,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,WAAW,EAAE;IACrC,WAAW,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE;CAC7B,CAAC,CAAC;AAEH,gFAAgF;AAChF,mBAAmB;AACnB,gFAAgF;AAEhF;;GAEG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG;IAC9B,mDAAmD;IACnD,QAAQ,EAAE,UAAU;IACpB,kDAAkD;IAClD,MAAM,EAAE,QAAQ;IAChB,mDAAmD;IACnD,WAAW,EAAE,aAAa;IAC1B,uCAAuC;IACvC,IAAI,EAAE,MAAM;CACJ,CAAC;AAIX,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,CAAC,UAAU,CAAC,gBAAgB,CAAC,CAAC;AAkBrE,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,CAAC,MAAM,CAAC;IACvC,MAAM,EAAE,sBAAsB;IAC9B,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACxB,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IACrC,SAAS,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE;IAC1B,UAAU,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,QAAQ,EAAE;CAC7C,CAAC,CAAC;AAkBH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,CAAC,MAAM,CAAC;IACxC,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACvB,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACvB,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IAC7B,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACpD,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;CAC1C,CAAC,CAAC;AAkBH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC/C,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC7B,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC7B,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC7B,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC5B,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CACtC,CAAC,CAAC;AA8BH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,CAAC,MAAM,CAAC;IACzC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACrB,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACzB,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC1B,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACvB,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC7B,QAAQ,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE;IACzB,SAAS,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,QAAQ,EAAE;IACrC,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5B,oBAAoB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAC5C,CAAC,CAAC;AAcH,MAAM,CAAC,MAAM,gCAAgC,GAAG,CAAC,CAAC,MAAM,CAAC;IACvD,cAAc,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IACnC,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IAC3B,UAAU,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,oBAAoB,CAAC,CAAC;CACxD,CAAC,CAAC;AAcH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC3C,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACxB,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;IACzE,KAAK,EAAE,CAAC,CAAC,OAAO,EAAE;CACnB,CAAC,CAAC;AAoBH;;GAEG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAmB;IACtD,eAAe,EAAE,OAAO,EAAE,SAAS;IACnC,sBAAsB,EAAE,KAAK,EAAE,aAAa;IAC5C,eAAe,EAAE,IAAI;CACtB,CAAC;AAEF,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC3C,eAAe,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,OAAO,CAAC,wBAAwB,CAAC,eAAe,CAAC;IAC9F,sBAAsB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,OAAO,CAAC,wBAAwB,CAAC,sBAAsB,CAAC;IAC5G,eAAe,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,wBAAwB,CAAC,eAAe,CAAC;IAC9E,mBAAmB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAC3C,CAAC,CAAC;AAkBH;;GAEG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAqB;IAC1D,aAAa,EAAE,IAAI;IACnB,QAAQ,EAAE,MAAM,EAAE,YAAY;IAC9B,YAAY,EAAE,KAAK;IACnB,mBAAmB,EAAE,IAAI;IACzB,kBAAkB,EAAE,IAAI,EAAE,YAAY;CACvC,CAAC;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC7C,aAAa,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,0BAA0B,CAAC,aAAa,CAAC;IAC5E,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,OAAO,CAAC,0BAA0B,CAAC,QAAQ,CAAC;IAClF,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,OAAO,CAAC,0BAA0B,CAAC,YAAY,CAAC;IAC1F,mBAAmB,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,0BAA0B,CAAC,mBAAmB,CAAC;IACxF,kBAAkB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,0BAA0B,CAAC,kBAAkB,CAAC;CAC1G,CAAC,CAAC;AAEH,gFAAgF;AAChF,mBAAmB;AACnB,gFAAgF;AAEhF;;GAEG;AACH,MAAM,CAAC,MAAM,0BAA0B,GAAG;IACxC,sCAAsC;IACtC,GAAG,EAAE,KAAK;IACV,sCAAsC;IACtC,GAAG,EAAE,KAAK;IACV,qCAAqC;IACrC,IAAI,EAAE,MAAM;IACZ,sCAAsC;IACtC,OAAO,EAAE,SAAS;IAClB,gCAAgC;IAChC,IAAI,EAAE,MAAM;IACZ,8BAA8B;IAC9B,MAAM,EAAE,QAAQ;CACR,CAAC;AAIX,MAAM,CAAC,MAAM,gCAAgC,GAAG,CAAC,CAAC,UAAU,CAAC,0BAA0B,CAAC,CAAC;AAoBzF,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAAC,CAAC,MAAM,CAAC;IACnD,gBAAgB,EAAE,gCAAgC;IAClD,cAAc,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;IACnC,WAAW,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,QAAQ,EAAE;IAC7C,WAAW,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE;IAC5B,SAAS,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,QAAQ,EAAE;IACrC,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;CACzB,CAAC,CAAC;AAoBH,MAAM,CAAC,MAAM,kCAAkC,GAAG,CAAC,CAAC,MAAM,CAAC;IACzD,gBAAgB,EAAE,gCAAgC;IAClD,SAAS,EAAE,CAAC,CAAC,OAAO,EAAE;IACtB,YAAY,EAAE,CAAC,CAAC,KAAK,CAAC,wBAAwB,CAAC;IAC/C,UAAU,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE;IAC3B,UAAU,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,QAAQ,EAAE;IACtC,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CACnC,CAAC,CAAC;AAsBH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC/C,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5B,oBAAoB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;IACjD,QAAQ,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE;IACzB,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,cAAc,EAAE,cAAc,EAAE,UAAU,CAAC,CAAC;IAC3D,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CACtC,CAAC,CAAC;AAoBH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,CAAC,MAAM,CAAC;IACvC,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACxB,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5B,OAAO,EAAE,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC;IACjC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;IACnB,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACvB,WAAW,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE;CAC7B,CAAC,CAAC;AAoBH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC5C,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACxB,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5B,OAAO,EAAE,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC;IACjC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;IACnB,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACvB,WAAW,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE;CAC7B,CAAC,CAAC;AAsBH,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAAC,CAAC,MAAM,CAAC;IACnD,OAAO,EAAE,mBAAmB;IAC5B,mBAAmB,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,QAAQ,EAAE;IACrD,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE;IACnD,uBAAuB,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;IAC/C,cAAc,EAAE,gCAAgC,CAAC,QAAQ,EAAE;CAC5D,CAAC,CAAC;AAkBH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC9C,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5B,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,aAAa,CAAC;IACxC,mBAAmB,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,wBAAwB,CAAC;IAChE,SAAS,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE;IAC1B,SAAS,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE;CAC3B,CAAC,CAAC"}

package/dist/security/zkp/verifier.d.ts

@@ -0,0 +1,111 @@
+/**
+ * Zero-Knowledge Proof Verifier
+ *
+ * Provides proof verification capabilities including:
+ * - Fast single proof verification
+ * - Batch verification for multiple proofs
+ * - Verification result caching
+ * - Proof expiration handling
+ *
+ * This module is designed for high-performance verification scenarios
+ * with configurable caching and expiration policies.
+ *
+ * @packageDocumentation
+ */
+import { VorionError } from '../../common/errors.js';
+import { type ZKProof, type VerificationResult, type BatchVerificationResult, type ZKVerifierConfig, type SerializedZKProof, VerificationErrorCode } from './types.js';
+/**
+ * Verification error
+ */
+export declare class VerificationError extends VorionError {
+    readonly errorCode: VerificationErrorCode;
+    readonly circuit?: string;
+    code: string;
+    statusCode: number;
+    constructor(message: string, errorCode: VerificationErrorCode, circuit?: string, details?: Record<string, unknown>);
+}
+/**
+ * ZK Verifier Service
+ *
+ * High-performance proof verification with caching and batch support.
+ *
+ * @example
+ * ```typescript
+ * const verifier = new ZKVerifierService();
+ *
+ * // Verify single proof
+ * const result = await verifier.verify(proof);
+ *
+ * // Batch verify
+ * const batchResult = await verifier.verifyBatch(proofs);
+ * ```
+ */
+export declare class ZKVerifierService {
+    private config;
+    private circuitRegistry;
+    private cache;
+    constructor(config?: Partial<ZKVerifierConfig>);
+    /**
+     * Verify a single proof
+     */
+    verify(proof: ZKProof): Promise<VerificationResult>;
+    /**
+     * Verify multiple proofs in batch
+     *
+     * Batch verification can be more efficient than individual verification
+     * for certain proof systems (e.g., Groth16 with batch pairing checks).
+     */
+    verifyBatch(proofs: ZKProof[]): Promise<BatchVerificationResult>;
+    /**
+     * Verify a serialized proof (from storage/transmission)
+     */
+    verifySerializedProof(serialized: SerializedZKProof): Promise<VerificationResult>;
+    /**
+     * Check if a proof is expired
+     */
+    isExpired(proof: ZKProof): boolean;
+    /**
+     * Get remaining validity time in milliseconds
+     */
+    getRemainingValidity(proof: ZKProof): number | null;
+    /**
+     * Clear verification cache
+     */
+    clearCache(): void;
+    /**
+     * Get cache statistics
+     */
+    getCacheStats(): {
+        size: number;
+        enabled: boolean;
+    };
+    /**
+     * Destroy the service and cleanup resources
+     */
+    destroy(): void;
+    private validateProofStructure;
+    /**
+     * Perform cryptographic verification of the proof
+     *
+     * In production, replace with snarkjs verification:
+     *
+     * ```typescript
+     * import * as snarkjs from 'snarkjs';
+     *
+     * const valid = await snarkjs.groth16.verify(
+     *   verificationKey,
+     *   proof.publicInputs,
+     *   proof.proof
+     * );
+     * ```
+     */
+    private verifyProofCrypto;
+    private computeVerificationHash;
+    private deserializeProof;
+    private recordAndReturn;
+}
+/**
+ * Create a new ZK verifier service
+ */
+export declare function createZKVerifier(config?: Partial<ZKVerifierConfig>): ZKVerifierService;
+//# sourceMappingURL=verifier.d.ts.map

package/dist/security/zkp/verifier.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verifier.d.ts","sourceRoot":"","sources":["../../../src/security/zkp/verifier.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAGH,OAAO,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AAGrD,OAAO,EACL,KAAK,OAAO,EACZ,KAAK,kBAAkB,EACvB,KAAK,uBAAuB,EAC5B,KAAK,gBAAgB,EACrB,KAAK,iBAAiB,EACtB,qBAAqB,EAKtB,MAAM,YAAY,CAAC;AAqDpB;;GAEG;AACH,qBAAa,iBAAkB,SAAQ,WAAW;aAM9B,SAAS,EAAE,qBAAqB;aAChC,OAAO,CAAC,EAAE,MAAM;IANzB,IAAI,SAAwB;IAC5B,UAAU,SAAO;gBAGxB,OAAO,EAAE,MAAM,EACC,SAAS,EAAE,qBAAqB,EAChC,OAAO,CAAC,EAAE,MAAM,EAChC,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;CAKpC;AA8ID;;;;;;;;;;;;;;;GAeG;AACH,qBAAa,iBAAiB;IAC5B,OAAO,CAAC,MAAM,CAAmB;IACjC,OAAO,CAAC,eAAe,CAAkB;IACzC,OAAO,CAAC,KAAK,CAAkC;gBAEnC,MAAM,CAAC,EAAE,OAAO,CAAC,gBAAgB,CAAC;IAkB9C;;OAEG;IACG,MAAM,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAAC,kBAAkB,CAAC;IAkGzD;;;;;OAKG;IACG,WAAW,CAAC,MAAM,EAAE,OAAO,EAAE,GAAG,OAAO,CAAC,uBAAuB,CAAC;IAuDtE;;OAEG;IACG,qBAAqB,CAAC,UAAU,EAAE,iBAAiB,GAAG,OAAO,CAAC,kBAAkB,CAAC;IAiBvF;;OAEG;IACH,SAAS,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO;IAQlC;;OAEG;IACH,oBAAoB,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI;IASnD;;OAEG;IACH,UAAU,IAAI,IAAI;IAOlB;;OAEG;IACH,aAAa,IAAI;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,OAAO,CAAA;KAAE;IAOnD;;OAEG;IACH,OAAO,IAAI,IAAI;IAYf,OAAO,CAAC,sBAAsB;IAsC9B;;;;;;;;;;;;;;OAcG;YACW,iBAAiB;YAiCjB,uBAAuB;IAgBrC,OAAO,CAAC,gBAAgB;IAoBxB,OAAO,CAAC,eAAe;CAiCxB;AAMD;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,gBAAgB,CAAC,GAAG,iBAAiB,CAEtF"}