search

iden3 / circuits

Circom circuits used by the iden3 core protocol.
GNU General Public License v3.0
81 stars 14 forks source link

Join sig and mtp circuit #98

Closed ilya-korotya closed 1 year ago

ilya-korotya commented 1 year ago

Count of constraints for joined and separated circuits:

circom --r1cs circuits/credentialAtomicQuerySigMTP.circom
non-linear constraints: 69726

circom --r1cs circuits/credentialAtomicQuerySigV2.circom
non-linear constraints: 57184

circom --r1cs circuits/credentialAtomicQueryMTPV2.circom
non-linear constraints: 40372

I developed the new credentialAtomicQuerySigMTP circuit. This circuit combines verification SigV2 and MTPV2 circuits. Users can choose verification with proofType public input. 0 - for SigV2, 1 - for MTPV2.