Onchain Verifier Auditor

Audit Solidity, Vyper, or Huff proof-verifier contracts for pairing precompile misuse, missing scalar-field checks on public inputs, calldata decoding errors, and verification-key provenance or upgrade risks. Use when reviewing on-chain SNARK/STARK verifier contracts or EIP-196/197/2537 precompile call sites.

Yue-Zhou1 Updated

File contents

This file is a Codex skill discovery stub.

Canonical skill source: plugins/zk-and-vm-auditors/skills/onchain-verifier-auditor/SKILL.md

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

Yue-Zhou1/zkcrypto-audit/tree/main/.codex/skills/onchain-verifier-auditor commit b996ab0c5b

Frequently asked questions

npx skillmds@latest add yue-zhou1/onchain-verifier-auditor