Pqc Kem Auditor

Audit standardized post-quantum KEM implementations — currently ML-KEM / FIPS 203 — for encapsulation/decapsulation conformance, implicit-rejection correctness, ciphertext and key validation, compression/rounding, and decapsulation-failure oracle resistance. Use when reviewing ML-KEM/Kyber APIs, serialization, or decapsulation paths.

Yue-Zhou1 Updated

File contents

This file is a Codex skill discovery stub.

Canonical skill source: plugins/post-quantum-auditors/skills/pqc-kem-auditor/SKILL.md

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

Yue-Zhou1/zkcrypto-audit/tree/main/.codex/skills/pqc-kem-auditor commit c4e2bc15ac

Frequently asked questions

npx skillmds@latest add yue-zhou1/pqc-kem-auditor