This file is a Codex skill discovery stub.
Canonical skill source:
plugins/zk-and-vm-auditors/skills/zk-circuit-auditor/SKILL.md
When this skill is selected, follow the canonical source file above.
Audit ZK circuits, proof systems, and verifier code for soundness and transcript failures. Use when reviewing witness constraints, Fiat-Shamir flows, KZG/PCS setup assumptions, public input encoding, or recursive proof threading.
npx skillmds@latest add yue-zhou1/zk-circuit-auditor This file is a Codex skill discovery stub.
Canonical skill source:
plugins/zk-and-vm-auditors/skills/zk-circuit-auditor/SKILL.md
When this skill is selected, follow the canonical source file above.
Yue-Zhou1/zkcrypto-audit/tree/main/.codex/skills/zk-circuit-auditor commit 41890cec44