Fault injection auditor
Skill Yue-Zhou1/zkcrypto-audit/.codex/skills/fault-injection-auditor
An agentic skills framework for security auditing of zero-knowledge systems and cryptographic protocols.
npx -y skills add Yue-Zhou1/zkcrypto-audit --skill fault-injection-auditorAssembled from the repository path, not quoted from the project. Check it against their README if it does not work.
One thing to look at
- 2 stars2 stars. Stars are a popularity signal and not a quality one, but at this level it is likely that nobody has read this closely except its author, and you would be relying on your own review.
What its author says it does
Copied from the file, not written here
Audit cryptographic code for active fault-injection attacks: RSA-CRT Bellcore faults, ECDSA/EdDSA differential fault analysis, verification-skip glitches, redundant-computation bypass, and verify-after-sign gaps. Use when the threat model includes an attacker who can glitch computation, distinct from passive side-channel leakage.
SKILL.md
0.6 KB, as published. Nobody here has run it
This file is a Codex skill discovery stub.
Canonical skill source:
plugins/implementation-safety/skills/fault-injection-auditor/SKILL.md
When this skill is selected, follow the canonical source file above.