github/self
1
1
Fork 0
mirror of https://github.com/selfxyz/self.git synced 2026-04-05 03:00:53 -04:00
Code Issues Packages Projects Releases Wiki Activity

Merge branch 'dev' of https://github.com/zk-passport/openpassport into feat/remove-dummy-inputs

Browse Source
This commit is contained in:
turnoffthiscomputer
2024-12-18 17:54:02 +01:00
parent f79a14af9d c417feee38
commit 4f8fa69f12
7 changed files with 38 additions and 199 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
circuits/circuits/tests/utils/proveCountryIsNotInList_tester.circom
View File

@@ -1,3 +1,3 @@
pragma circom 2.1.9;
include "../../disclose/proveCountryIsNotInList.circom";
include "../../utils/passport/disclose/proveCountryIsNotInList.circom";
component main { public [ forbidden_countries_list ] } = ProveCountryIsNotInList(20);

9
circuits/tests/dsc.test.ts
View File

@@ -14,12 +14,19 @@ import { max_cert_bytes } from '../../common/src/constants/constants';
import { getCircuitName } from '../../common/src/utils/certificates/handleCertificate';
const sigAlgs = [
{ sigAlg: 'rsa', hashFunction: 'sha256', domainParameter: '65537', keyLength: '4096' },
];
const fullSigAlgs = [
{ sigAlg: 'rsa', hashFunction: 'sha1', domainParameter: '65537', keyLength: '4096' },
{ sigAlg: 'rsa', hashFunction: 'sha256', domainParameter: '65537', keyLength: '4096' },
{ sigAlg: 'rsapss', hashFunction: 'sha256', domainParameter: '65537', keyLength: '4096' },
];
sigAlgs.forEach(({ sigAlg, hashFunction, domainParameter, keyLength }) => {
// Use environment variable to determine which test suite to run
const testSuite = process.env.FULL_TEST_SUITE === 'true' ? fullSigAlgs : sigAlgs;
testSuite.forEach(({ sigAlg, hashFunction, domainParameter, keyLength }) => {
describe(`DSC chain certificate - ${hashFunction.toUpperCase()} ${sigAlg.toUpperCase()}`, function () {
this.timeout(0); // Disable timeout
let circuit;

95
circuits/tests/other_circuits/sha384.test.ts
View File

@@ -1,95 +0,0 @@
import { describe } from 'mocha';
import { expect } from 'chai';
import path from 'path';
import { wasm as wasm_tester } from 'circom_tester';
import { formatInput } from '../../../common/src/utils/generateInputs';
import crypto from 'crypto';
import { sha384_512Pad } from '../../../common/src/utils/shaPad';
import { hash } from '../../../common/src/utils/utils';
describe('sha384', function () {
this.timeout(0);
let circuit: any;
let circuitStatic: any;
function convertArrayToBitArray(inputArray) {
return inputArray.flatMap((num) => num.toString(2).padStart(8, '0').split('').map(Number));
}
function convertToBitArray(numbers) {
// Convert each number to 8 bits and flatten the array
return numbers.flatMap((num) => {
// Handle negative numbers by using Uint8Array
const uint8 = new Uint8Array(1);
uint8[0] = num;
// Convert to binary string and pad to 8 bits
const binaryStr = uint8[0].toString(2).padStart(8, '0');
// Convert string to array of bits
return binaryStr.split('').map(Number);
});
}
before(async () => {
circuit = await wasm_tester(
path.join(__dirname, `../../circuits/tests/utils/sha384_tester.circom`),
{
include: ['node_modules', '../../node_modules/circomlib/circuits'],
}
);
circuitStatic = await wasm_tester(
path.join(__dirname, `../../circuits/tests/utils/sha384_static_tester.circom`),
{
include: ['node_modules', '../../node_modules/circomlib/circuits'],
}
);
});
it('should compile and load the circuit', async function () {
expect(circuit).to.not.be.undefined;
});
it('should calculate the hash correcty', async function () {
const signedAttr = [
49, 102, 48, 21, 6, 9, 42, -122, 72, -122, -9, 13, 1, 9, 3, 49, 8, 6, 6, 103, -127, 8, 1, 1,
1, 48, 28, 6, 9, 42, -122, 72, -122, -9, 13, 1, 9, 5, 49, 15, 23, 13, 49, 57, 49, 50, 49, 54,
49, 55, 50, 50, 51, 56, 90, 48, 47, 6, 9, 42, -122, 72, -122, -9, 13, 1, 9, 4, 49, 34, 4, 32,
51, -119, -60, -100, 83, 81, 1, 84, -99, 0, -1, -4, -101, 45, -14, -76, 6, 49, 1, -60, -43,
22, 42, 21, 111, -96, 97, 102, -66, 71, -43, -34,
];
const [signedAttrPadded, signedAttrPaddedLen] = sha384_512Pad(new Uint8Array(signedAttr), 192);
const hasher = crypto.createHash('sha384');
hasher.update(Buffer.from(signedAttr));
const hashed = hasher.digest();
console.log('\x1b[34m%s\x1b[0m', 'hashed', hashed.toString('hex'));
const w = await circuit.calculateWitness({
in_padded: Array.from(signedAttrPadded),
in_len_padded_bytes: signedAttrPaddedLen,
expected: convertArrayToBitArray(Array.from(hashed)),
});
await circuit.checkConstraints(w);
});
it('should calculate the hash correcty', async function () {
let formattedMrz = [
97, 91, 95, 31, 88, 80, 60, 70, 82, 65, 68, 85, 80, 79, 78, 84, 60, 60, 65, 76, 80, 72, 79,
78, 83, 69, 60, 72, 85, 71, 72, 85, 69, 83, 60, 65, 76, 66, 69, 82, 84, 60, 60, 60, 60, 60,
60, 60, 60, 49, 53, 65, 65, 56, 49, 50, 51, 52, 52, 70, 82, 65, 48, 48, 48, 49, 48, 49, 49,
77, 51, 48, 48, 49, 48, 49, 53, 60, 60, 60, 60, 60, 60, 60, 60, 60, 60, 60, 60, 60, 60, 48,
50,
];
const hashed = hash('sha384', formattedMrz);
const w = await circuitStatic.calculateWitness({
in_padded: formatInput(formattedMrz),
expected: convertToBitArray(hashed),
});
await circuitStatic.checkConstraints(w);
});
});

85
circuits/tests/other_circuits/sha512.test.ts
View File

@@ -1,85 +0,0 @@
import { describe } from 'mocha';
import { expect } from 'chai';
import path from 'path';
import { wasm as wasm_tester } from 'circom_tester';
import crypto from 'crypto';
import { sha384_512Pad, shaPad } from '../../../common/src/utils/shaPad';
import { hash } from '../../../common/src/utils/utils';
import { formatInput } from '../../../common/src/utils/generateInputs';
describe('sha512', function () {
this.timeout(0);
let circuit: any;
let circuitStatic: any;
function convertArrayToBitArray(inputArray) {
return inputArray.flatMap((num) => num.toString(2).padStart(8, '0').split('').map(Number));
}
before(async () => {
circuit = await wasm_tester(
path.join(__dirname, `../../circuits/tests/utils/sha512_tester.circom`),
{
include: ['node_modules', '../../node_modules/circomlib/circuits'],
}
);
circuitStatic = await wasm_tester(
path.join(__dirname, `../../circuits/tests/utils/sha512_static_tester.circom`),
{
include: ['node_modules', '../../node_modules/circomlib/circuits'],
}
);
});
it('should compile and load the circuit', async function () {
expect(circuit).to.not.be.undefined;
expect(circuitStatic).to.not.be.undefined;
});
it('Dynamic - should calculate the hash correcty', async function () {
const signedAttr = [
49, 102, 48, 21, 6, 9, 42, -122, 72, -122, -9, 13, 1, 9, 3, 49, 8, 6, 6, 103, -127, 8, 1, 1,
1, 48, 28, 6, 9, 42, -122, 72, -122, -9, 13, 1, 9, 5, 49, 15, 23, 13, 49, 57, 49, 50, 49, 54,
49, 55, 50, 50, 51, 56, 90, 48, 47, 6, 9, 42, -122, 72, -122, -9, 13, 1, 9, 4, 49, 34, 4, 32,
51, -119, -60, -100, 83, 81, 1, 84, -99, 0, -1, -4, -101, 45, -14, -76, 6, 49, 1, -60, -43,
22, 42, 21, 111, -96, 97, 102, -66, 71, -43, -34,
];
const [signedAttrPadded, signedAttrPaddedLen] = sha384_512Pad(new Uint8Array(signedAttr), 192);
const hasher = crypto.createHash('sha512');
hasher.update(Buffer.from(signedAttr));
const hashed = hasher.digest();
console.log('\x1b[34m%s\x1b[0m', 'hashed', hashed.toString('hex'));
const w = await circuit.calculateWitness({
in_padded: Array.from(signedAttrPadded),
in_len_padded_bytes: signedAttrPaddedLen,
expected: convertArrayToBitArray(Array.from(hashed)),
});
await circuit.checkConstraints(w);
});
it('Static - should calculate the hash correcty', async function () {
let formattedMrz = [
97, 91, 95, 31, 88, 80, 60, 70, 82, 65, 68, 85, 80, 79, 78, 84, 60, 60, 65, 76, 80, 72, 79,
78, 83, 69, 60, 72, 85, 71, 72, 85, 69, 83, 60, 65, 76, 66, 69, 82, 84, 60, 60, 60, 60, 60,
60, 60, 60, 49, 53, 65, 65, 56, 49, 50, 51, 52, 52, 70, 82, 65, 48, 48, 48, 49, 48, 49, 49,
77, 51, 48, 48, 49, 48, 49, 53, 60, 60, 60, 60, 60, 60, 60, 60, 60, 60, 60, 60, 60, 60, 48,
50,
];
let data = formatInput(formattedMrz);
const hash = crypto.createHash('sha512');
hash.update(Buffer.from(data.map((x) => Number(x))));
const hashed = hash.digest();
const w = await circuitStatic.calculateWitness({
in_padded: data,
expected: convertArrayToBitArray(Array.from(hashed)),
});
await circuitStatic.checkConstraints(w);
});
});

32
circuits/tests/prove.test.ts
View File

@@ -12,20 +12,28 @@ import { SMT } from '@openpassport/zk-kit-smt';
import namejson from '../../common/ofacdata/outputs/nameSMT.json';
const sigAlgs = [
{ sigAlg: 'rsa', hashFunction: 'sha1', domainParameter: '65537', keyLength: '2048' },
// { sigAlg: 'rsa', hashFunction: 'sha256', domainParameter: '65537', keyLength: '2048' },
// { sigAlg: 'rsapss', hashFunction: 'sha256', domainParameter: '65537', keyLength: '2048' },
// { sigAlg: 'rsapss', hashFunction: 'sha256', domainParameter: '65537', keyLength: '3072' },
// { sigAlg: 'rsapss', hashFunction: 'sha256', domainParameter: '65537', keyLength: '4096' },
// { sigAlg: 'rsapss', hashFunction: 'sha256', domainParameter: '3', keyLength: '4096' },
// { sigAlg: 'rsapss', hashFunction: 'sha256', domainParameter: '3', keyLength: '3072' },
// { sigAlg: 'rsa', hashFunction: 'sha256', domainParameter: '3', keyLength: '2048' },
// { sigAlg: 'rsa', hashFunction: 'sha256', domainParameter: '65537', keyLength: '3072' },
// { sigAlg: 'ecdsa', hashFunction: 'sha256', domainParameter: 'secp256r1', keyLength: '256' },
// { sigAlg: 'ecdsa', hashFunction: 'sha1', domainParameter: 'secp256r1', keyLength: '256' },
{ sigAlg: 'rsapss', hashFunction: 'sha256', domainParameter: '3', keyLength: '3072' },
{ sigAlg: 'rsa', hashFunction: 'sha256', domainParameter: '65537', keyLength: '3072' },
{ sigAlg: 'ecdsa', hashFunction: 'sha1', domainParameter: 'secp256r1', keyLength: '256' },
];
sigAlgs.forEach(({ sigAlg, hashFunction, domainParameter, keyLength }) => {
const fullSigAlgs = [
{ sigAlg: 'rsa', hashFunction: 'sha1', domainParameter: '65537', keyLength: '2048' },
{ sigAlg: 'rsa', hashFunction: 'sha256', domainParameter: '65537', keyLength: '2048' },
{ sigAlg: 'rsapss', hashFunction: 'sha256', domainParameter: '65537', keyLength: '2048' },
{ sigAlg: 'rsapss', hashFunction: 'sha256', domainParameter: '65537', keyLength: '3072' },
{ sigAlg: 'rsapss', hashFunction: 'sha256', domainParameter: '65537', keyLength: '4096' },
{ sigAlg: 'rsapss', hashFunction: 'sha256', domainParameter: '3', keyLength: '4096' },
{ sigAlg: 'rsapss', hashFunction: 'sha256', domainParameter: '3', keyLength: '3072' },
{ sigAlg: 'rsa', hashFunction: 'sha256', domainParameter: '3', keyLength: '2048' },
{ sigAlg: 'rsa', hashFunction: 'sha256', domainParameter: '65537', keyLength: '3072' },
{ sigAlg: 'ecdsa', hashFunction: 'sha256', domainParameter: 'secp256r1', keyLength: '256' },
{ sigAlg: 'ecdsa', hashFunction: 'sha1', domainParameter: 'secp256r1', keyLength: '256' },
];
const testSuite = process.env.FULL_TEST_SUITE === 'true' ? fullSigAlgs : sigAlgs;
testSuite.forEach(({ sigAlg, hashFunction, domainParameter, keyLength }) => {
describe(`Prove - ${hashFunction.toUpperCase()} ${sigAlg.toUpperCase()} ${domainParameter} ${keyLength}`, function () {
this.timeout(0);
let circuit: any;

10
circuits/tests/utils/rsaPkcs1v1_5.test.ts
View File

@@ -6,13 +6,13 @@ import { SignatureAlgorithm } from '../../../common/src/utils/types';
describe('VerifyRsaPkcs1v1_5 Circuit Test', function () {
this.timeout(0);
/** Some tests are disabled to avoid overloading the CI/CD pipeline - the commented rsa verifications will however be tested in prove.test.ts and dsc.test.ts **/
const rsaAlgorithms: SignatureAlgorithm[] = [
'rsa_sha1_65537_2048',
'rsa_sha256_65537_2048',
// 'rsa_sha1_65537_2048',
// 'rsa_sha256_65537_2048',
'rsa_sha256_3_2048',
'rsa_sha256_65537_3072',
'rsa_sha256_65537_4096',
// 'rsa_sha256_65537_3072',
// 'rsa_sha256_65537_4096',
'rsa_sha512_65537_4096',
];