iden3 snarkjs through 0.6.11 allows double spending because there is no validation that the publicSignals length is less than the field modulus.
{
"nvd_published_at": "2023-05-21T22:15:14Z",
"severity": "HIGH",
"github_reviewed": true,
"cwe_ids": [
"CWE-862"
],
"github_reviewed_at": "2023-05-22T19:37:12Z"
}