We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent df2d907 commit 409c46bCopy full SHA for 409c46b
circuit/templates/helpers/rsa/FpMul.circom
@@ -25,6 +25,7 @@ include "../bigint/functions/all.circom";
25
// a * b = r mod p
26
// a * b - p * q - r for some q
27
template FpMul(N, K) {
28
+ // TODO: Fix hardcoded scalar field size
29
assert(N + N + log_ceil(K) + 2 <= 252);
30
signal input a[K];
31
signal input b[K];
0 commit comments