zkcrypto-audit

Route a full cryptographic or ZK audit across the framework. Use when you need to decide which skill should run next, which domain auditors apply, or how to move from initial context to verified finding, report, and index flow.

Audit ZK circuits, proof systems, and verifier code for soundness and transcript failures. Use when reviewing witness constraints, Fiat-Shamir flows, KZG/PCS setup assumptions, public input encoding, or recursive proof threading.

Codex compatibility stub for the audit-common plugin skill.

Codex compatibility stub for the cairo-auditor plugin skill.

Codex compatibility stub for the commitment-scheme-auditor plugin skill.

Codex compatibility stub for the crypto-audit-context plugin skill.

Codex compatibility stub for the crypto-audit-router plugin skill.

Codex compatibility stub for the crypto-fp-check plugin skill.

Codex compatibility stub for the crypto-report-writer plugin skill.

Codex compatibility stub for the dependency-auditor plugin skill.

Codex compatibility stub for the dkg-threshold-auditor plugin skill.

Codex compatibility stub for the ecc-pairing-auditor plugin skill.

Codex compatibility stub for the encryption-scheme-auditor plugin skill.

Codex compatibility stub for the ethereum-crypto-auditor plugin skill.

Codex compatibility stub for the fhe-auditor plugin skill.

Codex compatibility stub for the fiat-shamir-auditor plugin skill.

Codex compatibility stub for the folding-scheme-auditor plugin skill.

Codex compatibility stub for the formal-verification-bridge plugin skill.

Codex compatibility stub for the fuzz-harness-gen plugin skill.

Codex compatibility stub for the gnark-auditor plugin skill.

Codex compatibility stub for the hash-function-auditor plugin skill.

Codex compatibility stub for the kani-harness-gen plugin skill.

Codex compatibility stub for the lattice-auditor plugin skill.

Codex compatibility stub for the merkle-tree-auditor plugin skill.

Codex compatibility stub for the mpc-auditor plugin skill.

Codex compatibility stub for the noir-auditor plugin skill.

Codex compatibility stub for the rust-crypto-safety plugin skill.

Codex compatibility stub for the side-channel-auditor plugin skill.

Codex compatibility stub for the spec-delta-checker plugin skill.

Codex compatibility stub for the vdf-auditor plugin skill.

Codex compatibility stub for the zk-circuit-auditor plugin skill.

Codex compatibility stub for the zkbugs-index plugin skill.

Codex compatibility stub for the zkvm-auditor plugin skill.

Provides shared severity, testing-evidence, and finding-contract references for ZK and cryptographic audit skills. Use when classifying findings, checking whether test evidence is sufficient, or writing findings in a consistent structure.

Builds initial audit context for ZK and cryptographic code before vulnerability hunting. Use when starting a crypto audit, mapping trust boundaries, prioritizing code paths, or applying dimensional analysis to protocol values.

Verifies suspected ZK and cryptographic findings before reporting. Use when deciding whether a suspected vulnerability is a TRUE POSITIVE or FALSE POSITIVE, assigning severity, or enforcing the Critical/High PoC gate.

Write final audit findings for ZK and cryptographic reviews. Use when a finding has survived verification and needs to be turned into clear report prose with severity, impact, root cause, and test evidence.

Compare cryptographic code against a reference specification or paper. Use when implementation details look close to a standard but may have drifted in validation, transcript binding, parameter negotiation, or caller obligations.

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

Audit elliptic-curve, pairing, and BLS signature code for point-validation, subgroup, serialization, DST, and pairing-equation failures. Use when reviewing deserialization, `hash_to_curve`, aggregate verification, or batch pairing logic.