differential-test-harness-gen
Generate cross-implementation differential test harnesses for cryptographic code: official test-vector and Wycheproof replay, normalization of error/result semantics, deterministic corpus capture, and evidence handoff to crypto-fp-check. User-triggered only — never auto-invoked by the audit flow.
Informations de source
- Dépôt
- Yue-Zhou1/zkcrypto-audit
- Dernière activité de la source
- 13 juillet 2026 à 02:19
- Langue détectée de SKILL.md
- anglais
- Étoiles
- 3
- Forks
- 1
Options d'installation
Le prompt qui vérifie d'abord la source est sélectionné par défaut. Vous pouvez passer à une commande directe ou télécharger une copie locale.
Vérifiez les fichiers source
Lisez SKILL.md et les fichiers associés affichés par SkillsMP avant de décider de l'installer.
