Underconstrained?

[Divide-By-0]

Mirror of doubleblind-xyz/double-blind#7.

I get this warning for the RSA circuit when I splice RSA into another circuit, when compiling with circom rsa.circom --inspect:

warning[T3001]: Typing warning: Mismatched dimensions, assigning to an array an expression of smaller length, the remaining positions are assigned to 0.
  Expected length: 200, given 100
   ┌─ ".../zk-email-verify/circuits/helpers/fp.circom":43:5
   │
43 │     var ab_proper[200] = getProperRepresentation(n + n + log_ceil(k), n, 2*k-1, ab);
   │     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ found here
   │
   = call trace:
     ->EmailVerify
      ->RSAVerify65537
       ->FpPow65537Mod
        ->FpMul

I also get these two errors, about 10-20x:

warning[CA02]: In template "FpMul(121,17)": Array of subcomponent input/output signals r_range_check[16].out contains a total of 121 signals that do not appear in any constraint of the father component
 = For example: r_range_check[16].out[0], r_range_check[16].out[100].

warning[CA02]: In template "RSAVerify65537(121,17)": Array of subcomponent input/output signals signatureRangeCheck[14].out contains a total of 121 signals that do not appear in any constraint of the father component
 = For example: signatureRangeCheck[14].out[0], signatureRangeCheck[14].out[100].