This file is a Codex skill discovery stub.
Canonical skill source:
plugins/implementation-safety/skills/randomness-auditor/SKILL.md
When this skill is selected, follow the canonical source file above.
Audit randomness and nonce lifecycles: CSPRNG/DRBG initialization and reseeding, entropy availability, fork/clone/snapshot duplication, deterministic nonce derivation (RFC 6979, EdDSA), and reuse across retries, crashes, persistence, and concurrent state. Use when any secret-dependent random value's generation or lifetime is in question.
npx skillmds@latest add yue-zhou1/randomness-auditor This file is a Codex skill discovery stub.
Canonical skill source:
plugins/implementation-safety/skills/randomness-auditor/SKILL.md
When this skill is selected, follow the canonical source file above.
Yue-Zhou1/zkcrypto-audit/tree/main/.codex/skills/randomness-auditor commit 819d89f18e