iden3 snarkjs through 0.6.11 allows double spending because there is no validation that the publicSignals length is less than the field modulus.
The product does not perform an authorization check when an actor attempts to access a resource or perform an action.
Link | Tags |
---|---|
https://github.com/iden3/snarkjs/commits/master/src/groth16_verify.js | product |
https://github.com/iden3/snarkjs/tags | product |