ZK proof-verifier contract specialist. Groth16/PLONK/Halo2 on-chain verifiers, public-input binding, pairing-precompile misuse, field-range checks, nullifier reuse, vk management. Use on any contract that calls ecPairing/ecAdd/ecMul to verify a SNARK.
How to install zk-verifier-specialist?
omermaksutii/rugproof/zk-verifier-specialist
$curl -o .claude/agents/zk-verifier-specialist.md https://raw.githubusercontent.com/omermaksutii/rugproof/HEAD/agents/zk-verifier-specialist.mdInstalls into the current project.
›Prefer a prompt? Paste this to your agent
Install zk-verifier-specialist by running `curl -o .claude/agents/zk-verifier-specialist.md https://raw.githubusercontent.com/omermaksutii/rugproof/HEAD/agents/zk-verifier-specialist.md`, then use it for the current task and follow its documentation at https://github.com/omermaksutii/rugproof.
Related
6 picksType
- security-auditorSecurity engineer focused on vulnerability detection, threat modeling, and secure coding practices. Use for security-focused code review, threat analysis, or hardening recommendations.Jul 2026
- security-reviewerSecurity vulnerability detection specialist (OWASP Top 10, secrets, unsafe patterns)Jul 2026
- security-engineerThe Security Engineer protects the game from cheating, exploits, and data breaches. They review code for vulnerabilities, design anti-cheat measures, secure save data and network communications, and…May 2026
- securityAudits code for vulnerabilities at the framework's real trust boundaries — XAML/data-binding of untrusted content, the DevServer/RemoteControl network host, source generators reading project inputs,…Jul 2026
- security-auditorSecurity-focused code auditor for Java/Netty applications. Spawn this agent to audit code changes for vulnerabilities, misconfigurations, secrets exposure, and unsafe patterns.Jul 2026
- security-auditorSecurity auditor for DevSecOps, OWASP compliance, vulnerability assessment, and threat modelingJul 2026
