wycheproof

Validate cryptographic implementations by running Wycheproof test vectors against algorithms like AES-GCM, ECDSA, and ECDH. You parse JSON test vector files and build test harnesses to check algorithm correctness against expected valid, invalid, and acceptable outcomes.

Wycheproof test vectors are used to verify cryptographic implementations handle known attacks and edge cases correctly. They help identify vulnerabilities such as signature malleability and invalid curve attacks across symmetric encryption, digital signatures, and key exchange algorithms.

Test ECDSA signature verification by running Wycheproof test vectors through a custom test harness. Parse the JSON vector files, feed malformed inputs to your implementation, and verify it correctly rejects invalid signatures to prevent forgery.

Yes, you can validate AES-GCM encryption using the aes_gcm_test.json test vectors. Parse the JSON file, implement a test harness, and verify your AES-GCM implementation produces expected outcomes for valid, invalid, and acceptable edge cases.

Wycheproof test vectors cover symmetric encryption, digital signatures, and key exchange algorithms including AES-GCM, ECDSA, ECDH, and RSA. Each algorithm has dedicated JSON test vector files containing known attack scenarios and edge cases.

Cryptographic implementations fail on edge cases when they lack proper validation against known attack vectors. Using Wycheproof test vectors exposes vulnerabilities like signature malleability and invalid curve attacks that standard unit tests often miss.