NativeMetaTransaction::verify call ecrecover directly but due to the symmetrical nature of the elliptic curve for every [v,r,s] there exists another [v,r,s] that returns the same valid result.
Usage of ecrecover directly is vulnerable to signature malleability.
Manual Review
Use OpenZeppelin's ECDSA library with a version of OpenZeppelin >= 4.7.3.
The contest is live. Earn rewards by submitting a finding.
This is your time to appeal against judgements on your submissions.
Appeals are being carefully reviewed by our judges.