Skip to content

Commit

Permalink
refactor to commitment_tester
Browse files Browse the repository at this point in the history
  • Loading branch information
seshanthS committed Oct 30, 2024
1 parent 428ef0b commit 537b895
Show file tree
Hide file tree
Showing 3 changed files with 63 additions and 157 deletions.
63 changes: 63 additions & 0 deletions circuits/tests/other_circuits/commitment.test.ts
Original file line number Diff line number Diff line change
@@ -0,0 +1,63 @@
import { expect } from 'chai';
import path from 'path';
import { wasm as wasm_tester } from 'circom_tester';

import {
formatDg2Hash,
formatMrz,
packBytes,
} from '../../../common/src/utils/utils';
import { getLeaf, generateCommitment } from '../../../common/src/utils/pubkeyTree';

import { genMockPassportData } from '../../../common/src/utils/genMockPassportData';
import { formatInput } from '../../../common/src/utils/generateInputs';

describe('commitment hasher', function () {
this.timeout(0);
let circuit;

this.beforeAll(async () => {
const circuitPath = path.resolve(
__dirname,
'../../circuits/tests/utils/commitment_tester.circom'
);
circuit = await wasm_tester(circuitPath, {
include: [
'node_modules',
'./node_modules/@zk-kit/binary-merkle-root.circom/src',
'./node_modules/circomlib/circuits',
],
});
});
describe('generate commitment', async () => {
const passportData = genMockPassportData('rsa_sha256', 'FRA', '000101', '300101');
const formattedMrz = formatMrz(passportData.mrz);
const dg2HashFormatted = formatDg2Hash(passportData.dg2Hash);
const secret = 0;
const attestation_id = 1;
const leaf = getLeaf(passportData.dsc);
const inputs = {
secret: formatInput(secret),
attestation_id: formatInput(attestation_id),
leaf: formatInput(leaf),
dg1: formatInput(formattedMrz),
dg2_hash: dg2HashFormatted,
};

it('commitment from circuits should be equal to commitment from js', async () => {
const witness = await circuit.calculateWitness(inputs, true);
const leafValueCircom = (await circuit.getOutput(witness, ['out'])).out;
console.log('\x1b[34m', 'hashValueCircom: ', leafValueCircom, '\x1b[0m');
const mrz_bytes_packed = packBytes(formattedMrz);
const commitment = generateCommitment(
BigInt(secret).toString(),
BigInt(attestation_id).toString(),
BigInt(leaf).toString(),
mrz_bytes_packed,
dg2HashFormatted
);
console.log('\x1b[34m', 'commitment in js : ', commitment, '\x1b[0m');
expect(BigInt(leafValueCircom).toString()).to.equal(BigInt(commitment).toString());
});
});
});
157 changes: 0 additions & 157 deletions circuits/tests/other_circuits/leaf_hasher.test.ts

This file was deleted.

0 comments on commit 537b895

Please sign in to comment.