This file is a Codex skill discovery stub.
Canonical skill source:
plugins/zk-and-vm-auditors/skills/noir-auditor/SKILL.md
When this skill is selected, follow the canonical source file above.
Audit Noir circuits for unconstrained function boundary failures, oracle validation gaps, Brillig/ACIR consistency issues, and witness-generation soundness bugs.
npx skillmds@latest add yue-zhou1/noir-auditor This file is a Codex skill discovery stub.
Canonical skill source:
plugins/zk-and-vm-auditors/skills/noir-auditor/SKILL.md
When this skill is selected, follow the canonical source file above.
Yue-Zhou1/zkcrypto-audit/tree/main/.codex/skills/noir-auditor commit c07a3d49d3