@docknetwork/wallet-sdk-wasm 1.7.7-alpha.0 → 1.9.0

package/lib/services/credential/pex-helpers.mjs

@@ -1,319 +0,0 @@
-import { JSONPath } from '@astronautlabs/jsonpath';
-
-const EPSILON_NUMBER = 0.001;
-const EPSILON_INT = 1;
-
-const MAX_DATE_PLACEHOLDER = 884541351600000;
-const MIN_DATE_PLACEHOLDER = -17592186044415;
-const MAX_INTEGER = Number.MAX_SAFE_INTEGER;
-const MIN_INTEGER = Number.MIN_SAFE_INTEGER;
-const MAX_NUMBER = Number.MAX_SAFE_INTEGER;
-const MIN_NUMBER = Number.MIN_SAFE_INTEGER;
-
-/*
-  PEX Filter rules:
-    greater-than - Use the exclusiveMinimum descriptor
-    less-than - Use the exclusiveMaximum descriptor
-    greater-than or equal-to - Use the minimum descriptor
-    less-than or equal-to - Use the maximum descriptor
-*/
-
-function correctFieldPath(path) {
-  // NOTE: may not work for advanced jsonpath selectors, needs investigation
-  return path.replace('$.', '');
-}
-
-function getNumDecimalPlaces(n) {
-  const parts = n.toString().split('.');
-  return parts.length > 1 && parts[1].length;
-}
-
-function toMaxDecimalPlaces(n, maxDecimalPlaces) {
-  return +n.toFixed(maxDecimalPlaces);
-}
-
-function getAttributeName({field, selectedCredentials, index}) {
-  let attributeName;
-  if (Array.isArray(field.path) && field.path.length > 1) {
-    const selectedCredential = selectedCredentials[index];
-    if (!selectedCredential) {
-      throw new Error(`Expected selected credential at index ${index}`);
-    }
-
-    // Must find a path that matches in selectedcredential, and choose that for bounds
-    const pathCount = field.path.length;
-    for (let i = 0; i < pathCount; i++) {
-      const path = field.path[i];
-      const paths = JSONPath.paths(selectedCredential, path);
-      if (paths.length) {
-        // First come first served
-        attributeName = correctFieldPath(JSONPath.stringify(paths[0]));
-        break;
-      }
-    }
-  } else {
-    attributeName = correctFieldPath(
-      Array.isArray(field.path) ? field.path[0] : field.path,
-    );
-  }
-
-  return attributeName;
-}
-
-/**
- * Convert PEX request to bounds for each descriptor
- * @param {*} pexRequest - The PEX request object containing input descriptors and constraints
- * @param {*} selectedCredentials  - Array of selected credentials corresponding to the input descriptors
- * @param {*} removeFromRequest - if true, removes range proofs fields from the request. it might be dangerous if you will be using the proof request later
- *  because it will not have the range proofs fields anymore.
- * @returns {Array} - Array of bounds for each descriptor, where each bound is an object with attributeName, min, and max
- * @throws {Error} - If a field path is missing or empty
- * @throws {Error} - If an unsupported format or type is encountered
- * @throws {Error} - If a selected credential is expected but not found at the given index
- */
-function pexToBounds(
-  pexRequest,
-  selectedCredentials = [],
-  removeFromRequest = false,
-) {
-  const descriptorBounds = [];
-  const fieldsToRemove = [];
-
-  // One list of bounds per descriptor/credential
-  pexRequest.input_descriptors.forEach((inputDescriptor, index) => {
-    const selectedCredential = selectedCredentials[index];
-    if (!selectedCredential) {
-      return;
-    }
-
-    // Get embedded schema if existing
-    let decodedSchema = {};
-    if (selectedCredential.credentialSchema) {
-      const schemaStartStr = 'data:application/json;charset=utf-8,';
-
-      if (selectedCredential.credentialSchema.details) {
-        decodedSchema =
-          JSON.parse(selectedCredential.credentialSchema.details).jsonSchema ||
-          {};
-      } else if (
-        selectedCredential.credentialSchema.id &&
-        selectedCredential.credentialSchema.id.startsWith(schemaStartStr)
-      ) {
-        // LEGACY embedded schema handling
-        decodedSchema = JSON.parse(
-          decodeURIComponent(
-            selectedCredential.credentialSchema.id.split(schemaStartStr)[1],
-          ),
-        );
-      }
-    }
-
-    const bounds = [];
-    inputDescriptor.constraints.fields.forEach(field => {
-      const {
-        exclusiveMaximum,
-        exclusiveMinimum,
-        formatMaximum,
-        formatMinimum,
-        maximum,
-        minimum,
-        format,
-        type,
-      } = field.filter || {};
-
-      if (!field.path || field.path.length === 0) {
-        throw new Error(
-          'Missing or empty field "path" property, expected array or string',
-        );
-      }
-
-      let attributeName;
-      if (Array.isArray(field.path) && field.path.length > 1) {
-        // Must find a path that matches in selectedcredential, and choose that for bounds
-        const pathCount = field.path.length;
-        for (let i = 0; i < pathCount; i++) {
-          const path = field.path[i];
-          const paths = JSONPath.paths(selectedCredential, path);
-          if (paths.length) {
-            // First come first served
-            attributeName = correctFieldPath(JSONPath.stringify(paths[0]));
-            break;
-          }
-        }
-      } else {
-        const path = Array.isArray(field.path) ? field.path[0] : field.path;
-        attributeName = correctFieldPath(path);
-      }
-
-      if (!attributeName) {
-        return;
-      }
-
-      const schemaPath = `$.properties.${attributeName.replaceAll(
-        '.',
-        '.properties.',
-      )}`;
-      const attributeSchema = JSONPath.query(
-        decodedSchema,
-        schemaPath,
-        1,
-      )[0] || {type};
-
-      let max =
-        maximum === undefined
-          ? formatMaximum === undefined
-            ? exclusiveMaximum
-            : formatMaximum
-          : maximum;
-
-      let min =
-        minimum === undefined
-          ? formatMinimum === undefined
-            ? exclusiveMinimum
-            : formatMinimum
-          : minimum;
-
-      const proofRequestMax = max;
-      const proofRequestMin = min;
-
-      if (max === undefined && min === undefined) {
-        return;
-      }
-
-      const attributeType = attributeSchema.type || type;
-
-      // Get min/max bounds values, if using exclusive we must apply an epsilon so equality isnt true
-      if (format === 'date-time' || format === 'date') {
-        max = new Date(max === undefined ? MAX_DATE_PLACEHOLDER : max);
-        min = new Date(min === undefined ? MIN_DATE_PLACEHOLDER : min);
-      } else if (attributeType === 'number') {
-        const epsilon = attributeSchema.multipleOf || EPSILON_NUMBER;
-        const attribDecimalPlaces = getNumDecimalPlaces(epsilon);
-
-        max =
-          max === undefined
-            ? attributeSchema.maximum === undefined
-              ? MAX_NUMBER
-              : attributeSchema.maximum
-            : exclusiveMaximum === undefined
-            ? max
-            : max - epsilon;
-        min =
-          min === undefined
-            ? attributeSchema.minimum === undefined
-              ? MIN_NUMBER
-              : attributeSchema.minimum
-            : exclusiveMinimum === undefined
-            ? min
-            : min + epsilon;
-
-        // Because of floating point math sucks, sometimes we can get extra decimal points
-        // the bounds must also match the same decimal points as the input
-        // for this we read from the embedded schema
-        min = toMaxDecimalPlaces(min, attribDecimalPlaces);
-        max = toMaxDecimalPlaces(max, attribDecimalPlaces);
-      } else if (attributeType === 'integer') {
-        max =
-          max === undefined
-            ? attributeSchema.maximum === undefined
-              ? MAX_INTEGER
-              : attributeSchema.maximum
-            : exclusiveMaximum === undefined
-            ? max
-            : max - EPSILON_INT;
-        min =
-          min === undefined
-            ? attributeSchema.minimum === undefined
-              ? MIN_INTEGER
-              : attributeSchema.minimum
-            : exclusiveMinimum === undefined
-            ? min
-            : min + EPSILON_INT;
-
-        // Ensure that input values are not decimals otherwise crypto-wasm-ts will complain
-        min = Math.floor(min);
-        max = Math.floor(max);
-      } else {
-        throw new Error(
-          `Unsupported format ${format} and type ${type} for enforce bounds`,
-        );
-      }
-
-      if (removeFromRequest) {
-        fieldsToRemove.push({
-          fields: inputDescriptor.constraints.fields,
-          field,
-        });
-      }
-
-      bounds.push({
-        attributeName,
-        min,
-        max,
-        proofRequestMax,
-        proofRequestMin,
-        format,
-        type,
-      });
-    });
-
-    descriptorBounds.push(bounds);
-  });
-
-  fieldsToRemove.forEach(({fields, field}) => {
-    const idx = fields.indexOf(field);
-    if (idx !== -1) {
-      fields.splice(idx, 1);
-    }
-  });
-
-  return descriptorBounds;
-}
-
-const attributesToSkip = [
-  /^type/,
-  /^issuer/,
-  /^@context/,
-  /^proof/,
-  /^credentialSchema/,
-  /^issuanceDate/,
-];
-
-const shouldSkipAttribute = attributeName =>
-  attributesToSkip.some(regex => regex.test(attributeName));
-
-function getPexRequiredAttributes(pexRequest, selectedCredentials = []) {
-  return pexRequest.input_descriptors
-    .map((inputDescriptor, index) => {
-      return inputDescriptor.constraints.fields
-        .filter(field => {
-          if (field.filter || field.optional) {
-            return false;
-          }
-
-          try {
-            if (!selectedCredentials[index]) {
-              return false;
-            }
-
-            const paths = Array.isArray(field.path)
-              ? field.path.flatMap(singlePath =>
-                  JSONPath.paths(selectedCredentials[index], singlePath),
-                )
-              : JSONPath.paths(selectedCredentials[index], field.path);
-
-            return paths.length !== 0;
-          } catch (error) {
-            console.error(`Error in field ${field.path}: ${error.message}`);
-            return false;
-          }
-        })
-        .map(field => getAttributeName({field, selectedCredentials, index}))
-        .filter(attributeName => {
-          return !shouldSkipAttribute(attributeName);
-        });
-    })
-    .filter(requiredAttributes => requiredAttributes.length > 0);
-}
-
-export { EPSILON_INT, EPSILON_NUMBER, MAX_DATE_PLACEHOLDER, MAX_INTEGER, MAX_NUMBER, MIN_DATE_PLACEHOLDER, MIN_INTEGER, MIN_NUMBER, getPexRequiredAttributes, pexToBounds, shouldSkipAttribute };

package/lib/services/credential/range-proofs-example.js

@@ -1,107 +0,0 @@
-'use strict';
-
-Object.defineProperty(exports, '__esModule', { value: true });
-
-var lib = require('@docknetwork/crypto-wasm-ts/lib');
-var boundCheck = require('@docknetwork/crypto-wasm-ts/lib/bound-check');
-var index = require('@docknetwork/crypto-wasm-ts/lib/index');
-
-const stringToBytes = (string) => Uint8Array.from(Buffer.from(string, 'utf-8'));
-function getRevealedUnrevealed(messages, revealedIndices) {
-    const revealedMsgs = new Map();
-    const unrevealedMsgs = new Map();
-    for (let i = 0; i < messages.length; i++) {
-        if (revealedIndices.has(i)) {
-            revealedMsgs.set(i, messages[i]);
-        }
-        else {
-            unrevealedMsgs.set(i, messages[i]);
-        }
-    }
-    return [revealedMsgs, unrevealedMsgs];
-}
-async function rangeProofExample() {
-    await index.initializeWasm();
-    const pk = boundCheck.BoundCheckSnarkSetup();
-    const snarkProvingKey = pk.decompress();
-    const snarkVerifyingKey = pk.getVerifyingKeyUncompressed();
-    const earliestIssuance = 642709800000; // Timestamp of the earliest acceptable issuance, used as lower bound
-    const latestIssuance = 1588271400000; // Timestamp of the latest acceptable issuance, used as upper bound
-    const bornAfter = 642709800000; // Timestamp of the latest acceptable birth date, used as lower bound
-    const now = 1620585000000; // Timestamp as of now, i.e proof generation
-    const someDistantFuture = 1777746600000; // Timestamp from future
-    const attributes = [];
-    attributes.push(lib.BBSSignature.encodeMessageForSigning(stringToBytes('John Smith'))); // Name
-    attributes.push(lib.BBSSignature.encodeMessageForSigning(stringToBytes('123-456789-0'))); // SSN
-    attributes.push(lib.BBSSignature.encodePositiveNumberForSigning(bornAfter + 100000)); // Birth date as no. of milliseconds since epoch
-    attributes.push(lib.BBSSignature.encodePositiveNumberForSigning(earliestIssuance + 100000)); // Issuance date as no. of milliseconds since epoch
-    attributes.push(lib.BBSSignature.encodePositiveNumberForSigning(now + 2000000)); // Expiration date as no. of milliseconds since epoch
-    const messageCount = attributes.length;
-    const sigParams = lib.BBSSignatureParams.generate(messageCount);
-    const sigKeypair1 = lib.BBSKeypair.generate(sigParams);
-    const sigSecretKey = sigKeypair1.secretKey;
-    const sigPublicKey = sigKeypair1.publicKey;
-    // Signer creates the signature and shares with prover
-    const sig = lib.BBSSignature.generate(attributes, sigSecretKey, sigParams, false);
-    const proverSetupParams = [];
-    proverSetupParams.push(lib.SetupParam.legosnarkProvingKeyUncompressed(snarkProvingKey));
-    const revealedIndices = new Set();
-    revealedIndices.add(0);
-    const [revealedAttrs, unrevealedAttrs] = getRevealedUnrevealed(attributes, revealedIndices);
-    const statement1 = lib.Statement.bbsSignature(sigParams, sigPublicKey, revealedAttrs, false);
-    const statement2 = lib.Statement.boundCheckProverFromSetupParamRefs(bornAfter, now, 0);
-    // For proving issuance date was between `earliestIssuance` and `latestIssuance`
-    const statement3 = lib.Statement.boundCheckProverFromSetupParamRefs(earliestIssuance, latestIssuance, 0);
-    // For proving expiration date was between `now` and `someDistantFuture`, i.e. its not expired as of now.
-    const statement4 = lib.Statement.boundCheckProverFromSetupParamRefs(now, someDistantFuture, 0);
-    const proverStatements = new lib.Statements(statement1);
-    proverStatements.add(statement2);
-    proverStatements.add(statement3);
-    proverStatements.add(statement4);
-    // For birth date attribute
-    const witnessEq1 = new lib.WitnessEqualityMetaStatement();
-    witnessEq1.addWitnessRef(0, 2);
-    witnessEq1.addWitnessRef(1, 0);
-    // For issuance date attribute
-    const witnessEq2 = new lib.WitnessEqualityMetaStatement();
-    witnessEq2.addWitnessRef(0, 3);
-    witnessEq2.addWitnessRef(2, 0);
-    // For expiration date attribute
-    const witnessEq3 = new lib.WitnessEqualityMetaStatement();
-    witnessEq3.addWitnessRef(0, 4);
-    witnessEq3.addWitnessRef(3, 0);
-    const metaStatements = new lib.MetaStatements();
-    metaStatements.add(lib.MetaStatement.witnessEquality(witnessEq1));
-    metaStatements.add(lib.MetaStatement.witnessEquality(witnessEq2));
-    metaStatements.add(lib.MetaStatement.witnessEquality(witnessEq3));
-    const witnesses = new lib.Witnesses();
-    witnesses.add(lib.Witness.bbsSignature(sig, unrevealedAttrs, false));
-    witnesses.add(lib.Witness.boundCheckLegoGroth16(attributes[2]));
-    witnesses.add(lib.Witness.boundCheckLegoGroth16(attributes[3]));
-    witnesses.add(lib.Witness.boundCheckLegoGroth16(attributes[4]));
-    const proverProofSpec = new lib.QuasiProofSpecG1(proverStatements, metaStatements, proverSetupParams);
-    const nonce = stringToBytes('a nonce');
-    const proof = lib.CompositeProofG1.generateUsingQuasiProofSpec(proverProofSpec, witnesses, nonce);
-    console.log(proof);
-    // Verify the proof
-    const verifierSetupParams = [];
-    verifierSetupParams.push(lib.SetupParam.legosnarkVerifyingKeyUncompressed(snarkVerifyingKey));
-    // For verifying birth date was after `bornAfter`
-    const statement5 = lib.Statement.boundCheckVerifierFromSetupParamRefs(bornAfter, now, 0);
-    // For verifying issuance date was between `earliestIssuance` and `latestIssuance`
-    const statement6 = lib.Statement.boundCheckVerifierFromSetupParamRefs(earliestIssuance, latestIssuance, 0);
-    // For verifying expiration date was between `now` and `someDistantFuture`, i.e. its not expired as of now.
-    const statement7 = lib.Statement.boundCheckVerifierFromSetupParamRefs(now, someDistantFuture, 0);
-    const verifierStatements = new lib.Statements();
-    verifierStatements.add(statement1);
-    verifierStatements.add(statement5);
-    verifierStatements.add(statement6);
-    verifierStatements.add(statement7);
-    const verifierProofSpec = new lib.QuasiProofSpecG1(verifierStatements, metaStatements, verifierSetupParams);
-    const result = proof.verifyUsingQuasiProofSpec(verifierProofSpec, nonce);
-    console.log(result);
-    return true;
-}
-rangeProofExample();
-
-exports.rangeProofExample = rangeProofExample;

package/lib/services/credential/range-proofs-example.mjs

@@ -1,103 +0,0 @@
-import { BBSSignature, BBSSignatureParams, BBSKeypair, SetupParam, Statement, Statements, WitnessEqualityMetaStatement, MetaStatements, MetaStatement, Witnesses, Witness, QuasiProofSpecG1, CompositeProofG1 } from '@docknetwork/crypto-wasm-ts/lib';
-import { BoundCheckSnarkSetup } from '@docknetwork/crypto-wasm-ts/lib/bound-check';
-import { initializeWasm } from '@docknetwork/crypto-wasm-ts/lib/index';
-
-const stringToBytes = (string) => Uint8Array.from(Buffer.from(string, 'utf-8'));
-function getRevealedUnrevealed(messages, revealedIndices) {
-    const revealedMsgs = new Map();
-    const unrevealedMsgs = new Map();
-    for (let i = 0; i < messages.length; i++) {
-        if (revealedIndices.has(i)) {
-            revealedMsgs.set(i, messages[i]);
-        }
-        else {
-            unrevealedMsgs.set(i, messages[i]);
-        }
-    }
-    return [revealedMsgs, unrevealedMsgs];
-}
-async function rangeProofExample() {
-    await initializeWasm();
-    const pk = BoundCheckSnarkSetup();
-    const snarkProvingKey = pk.decompress();
-    const snarkVerifyingKey = pk.getVerifyingKeyUncompressed();
-    const earliestIssuance = 642709800000; // Timestamp of the earliest acceptable issuance, used as lower bound
-    const latestIssuance = 1588271400000; // Timestamp of the latest acceptable issuance, used as upper bound
-    const bornAfter = 642709800000; // Timestamp of the latest acceptable birth date, used as lower bound
-    const now = 1620585000000; // Timestamp as of now, i.e proof generation
-    const someDistantFuture = 1777746600000; // Timestamp from future
-    const attributes = [];
-    attributes.push(BBSSignature.encodeMessageForSigning(stringToBytes('John Smith'))); // Name
-    attributes.push(BBSSignature.encodeMessageForSigning(stringToBytes('123-456789-0'))); // SSN
-    attributes.push(BBSSignature.encodePositiveNumberForSigning(bornAfter + 100000)); // Birth date as no. of milliseconds since epoch
-    attributes.push(BBSSignature.encodePositiveNumberForSigning(earliestIssuance + 100000)); // Issuance date as no. of milliseconds since epoch
-    attributes.push(BBSSignature.encodePositiveNumberForSigning(now + 2000000)); // Expiration date as no. of milliseconds since epoch
-    const messageCount = attributes.length;
-    const sigParams = BBSSignatureParams.generate(messageCount);
-    const sigKeypair1 = BBSKeypair.generate(sigParams);
-    const sigSecretKey = sigKeypair1.secretKey;
-    const sigPublicKey = sigKeypair1.publicKey;
-    // Signer creates the signature and shares with prover
-    const sig = BBSSignature.generate(attributes, sigSecretKey, sigParams, false);
-    const proverSetupParams = [];
-    proverSetupParams.push(SetupParam.legosnarkProvingKeyUncompressed(snarkProvingKey));
-    const revealedIndices = new Set();
-    revealedIndices.add(0);
-    const [revealedAttrs, unrevealedAttrs] = getRevealedUnrevealed(attributes, revealedIndices);
-    const statement1 = Statement.bbsSignature(sigParams, sigPublicKey, revealedAttrs, false);
-    const statement2 = Statement.boundCheckProverFromSetupParamRefs(bornAfter, now, 0);
-    // For proving issuance date was between `earliestIssuance` and `latestIssuance`
-    const statement3 = Statement.boundCheckProverFromSetupParamRefs(earliestIssuance, latestIssuance, 0);
-    // For proving expiration date was between `now` and `someDistantFuture`, i.e. its not expired as of now.
-    const statement4 = Statement.boundCheckProverFromSetupParamRefs(now, someDistantFuture, 0);
-    const proverStatements = new Statements(statement1);
-    proverStatements.add(statement2);
-    proverStatements.add(statement3);
-    proverStatements.add(statement4);
-    // For birth date attribute
-    const witnessEq1 = new WitnessEqualityMetaStatement();
-    witnessEq1.addWitnessRef(0, 2);
-    witnessEq1.addWitnessRef(1, 0);
-    // For issuance date attribute
-    const witnessEq2 = new WitnessEqualityMetaStatement();
-    witnessEq2.addWitnessRef(0, 3);
-    witnessEq2.addWitnessRef(2, 0);
-    // For expiration date attribute
-    const witnessEq3 = new WitnessEqualityMetaStatement();
-    witnessEq3.addWitnessRef(0, 4);
-    witnessEq3.addWitnessRef(3, 0);
-    const metaStatements = new MetaStatements();
-    metaStatements.add(MetaStatement.witnessEquality(witnessEq1));
-    metaStatements.add(MetaStatement.witnessEquality(witnessEq2));
-    metaStatements.add(MetaStatement.witnessEquality(witnessEq3));
-    const witnesses = new Witnesses();
-    witnesses.add(Witness.bbsSignature(sig, unrevealedAttrs, false));
-    witnesses.add(Witness.boundCheckLegoGroth16(attributes[2]));
-    witnesses.add(Witness.boundCheckLegoGroth16(attributes[3]));
-    witnesses.add(Witness.boundCheckLegoGroth16(attributes[4]));
-    const proverProofSpec = new QuasiProofSpecG1(proverStatements, metaStatements, proverSetupParams);
-    const nonce = stringToBytes('a nonce');
-    const proof = CompositeProofG1.generateUsingQuasiProofSpec(proverProofSpec, witnesses, nonce);
-    console.log(proof);
-    // Verify the proof
-    const verifierSetupParams = [];
-    verifierSetupParams.push(SetupParam.legosnarkVerifyingKeyUncompressed(snarkVerifyingKey));
-    // For verifying birth date was after `bornAfter`
-    const statement5 = Statement.boundCheckVerifierFromSetupParamRefs(bornAfter, now, 0);
-    // For verifying issuance date was between `earliestIssuance` and `latestIssuance`
-    const statement6 = Statement.boundCheckVerifierFromSetupParamRefs(earliestIssuance, latestIssuance, 0);
-    // For verifying expiration date was between `now` and `someDistantFuture`, i.e. its not expired as of now.
-    const statement7 = Statement.boundCheckVerifierFromSetupParamRefs(now, someDistantFuture, 0);
-    const verifierStatements = new Statements();
-    verifierStatements.add(statement1);
-    verifierStatements.add(statement5);
-    verifierStatements.add(statement6);
-    verifierStatements.add(statement7);
-    const verifierProofSpec = new QuasiProofSpecG1(verifierStatements, metaStatements, verifierSetupParams);
-    const result = proof.verifyUsingQuasiProofSpec(verifierProofSpec, nonce);
-    console.log(result);
-    return true;
-}
-rangeProofExample();
-
-export { rangeProofExample };