wycheproof-dsa-modular-inverse
DSA: Modular inverse
The test vectors contains a signature where computing the modular inverse of s hits an edge case.
ACCEPT
Your service should accept this one.
Stated as the outcome to assert against, so a suite compares with this rather than hardcoding a result and getting it backwards.
While the signature in this test vector is constructed and similar cases are unlikely to occur, it is important to determine if the underlying arithmetic error can be used to forge signatures. Demonstrated by 112 test vectors across 8 vector documents in Project Wycheproof.
Provenance
- Kind
- normativeA specification clause requires this. Failing it is non-conformance, not opinion.
- Source
- wycheproof
- Clause
- FIPS 186-4 §4
- CVE
- CVE-2019-0865
- Weakness
- none
Test keys only. Nothing here is a statement about any particular service: the expected outcome above is what an application ought to do, not evidence that yours does.