Commitment Scheme Auditor

Audit polynomial commitment schemes (KZG, FRI, IPA, Pedersen) for degree bound enforcement, evaluation proof verification, trusted setup provenance, and batch opening soundness.

Yue-Zhou1 d134475 448 B Updated

File contents

This file is a Codex skill discovery stub.

Canonical skill source: plugins/crypto-primitive-auditors/skills/commitment-scheme-auditor/SKILL.md

When this skill is selected, follow the canonical source file above.

Yue-Zhou1/zkcrypto-audit/tree/main/.codex/skills/commitment-scheme-auditor commit d13447581b

Frequently asked questions

npx skillmds@latest add yue-zhou1/commitment-scheme-auditor