fix circuit test

This commit is contained in:
0xturboblitz
2023-10-03 13:36:28 +02:00
parent f60275a46d
commit 4e79ef0e7a
2 changed files with 9 additions and 7 deletions

View File

@@ -1,7 +1,7 @@
import { describe } from 'mocha'
import chai, { assert, expect } from 'chai'
import chaiAsPromised from 'chai-as-promised'
import { arraysAreEqual, bytesToBigDecimal, formatAndConcatenateDataHashes, formatMrz, hexToDecimal, splitToWords } from '../utils/utils'
import { arraysAreEqual, bytesToBigDecimal, formatAndConcatenateDataHashes, formatMrz, splitToWords } from '../utils/utils'
import { groth16 } from 'snarkjs'
import { hash, toUnsignedByte } from '../utils/computeEContent'
import { DataHash, PassportData } from '../utils/types'
@@ -21,7 +21,9 @@ describe('Circuit tests', function () {
passportData = require('../inputs/passportData.json');
} else {
passportData = (await genSampleData()) as PassportData;
fs.mkdirSync('inputs');
if (!fs.existsSync("inputs/")) {
fs.mkdirSync("inputs/");
}
fs.writeFileSync('inputs/passportData.json', JSON.stringify(passportData));
}
@@ -74,7 +76,7 @@ describe('Circuit tests', function () {
console.log('proof done');
const revealChars = publicSignals.slice(0, 88).map((byte: string) => String.fromCharCode(parseInt(byte, 10))).join('');
console.log('reveal chars', revealChars);
// console.log('reveal chars', revealChars);
const vKey = JSON.parse(fs.readFileSync("build/verification_key.json"));
const verified = await groth16.verify(
@@ -173,7 +175,7 @@ describe('Circuit tests', function () {
console.log('proof done');
const revealChars = publicSignals.slice(0, 88).map((byte: string) => String.fromCharCode(parseInt(byte, 10)))
console.log('revealChars', revealChars)
// console.log('revealChars', revealChars)
for(let i = 0; i < revealChars.length; i++) {
if (bitmap[i] == '1') {
@@ -195,7 +197,7 @@ describe('Circuit tests', function () {
}
});
console.log('reveal', reveal)
// console.log('reveal', reveal)
const vKey = JSON.parse(fs.readFileSync("build/verification_key.json"));
const verified = await groth16.verify(

View File

@@ -1,6 +1,6 @@
import { hash } from "./computeEContent";
import { DataHash } from "./types";
import { assembleEContent, formatAndConcatenateDataHashes, formatMrz } from "./utils";
import { assembleEContent, formatAndConcatenateDataHashes, formatMrz, hexToDecimal } from "./utils";
import * as forge from 'node-forge';
const sampleMRZ = "P<FRADUPONT<<ALPHONSE<HUGUES<ALBERT<<<<<<<<<24HB818324FRA0402111M3111115<<<<<<<<<<<<<<02"
@@ -65,7 +65,7 @@ export async function genSampleData() {
return {
"mrz": sampleMRZ,
modulus: modulus,
modulus: hexToDecimal(modulus),
"dataGroupHashes": sampleDataHashes,
"eContent": eContent,
"encryptedDigest": signatureBytes,