@zkproofport-app/sdk 0.2.6 → 0.2.8

package/dist/index.js

@@ -78,6 +78,26 @@ const CIRCUIT_METADATA = {
         publicInputsCount: 148,
         publicInputNames: ['pubkey_modulus_limbs', 'domain', 'scope', 'nullifier', 'provider'],
     },
+    // Korea Mobile ID (mDL) circuits. Counts are byte-flattened field totals
+    // from the compiled circuit ABIs: [u8; 32] arrays contribute 32 inputs each.
+    mdl_kr_ownership: {
+        name: 'Korea Mobile ID — Ownership',
+        description: "Prove valid Korean mobile driver's license ownership with selective disclosure",
+        publicInputsCount: 97,
+        publicInputNames: ['scope', 'nullifier_value', 'disclose_flags', 'owner_commit'],
+    },
+    mdl_kr_age: {
+        name: 'Korea Mobile ID — Age',
+        description: "Prove minimum age from Korean mobile driver's license without revealing birth date",
+        publicInputsCount: 66,
+        publicInputNames: ['scope', 'nullifier_value', 'age_threshold', 'current_year'],
+    },
+    mdl_kr_region: {
+        name: 'Korea Mobile ID — Region',
+        description: "Prove si/do residency from Korean mobile driver's license without revealing address",
+        publicInputsCount: 96,
+        publicInputNames: ['scope', 'nullifier_value', 'region_code'],
+    },
 };
 /**
  * Standard verifier contract ABI shared across all Barretenberg-generated verifiers.
@@ -209,6 +229,36 @@ const COINBASE_COUNTRY_PUBLIC_INPUT_LAYOUT = {
     NULLIFIER_START: 118,
     NULLIFIER_END: 149,
 };
+/**
+ * Korea Mobile ID (mDL) circuit public input layout (field offsets).
+ * All three mDL circuits share the same prefix: scope [0..31] and
+ * nullifier_value [32..63], each stored one byte per field element.
+ * The suffix differs per predicate circuit:
+ * - mdl_kr_ownership (97 inputs): disclose_flags [64], owner_commit [65..96]
+ * - mdl_kr_age (66 inputs): age_threshold [64], current_year [65]
+ * - mdl_kr_region (96 inputs): region_code [64..95]
+ *
+ * @example
+ * ```typescript
+ * const nullifier = publicInputs.slice(
+ *   MDL_KR_PUBLIC_INPUT_LAYOUT.NULLIFIER_START,
+ *   MDL_KR_PUBLIC_INPUT_LAYOUT.NULLIFIER_END + 1
+ * );
+ * ```
+ */
+const MDL_KR_PUBLIC_INPUT_LAYOUT = {
+    SCOPE_START: 0,
+    SCOPE_END: 31,
+    NULLIFIER_START: 32,
+    NULLIFIER_END: 63,
+    OWNERSHIP_DISCLOSE_FLAGS: 64,
+    OWNERSHIP_OWNER_COMMIT_START: 65,
+    OWNERSHIP_OWNER_COMMIT_END: 96,
+    AGE_THRESHOLD: 64,
+    AGE_CURRENT_YEAR: 65,
+    REGION_CODE_START: 64,
+    REGION_CODE_END: 95,
+};
 /**
  * OIDC Domain Attestation circuit public input layout (field offsets).
  * Defines the field positions in the flattened public inputs array (148 fields total).
@@ -231,14 +281,18 @@ const COINBASE_COUNTRY_PUBLIC_INPUT_LAYOUT = {
 const OIDC_DOMAIN_ATTESTATION_PUBLIC_INPUT_LAYOUT = {
     PUBKEY_MODULUS_START: 0,
     PUBKEY_MODULUS_END: 17,
-    DOMAIN_LEN: 18,
-    DOMAIN_START: 19,
-    DOMAIN_END: 82,
+    DOMAIN_STORAGE_START: 18,
+    DOMAIN_STORAGE_END: 81,
+    DOMAIN_LEN: 82,
     SCOPE_START: 83,
     SCOPE_END: 114,
     NULLIFIER_START: 115,
     NULLIFIER_END: 146,
     PROVIDER: 147,
+    /** @deprecated Use DOMAIN_STORAGE_START */
+    DOMAIN_START: 18,
+    /** @deprecated Use DOMAIN_LEN */
+    DOMAIN_END: 82,
 };
 
 /**
@@ -485,6 +539,78 @@ function isProofportDeepLink(url, scheme = DEFAULT_SCHEME) {
  * @param request - Proof request to validate
  * @returns Validation result with `valid` flag and optional `error` message
  */
+/**
+ * Validates a free-text mDL input (scope / targetRegion).
+ * Rejects empty or whitespace-only values, control characters (which break
+ * deep-link query encoding and downstream logging), and values over 256 chars
+ * (server-side length cap mirror). UTF-8 text such as Korean region names is
+ * allowed.
+ *
+ * @returns Error message string, or null when valid.
+ */
+function validateMdlTextInput(value, fieldName) {
+    if (typeof value !== 'string' || value.trim() === '') {
+        return `${fieldName} is required and must be a non-empty string`;
+    }
+    if (value.length > 256) {
+        return `${fieldName} must be 256 characters or fewer`;
+    }
+    // eslint-disable-next-line no-control-regex
+    if (/[\u0000-\u001F\u007F]/.test(value)) {
+        return `${fieldName} must not contain control characters`;
+    }
+    return null;
+}
+/**
+ * Validates dapp-supplied inputs for the Korea Mobile ID (mDL) circuits.
+ * Shared by deep-link request validation and relay request creation so the
+ * same guards apply on every request path.
+ *
+ * Rules:
+ * - `scope` — required non-empty string, ≤256 chars, no control characters
+ * - `mdl_kr_ownership.discloseFlags` — optional integer 0–15 (0x0F bitmask)
+ * - `mdl_kr_age.ageThreshold` — required integer 1–150
+ * - `mdl_kr_region.targetRegion` — required non-empty string (Korean si/do),
+ *   ≤256 chars, no control characters
+ *
+ * @param circuit - One of the three mDL circuit identifiers
+ * @param inputs - Dapp-supplied circuit inputs
+ * @returns Error message string, or null when the inputs are valid
+ */
+function validateMdlInputs(circuit, inputs) {
+    const scopeError = validateMdlTextInput(inputs.scope, 'scope');
+    if (scopeError) {
+        return scopeError;
+    }
+    if (circuit === 'mdl_kr_ownership') {
+        const { discloseFlags } = inputs;
+        if (discloseFlags !== undefined) {
+            if (typeof discloseFlags !== 'number' ||
+                !Number.isInteger(discloseFlags) ||
+                discloseFlags < 0 ||
+                discloseFlags > 0x0f) {
+                return 'discloseFlags must be an integer between 0 and 15';
+            }
+        }
+    }
+    else if (circuit === 'mdl_kr_age') {
+        const { ageThreshold } = inputs;
+        if (typeof ageThreshold !== 'number' ||
+            !Number.isInteger(ageThreshold) ||
+            ageThreshold < 1 ||
+            ageThreshold > 150) {
+            return 'ageThreshold is required and must be an integer between 1 and 150';
+        }
+    }
+    else {
+        const { targetRegion } = inputs;
+        const regionError = validateMdlTextInput(targetRegion, 'targetRegion');
+        if (regionError) {
+            return regionError;
+        }
+    }
+    return null;
+}
 function validateProofRequest(request) {
     if (!request.requestId) {
         return { valid: false, error: 'Missing requestId' };
@@ -492,7 +618,14 @@ function validateProofRequest(request) {
     if (!request.circuit) {
         return { valid: false, error: 'Missing circuit type' };
     }
-    if (!['coinbase_attestation', 'coinbase_country_attestation', 'oidc_domain_attestation'].includes(request.circuit)) {
+    if (![
+        'coinbase_attestation',
+        'coinbase_country_attestation',
+        'oidc_domain_attestation',
+        'mdl_kr_ownership',
+        'mdl_kr_age',
+        'mdl_kr_region',
+    ].includes(request.circuit)) {
         return { valid: false, error: `Invalid circuit type: ${request.circuit}` };
     }
     if (!request.callbackUrl) {
@@ -534,6 +667,14 @@ function validateProofRequest(request) {
             return { valid: false, error: 'provider must be a non-empty string when specified' };
         }
     }
+    else if (request.circuit === 'mdl_kr_ownership' ||
+        request.circuit === 'mdl_kr_age' ||
+        request.circuit === 'mdl_kr_region') {
+        const mdlError = validateMdlInputs(request.circuit, request.inputs);
+        if (mdlError) {
+            return { valid: false, error: mdlError };
+        }
+    }
     // Check expiry
     if (request.expiresAt && Date.now() > request.expiresAt) {
         return { valid: false, error: 'Request has expired' };
@@ -972,6 +1113,11 @@ function extractScopeFromPublicInputs(publicInputsHex, circuit) {
         start = 83;
         end = 114;
     }
+    else if (circuit !== undefined && circuit.startsWith('mdl_kr_')) {
+        // All Korea mDL circuits: scope [0..31], nullifier_value [32..63]
+        start = 0;
+        end = 31;
+    }
     else {
         start = 64;
         end = 95;
@@ -1009,6 +1155,11 @@ function extractNullifierFromPublicInputs(publicInputsHex, circuit) {
         start = 115;
         end = 146;
     }
+    else if (circuit !== undefined && circuit.startsWith('mdl_kr_')) {
+        // All Korea mDL circuits: scope [0..31], nullifier_value [32..63]
+        start = 32;
+        end = 63;
+    }
     else {
         start = 96;
         end = 127;
@@ -1018,6 +1169,38 @@ function extractNullifierFromPublicInputs(publicInputsHex, circuit) {
     const nullifierFields = publicInputsHex.slice(start, end + 1);
     return reconstructBytes32FromFields(nullifierFields);
 }
+/**
+ * Extract domain string from OIDC Domain Attestation public inputs.
+ *
+ * The domain is stored as a Noir BoundedVec<u8, 64>, which serializes as
+ * [storage[0..64], len]. Each storage element is a u8 value in a field element.
+ *
+ * @param publicInputsHex - Array of public input hex strings
+ * @param circuit - Circuit identifier (must be 'oidc_domain_attestation')
+ * @returns Domain as ASCII string, or null if circuit doesn't match or inputs are insufficient
+ *
+ * @example
+ * ```typescript
+ * const domain = extractDomainFromPublicInputs(publicInputs, 'oidc_domain_attestation');
+ * console.log(domain); // 'example.com'
+ * ```
+ */
+function extractDomainFromPublicInputs(publicInputsHex, circuit) {
+    if (circuit !== 'oidc_domain_attestation')
+        return null;
+    const layout = OIDC_DOMAIN_ATTESTATION_PUBLIC_INPUT_LAYOUT;
+    if (publicInputsHex.length <= layout.DOMAIN_LEN)
+        return null;
+    const len = Number(BigInt(publicInputsHex[layout.DOMAIN_LEN]) & 0xffn);
+    if (len === 0 || len > 64)
+        return null;
+    const storageFields = publicInputsHex.slice(layout.DOMAIN_STORAGE_START, layout.DOMAIN_STORAGE_START + len);
+    const chars = storageFields.map(f => {
+        const byte = Number(BigInt(f) & 0xffn);
+        return String.fromCharCode(byte);
+    });
+    return chars.join('');
+}
 /** @internal Reconstruct a bytes32 value from 32 individual field elements */
 function reconstructBytes32FromFields(fields) {
     if (fields.length !== 32) {
@@ -1244,10 +1427,48 @@ class ProofportSDK {
         if (circuit === 'coinbase_country_attestation') {
             return this.createCoinbaseCountryRequest(inputs, options);
         }
+        else if (circuit === 'mdl_kr_ownership' ||
+            circuit === 'mdl_kr_age' ||
+            circuit === 'mdl_kr_region') {
+            return this.createMdlKrRequest(circuit, inputs, options);
+        }
         else {
             return this.createCoinbaseKycRequest(inputs, options);
         }
     }
+    /**
+     * @internal
+     * Creates a Korea Mobile ID (mDL) proof request for any of the three
+     * mDL predicate circuits (ownership / age / region).
+     *
+     * The mobile app collects the license data on-device; the dapp only
+     * supplies the predicate parameters validated here. No wallet signature
+     * is required for mDL circuits.
+     *
+     * @param circuit - 'mdl_kr_ownership' | 'mdl_kr_age' | 'mdl_kr_region'
+     * @param inputs - Predicate inputs (see MdlKr*Inputs types)
+     * @param options - Request configuration options
+     *
+     * @throws Error if the predicate inputs fail validation
+     */
+    createMdlKrRequest(circuit, inputs, options = {}) {
+        const mdlError = validateMdlInputs(circuit, inputs);
+        if (mdlError) {
+            throw new Error(`${mdlError} (circuit: ${circuit})`);
+        }
+        const request = {
+            requestId: generateRequestId(),
+            circuit,
+            inputs,
+            message: options.message,
+            dappName: options.dappName,
+            dappIcon: options.dappIcon,
+            createdAt: Date.now(),
+            expiresAt: Date.now() + (options.expiresInMs || DEFAULT_REQUEST_EXPIRY_MS),
+        };
+        this.pendingRequests.set(request.requestId, request);
+        return request;
+    }
     // ============ Deep Link Generation ============
     /**
      * @internal
@@ -1908,6 +2129,14 @@ class ProofportSDK {
         if (needsSignature && !this.signer) {
             throw new Error('Signer not set. Call setSigner() first. Wallet signature is required for this circuit.');
         }
+        // mDL circuits: validate predicate inputs client-side before hitting the
+        // relay, so a bad ageThreshold / targetRegion fails fast with a clear error.
+        if (circuit === 'mdl_kr_ownership' || circuit === 'mdl_kr_age' || circuit === 'mdl_kr_region') {
+            const mdlError = validateMdlInputs(circuit, inputs);
+            if (mdlError) {
+                throw new Error(`${mdlError} (circuit: ${circuit})`);
+            }
+        }
         // Get challenge + requestId from relay
         const { requestId, challenge } = await this.getChallenge();
         const body = {
@@ -2195,6 +2424,27 @@ class ProofportSDK {
     extractNullifier(publicInputs, circuit) {
         return extractNullifierFromPublicInputs(publicInputs, circuit);
     }
+    /**
+     * Extracts the domain string from OIDC Domain Attestation proof public inputs.
+     *
+     * Only works with 'oidc_domain_attestation' circuit. Returns null for other circuits.
+     *
+     * @param publicInputs - Array of hex-encoded field elements from proof result
+     * @param circuit - Circuit type that produced the public inputs
+     * @returns Domain as ASCII string (e.g., 'example.com'), or null if not applicable
+     *
+     * @example
+     * ```typescript
+     * const result = await sdk.waitForProof(relay.requestId);
+     * if (result.status === 'completed') {
+     *   const domain = sdk.extractDomain(result.publicInputs, result.circuit);
+     *   console.log('Domain:', domain); // 'example.com'
+     * }
+     * ```
+     */
+    extractDomain(publicInputs, circuit) {
+        return extractDomainFromPublicInputs(publicInputs, circuit);
+    }
 }
 /**
  * Creates a proof request through the relay server.
@@ -2235,9 +2485,11 @@ ProofportSDK.WALLET_SIGNATURE_CIRCUITS = [
 
 exports.COINBASE_ATTESTATION_PUBLIC_INPUT_LAYOUT = COINBASE_ATTESTATION_PUBLIC_INPUT_LAYOUT;
 exports.COINBASE_COUNTRY_PUBLIC_INPUT_LAYOUT = COINBASE_COUNTRY_PUBLIC_INPUT_LAYOUT;
+exports.MDL_KR_PUBLIC_INPUT_LAYOUT = MDL_KR_PUBLIC_INPUT_LAYOUT;
 exports.OIDC_DOMAIN_ATTESTATION_PUBLIC_INPUT_LAYOUT = OIDC_DOMAIN_ATTESTATION_PUBLIC_INPUT_LAYOUT;
 exports.ProofportSDK = ProofportSDK;
 exports.default = ProofportSDK;
+exports.extractDomainFromPublicInputs = extractDomainFromPublicInputs;
 exports.extractNullifierFromPublicInputs = extractNullifierFromPublicInputs;
 exports.extractScopeFromPublicInputs = extractScopeFromPublicInputs;
 //# sourceMappingURL=index.js.map