fix: helper utils

This commit is contained in:
ayman
2024-12-28 10:30:40 +05:30
parent 3135a407cc
commit 5e90bd988a
15 changed files with 259 additions and 120 deletions

View File

@@ -3,7 +3,7 @@ pragma circom 2.1.9;
include "./signatureAlgorithm.circom";
include "../circomlib/signature/ecdsa.circom";
template Secp256r1Verifier(signatureAlgorithm, n, k) {
template EcdsaVerifier(signatureAlgorithm, n, k) {
var kLengthFactor = getKLengthFactor(signatureAlgorithm);
var kScaled = k * kLengthFactor;

View File

@@ -43,7 +43,6 @@ template PassportVerifier(signatureAlgorithm, n, k, MAX_ECONTENT_LEN, MAX_SIGNED
signal dg1Sha[HASH_LEN_BITS] <== ShaHashBits(93 * 8, HASH_LEN_BITS)(dg1Bits, 0);
component dg1ShaBytes[HASH_LEN_BYTES];
for (var i = 0; i < HASH_LEN_BYTES; i++) {
dg1ShaBytes[i] = Bits2Num(8);

View File

@@ -1,11 +1,7 @@
pragma circom 2.1.9;
// include "../rsa/rsaPkcs1.circom";
// include "secp256r1Verifier.circom";
include "../circomlib/signature/rsapss/rsapss.circom";
include "secp256r1Verifier.circom";
// include "../rsapss/rsapss.circom";
// include "../rsa/rsa.circom";
include "ecdsaVerifier.circom";
include "../circomlib/signature/rsa/verifyRsaPkcs1v1_5.circom";
include "../circomlib/utils/bytes.circom";
@@ -77,12 +73,13 @@ template SignatureVerifier(signatureAlgorithm, n, k) {
}
if (
signatureAlgorithm == 7 ||
signatureAlgorithm == 8 ||
signatureAlgorithm == 9 ||
signatureAlgorithm == 21
signatureAlgorithm == 7
|| signatureAlgorithm == 8
|| signatureAlgorithm == 9
|| signatureAlgorithm == 21
|| signatureAlgorithm == 22
) {
Secp256r1Verifier (signatureAlgorithm, n, k)(signature, pubKey, hash);
EcdsaVerifier (signatureAlgorithm, n, k)(signature, pubKey, hash);
}
if (signatureAlgorithm == 10) {
component rsa = VerifyRsaPkcs1v1_5(signatureAlgorithm, n, k, 65537, 256);