The circuit is heavily underconstrained

[Scratch-net]

Not sure if you care, but if you compile the circuit with the latest circom it gives a ton of warnings about missing constraints

warning[CA02]: In template "AES256Encrypt()": Subcomponent input/output signal num2bits_1[1][1][0].in does not appear in any constraint of the father component

warning[CA02]: In template "AES256Encrypt()": Subcomponent input/output signal num2bits_1[11][1][1].in does not appear in any constraint of the father component

warning[CA02]: In template "AES256Encrypt()": Subcomponent input/output signal num2bits_1[0][2][1].in does not appear in any constraint of the father component

warning[CA02]: In template "AES256Encrypt()": Subcomponent input/output signal num2bits_1[4][3][0].in does not appear in any constraint of the father component

warning[CA02]: In template "AES256Encrypt()": Subcomponent input/output signal num2bits_1[4][1][3].in does not appear in any constraint of the father component

warning[CA02]: In template "AES256Encrypt()": Subcomponent input/output signal num2bits_1[5][0][0].in does not appear in any constraint of the father component

warning[CA02]: In template "AES256Encrypt()": Subcomponent input/output signal num2bits_1[6][1][0].in does not appear in any constraint of the father component

and so on Which makes it insecure

[utsavjnn]

Hey @Scratch-net thanks for opening up the issue, we are aware of this and we are not actively maintaining this repository as its not being used in any of our current systems in Testnet or Mainnet.