Vrf Auditor

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).

Yue-Zhou1 Updated

File contents

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

Frequently asked questions

npx skillmds@latest add yue-zhou1/vrf-auditor