This file is a Codex skill discovery stub.
Canonical skill source:
plugins/zk-and-vm-auditors/skills/folding-scheme-auditor/SKILL.md
When this skill is selected, follow the canonical source file above.
Audit folding scheme and IVC implementations for accumulator soundness, step circuit binding, cycle-of-curves correctness, and running instance completeness. Use when reviewing Nova, HyperNova, ProtoStar, or custom folding-based proof systems in Rust.
npx skillmds@latest add yue-zhou1/folding-scheme-auditor This file is a Codex skill discovery stub.
Canonical skill source:
plugins/zk-and-vm-auditors/skills/folding-scheme-auditor/SKILL.md
When this skill is selected, follow the canonical source file above.
Yue-Zhou1/zkcrypto-audit/tree/main/.codex/skills/folding-scheme-auditor commit 7a80d8ef59