This file is a Codex skill discovery stub.
Canonical skill source:
plugins/protocol-auditors/skills/privacy-protocol-auditor/SKILL.md
When this skill is selected, follow the canonical source file above.
Audit shielded-pool and mixer protocol logic: nullifier derivation, uniqueness, and spent-set semantics; note/value commitments and ownership binding; deposit/withdraw front-running; and state-transition replay domains. Use when reviewing privacy-protocol design above the circuit and Merkle layers.
npx skillmds@latest add yue-zhou1/privacy-protocol-auditor This file is a Codex skill discovery stub.
Canonical skill source:
plugins/protocol-auditors/skills/privacy-protocol-auditor/SKILL.md
When this skill is selected, follow the canonical source file above.
Yue-Zhou1/zkcrypto-audit/tree/main/.codex/skills/privacy-protocol-auditor commit c8879abdc1