skills.rest
Superlend
SuperlendOFFICIAL
Explore all skills by this author →
Website𝕏@SuperlendHQGitHub

wycheproof

Validate cryptographic implementations against known attacks and edge cases.

Updated Jul 10, 2025
Search Tags:#cryptography#ci#security-testing#test-vectors#testing-harness#wycheproof
One-click install
npx skills add https://github.com/Superlend/superloop-core-contracts --skill wycheproof
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: wycheproof
Source: https://github.com/Superlend/superloop-core-contracts/tree/main/.cursor/skills/testing-handbook-skills/skills/wycheproof
Command: npx skills add https://github.com/Superlend/superloop-core-contracts --skill wycheproof

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

Wycheproof provides test vectors to validate cryptographic implementations against known attacks and edge cases.

Core Features & Use Cases

  • Extensive collection of test vectors for AES-GCM, ECDSA, ECDH, RSA, EdDSA, and more.
  • Organized into test groups to enable selective coverage and CI-friendly filtering.
  • Reference harnesses and documentation for quick integration into crypto-testing workflows.

Quick Start

  • Clone or add Wycheproof as a submodule to access test vectors and harness instructions.
  • Integrate the test harness in Python/JavaScript and run parameterized tests against the provided vectors.
  • Update CI to fetch latest vectors and validate crypto implementations against known edge cases.

Frequently Asked Questions about wycheproof

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I test my cryptographic implementation against known attacks?▼

Cryptographic validation against known attacks uses curated test vectors. Wycheproof provides extensive collections covering AES-GCM, ECDSA, ECDH, RSA, and EdDSA, organized into groups for systematic edge-case coverage.

What's the best way to integrate crypto test vectors into CI?▼

Integrating test vectors into CI involves fetching latest vector files and running parameterized tests against your implementation. Wycheproof supports CI-friendly filtering through organized test groups and offers Python and JavaScript harnesses.

Does Wycheproof provide test vectors for RSA and EdDSA edge cases?▼

Yes, test vectors for RSA and EdDSA edge cases are available. Wycheproof also covers AES-GCM, ECDSA, and ECDH, organizing vectors into test groups for selective coverage and systematic cryptographic validation.

How do I add Wycheproof test vectors to an existing crypto-testing workflow?▼

Add Wycheproof as a git submodule or retrieve files directly to access test vectors. The project provides sample harnesses in Python and JavaScript plus documentation for integrating vectors into your crypto-testing workflow.

Can I run parameterized crypto tests in Python and JavaScript?▼

Yes, you can run parameterized crypto tests in Python and JavaScript. Wycheproof offers reference harnesses for both languages, enabling execution of tests against provided vectors to validate implementations against edge cases.

Why do my AES-GCM or ECDSA implementations fail on edge cases?▼

AES-GCM and ECDSA implementations fail edge cases due to unhandled boundary inputs or known attack vectors. Wycheproof test vectors expose these vulnerabilities by providing structured groups of edge-case inputs for validation.

Related Skills

Explore More Software Engineering Skills→
SuperlendSuperlend

wycheproof

Validate cryptographic implementations against known attacks and edge cases.

Official
Advanced
Ramprasad4121Ramprasad4121
1

wycheproof

Validate cryptographic implementations against Wycheproof JSON test vectors.

Community
Advanced
trailofbitstrailofbits
6.5k

wycheproof

Validate cryptographic implementations against Wycheproof test vectors for AES-GCM, ECDSA, EdDSA, and RSA.

Official
Intermediate
manuelbrandner85manuelbrandner85

vector-forge

Generate cryptographic test vectors by analyzing mutation coverage gaps.

Community
Advanced