# Zk Circuit Auditor

> 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.

- Skill: `yue-zhou1/zk-circuit-auditor` (Agent Skill)
- Install (CLI): `npx skillmds@latest add yue-zhou1/zk-circuit-auditor`
- Raw SKILL.md: https://api.skillmd.com/api/skills/yue-zhou1/zk-circuit-auditor/raw
- Safety review: pending
- Works with: Claude Code, Claude.ai, OpenAI Codex
- Category: Security
- Author: Yue-Zhou1 (https://skillmd.com/u/yue-zhou1)
- Updated: 2026-09-17
- Page: https://skillmd.com/skills/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.