This file is a Codex skill discovery stub.
Canonical skill source:
plugins/protocol-auditors/skills/vrf-auditor/SKILL.md
When this skill is selected, follow the canonical source file above.
Audit Verifiable Random Function implementations (RFC 9381 ECVRF and RSA-FDH-VRF) for key validation, ciphersuite/suite-string domain separation, encode-to-curve and cofactor handling, proof-to-hash ordering, and uniqueness/pseudorandomness assumptions, plus application-level output grinding. Use when reviewing VRF provers, verifiers, or consumers of VRF outputs (leader election, lotteries, randomness beacons).
npx skillmds@latest add yue-zhou1/vrf-auditor This file is a Codex skill discovery stub.
Canonical skill source:
plugins/protocol-auditors/skills/vrf-auditor/SKILL.md
When this skill is selected, follow the canonical source file above.
Yue-Zhou1/zkcrypto-audit/tree/main/.codex/skills/vrf-auditor commit d7cb887e78