This file is a Codex skill discovery stub.
Canonical skill source:
plugins/crypto-primitive-auditors/skills/fiat-shamir-auditor/SKILL.md
When this skill is selected, follow the canonical source file above.
Audit Fiat-Shamir transcript implementations for completeness, domain separation, challenge derivation order, and public input binding across interactive-to-non-interactive proof transforms.
npx skillmds@latest add yue-zhou1/fiat-shamir-auditor This file is a Codex skill discovery stub.
Canonical skill source:
plugins/crypto-primitive-auditors/skills/fiat-shamir-auditor/SKILL.md
When this skill is selected, follow the canonical source file above.
Yue-Zhou1/zkcrypto-audit/tree/main/.codex/skills/fiat-shamir-auditor commit 591e86de22