Privacy Protocol Auditor

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.

Yue-Zhou1 Updated

File contents

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

Frequently asked questions

npx skillmds@latest add yue-zhou1/privacy-protocol-auditor