Fiat Shamir Auditor

Audit Fiat-Shamir transcript implementations for completeness, domain separation, challenge derivation order, and public input binding across interactive-to-non-interactive proof transforms.

Yue-Zhou1 Updated

File contents

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

Frequently asked questions

npx skillmds@latest add yue-zhou1/fiat-shamir-auditor