Looking at ACA-Py they do quite some manual checks on the values of a proof and matches it to encoded values to make sure the proof hasn't been tampered with. We need to make sure to add these checks to AFJ, as I think this makes us vulnerable to tampering attacks.
Looking at ACA-Py they do quite some manual checks on the values of a proof and matches it to encoded values to make sure the proof hasn't been tampered with. We need to make sure to add these checks to AFJ, as I think this makes us vulnerable to tampering attacks.
I always assumed Indy would handle these checks.
https://github.com/hyperledger/aries-cloudagent-python/blob/main/aries_cloudagent/indy/verifier.py#L230