Validate cryptographic implementations using Wycheproof test vectors.
npx skills add https://github.com/erenisiklar/Pusula --skill wycheproof-erenisiklar
Please help me install this Agent Skill. Skill: wycheproof Source: https://github.com/erenisiklar/Pusula/tree/main/.claude/skills/wycheproof Command: npx skills add https://github.com/erenisiklar/Pusula --skill wycheproof-erenisiklar
Wycheproof provides a comprehensive set of cryptographic test vectors that expose weaknesses and edge cases in crypto implementations, helping developers verify correctness and security.
Load the Wycheproof test vectors and run the provided harness against your crypto implementation to validate correctness and resilience against edge cases.
High-intent search queries and answers about installing and using this skill.
Wycheproof test vectors validate cryptographic implementations by executing harnesses that classify results as valid, invalid, or acceptable. This exposes subtle encoding and validation bugs in your crypto code.
Wycheproof test vectors cover symmetric algorithms like AES-GCM and ChaCha20-Poly1305, signatures including ECDSA, EdDSA, RSA-PSS, key exchange protocols like ECDH, and hashing. This provides extensive coverage across multiple curves and modes.
Yes, you can integrate Wycheproof test vector validation into CI pipelines to catch subtle encoding and validation bugs before release. The automated harnesses classify test vector results to verify correctness and resilience automatically.
You parse and filter Wycheproof test vectors by loading them from the repository and converting hex fields to bytes where needed. The workflow supports filtering by cryptographic parameters to target specific test cases.
Yes, Wycheproof test vectors are designed for validating crypto libraries and auditing third-party code. By running the generated harnesses against external implementations, you can verify their correctness and identify security vulnerabilities.
SuperlendValidate cryptographic implementations against known attacks and edge cases.
trailofbitsValidate cryptographic implementations against Wycheproof test vectors for AES-GCM, ECDSA, EdDSA, and RSA.
voidrotConfigure SAST tools like Semgrep, CodeQL, and SonarQube for CI/CD pipelines.
IKcoding-jpRun complexity, security, and dead-code audits to produce a Markdown maintenance report.
