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

implement prove new circuit

Browse Source
This commit is contained in:
turnoffthiscomputer
2024-08-19 16:51:17 +01:00
parent 85cb552194
commit 95f1fba784
3 changed files with 213 additions and 15 deletions
Download Patch File Download Diff File Expand all files Collapse all files

60
common/src/utils/generateInputs.ts
View File

@@ -132,9 +132,9 @@ export function generateCircuitInputsRegister(
secret: [secret],
mrz: formattedMrz.map((byte) => String(byte)),
dg1_hash_offset: [dg1HashOffset.toString()], // uncomment when adding new circuits
econtent: Array.from(messagePadded).map((x) => x.toString()),
dataHashes: Array.from(messagePadded).map((x) => x.toString()),
datahashes_padded_length: [messagePaddedLen.toString()],
signed_attributes: eContent.map(toUnsignedByte).map((byte) => String(byte)),
eContent: eContent.map(toUnsignedByte).map((byte) => String(byte)),
signature: signature,
dsc_modulus: dsc_modulus,
attestation_id: [attestation_id],
@@ -209,24 +209,24 @@ export function generateCircuitInputsOfac(
scope: string,
user_identifier: string,
sparsemerkletree: SMT,
proofLevel : number,
proofLevel: number,
) {
const result = generateCircuitInputsDisclose(secret,attestation_id,passportData,merkletree,majority,bitmap,scope,user_identifier);
const result = generateCircuitInputsDisclose(secret, attestation_id, passportData, merkletree, majority, bitmap, scope, user_identifier);
const { majority: _, scope: __, bitmap: ___, user_identifier: ____, ...finalResult } = result;
const mrz_bytes = formatMrz(passportData.mrz);
const passport_leaf = getPassportNumberLeaf(mrz_bytes.slice(49,58))
const namedob_leaf = getNameDobLeaf(mrz_bytes.slice(10,49), mrz_bytes.slice(62, 68)) // [57-62] + 5 shift
const name_leaf = getNameLeaf(mrz_bytes.slice(10,49)) // [6-44] + 5 shift
let root,closestleaf,siblings;
if(proofLevel == 3){
({root, closestleaf, siblings} = generateSMTProof(sparsemerkletree, passport_leaf));
} else if(proofLevel == 2){
({root, closestleaf, siblings} = generateSMTProof(sparsemerkletree, namedob_leaf));
} else if (proofLevel == 1){
({root, closestleaf, siblings} = generateSMTProof(sparsemerkletree, name_leaf));
const passport_leaf = getPassportNumberLeaf(mrz_bytes.slice(49, 58))
const namedob_leaf = getNameDobLeaf(mrz_bytes.slice(10, 49), mrz_bytes.slice(62, 68)) // [57-62] + 5 shift
const name_leaf = getNameLeaf(mrz_bytes.slice(10, 49)) // [6-44] + 5 shift
let root, closestleaf, siblings;
if (proofLevel == 3) {
({ root, closestleaf, siblings } = generateSMTProof(sparsemerkletree, passport_leaf));
} else if (proofLevel == 2) {
({ root, closestleaf, siblings } = generateSMTProof(sparsemerkletree, namedob_leaf));
} else if (proofLevel == 1) {
({ root, closestleaf, siblings } = generateSMTProof(sparsemerkletree, name_leaf));
} else {
throw new Error("Invalid proof level")
}
@@ -254,3 +254,33 @@ export function findIndexInTree(tree: LeanIMT, commitment: bigint): number {
}
return index;
}
export function generateCircuitInputsProve(
passportData: PassportData,
n_dsc: number,
k_dsc: number,
scope: string,
bitmap: string[],
majority: string,
user_identifier: string,
) {
const register_inputs = generateCircuitInputsRegister('0', '0', '0', passportData, n_dsc, k_dsc);
const current_date = getCurrentDateYYMMDD().map(datePart => BigInt(datePart).toString());
return {
mrz: register_inputs.mrz,
dg1_hash_offset: register_inputs.dg1_hash_offset, // uncomment when adding new circuits
dataHashes: register_inputs.dataHashes,
datahashes_padded_length: register_inputs.datahashes_padded_length,
eContent: register_inputs.eContent,
signature: register_inputs.signature,
dsc_modulus: register_inputs.dsc_modulus,
current_date: current_date,
bitmap: bitmap,
majority: majority.split('').map(char => BigInt(char.charCodeAt(0)).toString()),
user_identifier: user_identifier,
scope: [BigInt(scope).toString()]
};
}