ProofGenVerifyExample.js

/*global console*/
import {API_ID_BBS_SHAKE, bytesToHex, hexToBytes, messages_to_scalars,
  prepareGenerators, proofGen, proofVerify, publicFromPrivate}
  from '../lib/BBS.js';
// Some test messages in hex string format from draft
const hex_msgs = [
  '9872ad089e452c7b6e283dfac2a80d58e8d0ff71cc4d5e310a1debdda4a45f02',
  'c344136d9ab02da4dd5908bbba913ae6f58c2cc844b802a6f811f5fb075f9b80',
  '7372e9daa5ed31e6cd5c825eac1b855e84476a1d94932aa348e07b73',
  '77fe97eb97a1ebe2e81e4e3597a3ee740a66e9ef2412472c',
  '496694774c5604ab1b2544eababcf0f53278ff50',
  '515ae153e22aae04ad16f759e07237b4',
  'd183ddc6e2665aa4e2f088af',
  'ac55fb33a75909ed',
  '96012096',
  ''
];

const test_msgs = hex_msgs.map(hex => hexToBytes(hex)); // Convert to byte array
const msg_scalars = await messages_to_scalars(test_msgs, API_ID_BBS_SHAKE); // hash to scalars
const gens = await prepareGenerators(test_msgs.length + 1, API_ID_BBS_SHAKE); // Enough for all msgs

const sk_bytes = hexToBytes(
  '2eee0f60a8a3a8bec0ee942bfd46cbdae9a0738ee68f5a64e7238311cf09a079');
const pk_bytes = publicFromPrivate(sk_bytes);
const header = hexToBytes('11223344556677889900aabbccddeeff');
/*eslint max-len: ["error", { "ignoreStrings": true, "ignoreComments": true }]*/
// From https://github.com/decentralized-identity/bbs-signature/blob/main/tooling/fixtures/fixture_data/bls12-381-shake-256/signature/signature004.json
const signature = hexToBytes('956a3427b1b8e3642e60e6a7990b67626811adeec7a0a6cb4f770cdd7c20cf08faabb913ac94d18e1e92832e924cb6e202912b624261fc6c59b0fea801547f67fb7d3253e1e2acbcf90ef59a6911931e');
const ph = new Uint8Array();
const disclosed_indexes = [0, 1, 2, 3, 6, 7, 8, 9];
let result = await proofGen(pk_bytes, signature, header, ph, msg_scalars,
  disclosed_indexes, gens, API_ID_BBS_SHAKE);
// console.log(`result length: ${result.length}`);
// console.log(`expected length: ${3*48 + 5*32 + 32*(msg_scalars.length - disclosed_indexes.length)}`);
console.log('Proof');
console.log(bytesToHex(result));
// Create proof bundle: pk_bytes, header, ph, disclosed msgs, disclosed indexes, proof, total messages
const disclosedMsgs = hex_msgs.filter(
  (msg, i) => disclosed_indexes.includes(i)
);
const proofBundle = {
  pk: bytesToHex(pk_bytes),
  header: bytesToHex(header),
  ph: bytesToHex(ph),
  disclosedIndexes: disclosed_indexes,
  disclosedMsgs,
  proof: bytesToHex(result)
};

console.log(proofBundle);

// Verify proof
const pk = hexToBytes(proofBundle.pk);
const proof = hexToBytes(proofBundle.proof);
const headerV = hexToBytes(proofBundle.header);
const phV = hexToBytes(proofBundle.ph);

// In the proof bundle messages are hex strings, need scalars
const dis_msg_octets = proofBundle.disclosedMsgs.map(hex => hexToBytes(hex));
const disclosed_msgs = await messages_to_scalars(dis_msg_octets,
  API_ID_BBS_SHAKE);
const disclosed_indexesV = proofBundle.disclosedIndexes;
result = await proofVerify(pk, proof, headerV, phV, disclosed_msgs,
  disclosed_indexesV, gens, API_ID_BBS_SHAKE);
console.log(`Proof verified: ${result}`);