Vulnerable File: circuits/aes-gcm/utils.circom
commit: 65f823fc5606fca74440fb0de939ae07a3c39a80
assert(index >= 0 && index < m) Despite the restrictions imposed on computational logic, no substantial limitations have been added. Therefore, the prover can still provide a witness that satisfies the constraints, which can be verified (even if the computation fails, the verifier does not perform the computation).
Vulnerable File:
circuits/aes-gcm/utils.circomcommit:
65f823fc5606fca74440fb0de939ae07a3c39a80assert(index >= 0 && index < m)Despite the restrictions imposed on computational logic, no substantial limitations have been added. Therefore, the prover can still provide a witness that satisfies the constraints, which can be verified (even if the computation fails, the verifier does not perform the computation).