Description
iden3 snarkjs through 0.6.11 allows double spending because there is no validation that the publicSignals length is less than the field modulus.
Remediation
References
https://github.com/iden3/snarkjs/commits/master/src/groth16_verify.js
https://github.com/iden3/snarkjs/tags
Related Vulnerabilities
CVE-2019-18213 Vulnerability in maven package org.lsp4xml:lsp4xml-extensions
CVE-2022-45207 Vulnerability in maven package org.jeecgframework.boot:jeecg-module-system
CVE-2019-19771 Vulnerability in npm package scryptys
CVE-2023-5763 Vulnerability in maven package org.glassfish.main.orb:orb-connector
CVE-2022-29546 Vulnerability in maven package org.codelibs:nekohtml