Vdf Auditor

Audit VDF implementations for sequentiality assumptions, Wesolowski/Pietrzak verifier soundness, challenge derivation integrity, and modulus/group setup risks.

Yue-Zhou1 Updated

File contents

This file is a Codex skill discovery stub.

Canonical skill source: plugins/protocol-auditors/skills/vdf-auditor/SKILL.md

When this skill is selected, follow the canonical source file above.

Yue-Zhou1/zkcrypto-audit/tree/main/.codex/skills/vdf-auditor commit 7f5893963e

Frequently asked questions

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