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-2023-42795 Vulnerability in maven package org.apache.tomcat:tomcat
CVE-2023-31101 Vulnerability in maven package org.apache.inlong:manager-pojo
CVE-2023-30543 Vulnerability in npm package @web3-react/walletconnect
CVE-2021-21290 Vulnerability in maven package io.netty:netty-codec-http
CVE-2023-34459 Vulnerability in npm package @openzeppelin/contracts