zk-security-audits

🎯 ZK Security Research Portfolio

Independent security research on production ZK circuits.

Recent Analysis

Test #1: Circomlib (Iden3)

• Files scanned: 57
• Time: 292ms
• Findings: 115 (8 mathematically-proven)
• [Screenshot]

Test #2: Dark Forest (@VitalikButerin ZK Game)

• Files: 15
• Findings: 62 (20+ Z3-verified duplicate constraints)
• [Screenshot]

Test #3: Tornado Cash

• Speed improvement: 170x
• Findings: Missing range checks
• [Screenshot]

Methodology

• Custom automated static analysis
• Z3 SMT solver mathematical verification
• Multi-framework support (Circom, Halo2, Noir, Cairo)
• Manual verification of all findings
• Responsible disclosure protocols

Services

📄 Preliminary Report — $3,000 (48hr delivery) 🎯 Full Circuit Audit — $15,000-$50,000 (2 weeks) 💎 Retainer Engagement — $10,000/month ⚡ Emergency 24hr Review — $5,000

Contact

• Twitter: @0xAyaanSec
• Email: 0xayaansec@gmail.com

Payment

USDC/USDT preferred (instant delivery) 50% upfront, 50% on delivery