iden3 snarkjs through 0.6.11 allows double spending because there is no validation that the publicSignals length is less than the field modulus.
{
"source": "CPE_FIELD",
"cpe": "cpe:2.3:a:0kims:snarkjs:*:*:*:*:*:*:*:*",
"extracted_events": [
{
"introduced": "0"
},
{
"last_affected": "0.6.11"
}
]
}