sign-verify-js-objs.ts

// Utilities for signing and proving when working with messages as JS objects.

import { flatten, unflatten } from 'flat';
import { Encoder } from './encoder';
import { Statement, WitnessEqualityMetaStatement } from './composite-proof/statement';
import { BBSPlusBlindSignatureRequest, BBSPlusSignatureParamsG1 } from './bbs-plus';
import { BBSBlindSignatureRequest, BBSSignatureParams } from './bbs';
import { PSBlindSignatureRequest, PSSignatureParams } from './ps';
import { Witness } from './composite-proof/witness';
import { ISignatureParams, MessageStructure } from './types';
import { encodeMessageForSigningInConstantTime } from 'crypto-wasm-new';
import { BBDT16BlindMacRequest, BBDT16MacParams } from './bbdt16-mac';

export function flattenMessageStructure(msgStructure: MessageStructure): object {
  return flatten(msgStructure);
}

export function getAdaptedSignatureParamsForMessages<Params extends ISignatureParams>(
  params: Params,
  msgStructure: MessageStructure
): Params {
  const flattened = flattenMessageStructure(msgStructure);
  return params.adapt(Object.keys(flattened).length);
}

/**
 * Encodes revealed messages producing an object with names as keys and encoded messages as values and a map with
 * indices as keys and encoded messages as values.
 * Also returns the total amount of names produced by flattening a msg structure.
 * @param revealedMessages - The messages known to the signer
 * @param blindedMessageCount
 * @param msgStructure
 * @param encoder
 */
export function encodeRevealedMessageObject(
  revealedMessages: object,
  blindedMessageCount: number,
  msgStructure: MessageStructure,
  encoder: Encoder
): { encodedByName: { [key: string]: Uint8Array }; encodedByIndex: Map<number, Uint8Array>; total: number } {
  const flattenedAllNames = Object.keys(flattenMessageStructure(msgStructure)).sort();
  const encodedByName = encoder.encodeMessageObjectAsObjectConstantTime(revealedMessages);

  const encodedByIndex = new Map<number, Uint8Array>();
  flattenedAllNames.forEach((n, i) => {
    const msg = encodedByName[n];

    if (msg !== void 0) {
      encodedByIndex.set(i, msg);
    }
  });

  const encodedMessageCount = encodedByIndex.size;
  if (encodedMessageCount !== Object.keys(encodedByName).length) {
    throw new Error(
      `Message structure incompatible with revealedMessages. Got ${encodedMessageCount} to encode but encoded only ${
        Object.keys(encodedByName).length
      }`
    );
  }
  if (flattenedAllNames.length !== encodedMessageCount + blindedMessageCount) {
    throw new Error(
      `Message structure likely incompatible with revealedMessages and blindSigRequest. ${flattenedAllNames.length} != (${encodedMessageCount} + ${blindedMessageCount})`
    );
  }

  return { encodedByName, encodedByIndex, total: flattenedAllNames.length };
}

/**
 * Gives `SignatureParams` that can sign `msgCount` number of messages.
 * @param SignatureParamsClass
 * @param msgCount
 * @param labelOrParams
 */
export function getSigParamsOfRequiredSize<S extends ISignatureParams>(
  SignatureParamsClass: { new (...args): S; generate(msgCount: number, labelOrParams?: Uint8Array): S },
  msgCount: number,
  labelOrParams: Uint8Array | S
): S {
  let sigParams: S;
  if (labelOrParams instanceof SignatureParamsClass) {
    if (labelOrParams.supportedMessageCount() !== msgCount) {
      if (labelOrParams.label === undefined) {
        throw new Error(`Signature params mismatch, needed ${msgCount}, got ${labelOrParams.supportedMessageCount()}`);
      } else {
        sigParams = labelOrParams.adapt(msgCount);
      }
    } else {
      sigParams = labelOrParams;
    }
  } else {
    sigParams = SignatureParamsClass.generate(msgCount, labelOrParams as Uint8Array);
  }
  return sigParams;
}

/**
 * Given the messages as a JS object and the names (use "." for nested property names) of the messages to reveal, returns
 * the encoded messages to reveal and hide as separate maps with the key being the index of the message when the object is
 * flattened.
 * @param messages
 * @param revealedMsgNames
 * @param encoder
 * @param useConstantTimeEncoding
 */
export function getRevealedAndUnrevealed(
  messages: object,
  revealedMsgNames: Set<string>,
  encoder: Encoder,
  useConstantTimeEncoding = true
): [Map<number, Uint8Array>, Map<number, Uint8Array>, object] {
  const [names, encodedValues] = useConstantTimeEncoding ? encoder.encodeMessageObjectConstantTime(messages) : encoder.encodeMessageObject(messages);
  const revealedMsgs = new Map<number, Uint8Array>();
  const unrevealedMsgs = new Map<number, Uint8Array>();
  let found = 0;
  for (let i = 0; i < names.length; i++) {
    if (revealedMsgNames.has(names[i])) {
      revealedMsgs.set(i, encodedValues[i]);
      found++;
    } else {
      unrevealedMsgs.set(i, encodedValues[i]);
    }
  }

  if (revealedMsgNames.size !== found) {
    throw new Error(
      `Some of the revealed message names were not found in the given messages object, ${
        revealedMsgNames.size - found
      } extra names found`
    );
  }

  // This will be given to the verifier to encode independently.
  const revealedMsgsRaw: { [key: string]: unknown } = {};
  const flattened = flatten(messages);
  // @ts-ignore
  revealedMsgNames.forEach((n: string) => (revealedMsgsRaw[n] = flattened[n]));
  return [revealedMsgs, unrevealedMsgs, unflatten(revealedMsgsRaw)];
}

/**
 * Used by the verifier to encode the revealed messages given by the prover.
 * @param revealedMsgsRaw - Revealed messages given by the prover.
 * @param msgStructure - Message structure, i.e. the structure of JS object with key names but values redacted.
 * @param encoder
 */
export function encodeRevealedMsgs(
  revealedMsgsRaw: object,
  msgStructure: MessageStructure,
  encoder: Encoder
): Map<number, Uint8Array> {
  const revealed = new Map<number, Uint8Array>();
  const names = Object.keys(flattenMessageStructure(msgStructure)).sort();
  const flattenedRevealed = flatten(revealedMsgsRaw) as object;
  Object.entries(flattenedRevealed).forEach(([n, v]) => {
    const i = names.indexOf(n);
    if (i === -1) {
      throw new Error(`Message name ${n} was not found`);
    }
    revealed.set(i, encoder.encodeMessageConstantTime(n, v));
  });
  return revealed;
}

/**
 * Check if the given structure is compatible with the given messages object.
 * @param messages
 * @param msgStructure
 */
export function isValidMsgStructure(messages: object, msgStructure: MessageStructure): boolean {
  const namesInStruct = Object.keys(flattenMessageStructure(msgStructure)).sort();
  const namesInMsgs = Object.keys(flatten(messages)).sort();
  return (
    namesInMsgs.length === namesInStruct.length &&
    (() => {
      for (let i = 0; i <= namesInMsgs.length; i++) {
        if (namesInStruct[i] !== namesInMsgs[i]) {
          return false;
        }
      }
      return true;
    })()
  );
}

/**
 * Flattens the object `msgStructure` and returns the indices of names given in `msgNames`
 * @param msgNames
 * @param msgStructure
 * @returns Returns in same order as given names in `msgNames`
 */
export function getIndicesForMsgNames(msgNames: string[], msgStructure: MessageStructure): number[] {
  const allNames = Object.keys(flattenMessageStructure(msgStructure)).sort();
  return msgNames.map((n) => {
    const i = allNames.indexOf(n);
    if (i === -1) {
      throw new Error(`Message name ${n} was not found`);
    }
    return i;
  });
}

/**
 * Takes an equality of messages across statements and returns the `MetaStatement` to be used in the proof.
 * @param equality - Map with key as the statement index and value as the message names of that statement
 * that are to be proved equal and the message structure.
 */
export function createWitnessEqualityMetaStatement(
  equality: Map<number, [msgNames: string[], msgStructure: MessageStructure]>
): WitnessEqualityMetaStatement {
  const ms = new WitnessEqualityMetaStatement();
  for (const [sIdx, [names, struct]] of equality.entries()) {
    const indices = getIndicesForMsgNames(names, struct);
    indices.forEach((i) => ms.addWitnessRef(sIdx, i));
  }
  return ms;
}

/**
 * Get the `BBS` statement to be used in composite proof for the blind signature request
 * @param request
 * @param sigParams
 */
export function getBBSStatementForBlindSigRequest(
  request: BBSBlindSignatureRequest,
  sigParams: BBSSignatureParams
): Uint8Array {
  const commKey = sigParams.getParamsForIndices(request.blindedIndices);
  return Statement.pedersenCommitmentG1(commKey, request.commitment);
}

/**
 * Get the `BBS` witness to be used in composite proof for the blind signature request
 * @param messages
 */
export function getBBSWitnessForBlindSigRequest(messages: Map<number, Uint8Array>): Uint8Array {
  const sortedMessages = [...messages.entries()];
  sortedMessages.sort(([a], [b]) => a - b);

  return Witness.pedersenCommitment(sortedMessages.map(([_, m]) => m));
}

/**
 * Get the `BBS+` statement to be used in composite proof for the blind signature request
 * @param request
 * @param sigParams
 */
export function getBBSPlusStatementForBlindSigRequest(
  request: BBSPlusBlindSignatureRequest,
  sigParams: BBSPlusSignatureParamsG1
): Uint8Array {
  const commKey = sigParams.getParamsForIndices(request.blindedIndices);
  return Statement.pedersenCommitmentG1(commKey, request.commitment);
}

/**
 * Get the `BBS+` witness to be used in composite proof for the blind signature request
 * @param messages
 * @param blinding
 */
export function getBBSPlusWitnessForBlindSigRequest(
  messages: Map<number, Uint8Array>,
  blinding: Uint8Array
): Uint8Array {
  const sortedMessages = [...messages.entries()];
  sortedMessages.sort(([a], [b]) => a - b);

  return Witness.pedersenCommitment([blinding, ...sortedMessages.map(([_, m]) => m)]);
}

/**
 * Get the `PS` statements to be used in composite proof for the blind signature request
 * @param request
 * @param sigParams
 * @param h
 */
export function getPSStatementsForBlindSigRequest(
  request: PSBlindSignatureRequest,
  sigParams: PSSignatureParams,
  h: Uint8Array
): Uint8Array[] {
  const sortedCommitments = [...request.commitments.entries()].sort(([a], [b]) => a - b);
  const hArr = sigParams.getParamsForIndices(sortedCommitments.map(([key]) => key));

  return [
    Statement.pedersenCommitmentG1([sigParams.value.g, ...hArr], request.commitment),
    ...sortedCommitments.map(([_, commitment]) => Statement.pedersenCommitmentG1([sigParams.value.g, h], commitment))
  ];
}

/**
 * Get the `PS witnesses to be used in composite proof for the blind signature request
 * @param messages
 * @param blinding
 * @param blindings
 */
export function getPSWitnessesForBlindSigRequest(
  messages: Map<number, Uint8Array>,
  blinding: Uint8Array,
  blindings: Map<number, Uint8Array>
): Uint8Array[] {
  const sortedMessages = [...messages.entries()].sort(([a], [b]) => a - b);

  return [
    Witness.pedersenCommitment([blinding, ...sortedMessages.map(([_, msg]) => msg)]),
    ...sortedMessages.map(([idx, msg]) => {
      const blinding = blindings.get(idx);
      if (blinding === void 0) throw new Error(`Missing blinding for ${idx}`);

      return Witness.pedersenCommitment([blinding, msg]);
    })
  ];
}

/**
 * Get the `BBDT16` statement to be used in composite proof for the blind signature request
 * @param request
 * @param macParams
 */
export function getBBDT16StatementForBlindMacRequest(
  request: BBDT16BlindMacRequest,
  macParams: BBDT16MacParams
): Uint8Array {
  const commKey = macParams.getParamsForIndices(request.blindedIndices);
  return Statement.pedersenCommitmentG1(commKey, request.commitment);
}

/**
 * Get the `BBDT16` witness to be used in composite proof for the blind signature request
 * @param messages
 * @param blinding
 */
export function getBBDT16WitnessForBlindMacRequest(
  messages: Map<number, Uint8Array>,
  blinding: Uint8Array
): Uint8Array {
  const sortedMessages = [...messages.entries()];
  sortedMessages.sort(([a], [b]) => a - b);

  return Witness.pedersenCommitment([blinding, ...sortedMessages.map(([_, m]) => m)]);
}

export function getBlindedIndicesAndRevealedMessages(
  messagesToBlind: Map<number, Uint8Array>,
  encodeMessages: boolean,
  revealedMessages?: Map<number, Uint8Array>
): [number[], Map<number, Uint8Array> | undefined] {
  const blindedIndices: number[] = [];
  for (const k of messagesToBlind.keys()) {
    blindedIndices.push(k);
  }
  let encodedRevealedMessages: Map<number, Uint8Array> | undefined;
  if (revealedMessages) {
    encodedRevealedMessages = new Map();
    for (const [idx, msg] of revealedMessages) {
      encodedRevealedMessages.set(idx, encodeMessages ? encodeMessageForSigningInConstantTime(msg) : msg);
    }
  }
  blindedIndices.sort((a, b) => a - b);
  return [blindedIndices, encodedRevealedMessages];
}