Fhe auditor
Audit FHE implementations for noise-budget accounting, bootstrapping correctness, modulus-switching safety, plaintext leakage, and key-switch parameter integrity.From its SKILL.md
npx -y skills add Yue-Zhou1/zkcrypto-audit --skill fhe-auditorAssembled from the repository path, not quoted from the project. Check it against their README if it does not work.
One thing to look at
- 2 stars2 stars. Stars are a popularity signal and not a quality one, but at this level it is likely that nobody has read this closely except its author, and you would be relying on your own review.
SKILL.md
0.4 KB, 49 tokens by cl100k_base, as published. Nobody here has run it
This file is a Codex skill discovery stub.
Canonical skill source:
plugins/post-quantum-auditors/skills/fhe-auditor/SKILL.md
When this skill is selected, follow the canonical source file above.
What ships with it
Read from the repository
Just SKILL.md. No reference files, no scripts.