Security audits for zkVMs, Layer 2 infrastructure, smart contracts, and cryptographic systems.
I help protocol teams find high-complexity vulnerabilities before mainnet, especially in proof verification, transcript construction, slashing and accounting logic, randomness, verifier internals, and architecture-level trust assumptions.
I work across Solidity, Rust, Cairo, ZK circuits, and FHE for teams building systems where correctness matters under adversarial conditions.
Public + private reviews
Security work across zkVM, Layer 2, infrastructure, DeFi, and cryptographic systems.
Critical and high-severity findings
Including proof verification, slash logic, transcript construction, and randomness issues.
Strong public track record
Contest placements including 3rd, 4th, 6th, 8th, and 9th, plus public technical writeups.
What I audit
zkVMs, proving systems, and verifier components
Verifier logic, transcript construction, Fiat–Shamir, soundness assumptions, and proving-system boundaries.
Layer 2 infrastructure, bridges, and validator systems
Slashing, accounting, bridge and messaging assumptions, and operational trust boundaries.
Smart contracts and cryptographic protocol logic
High-value protocol reviews across Solidity, Rust, and security-critical cryptographic modules.
Featured findings
- Critical — soundness vulnerability in core proof verification logic
- High — slash fraction bypass enabling validator inflation and token siphoning
- High — transcript collisions in Fiat–Shamir backend
- High — predictable on-chain randomness and associated logic flaws
Selected writing
- GOAT Network — Slash Fraction Validation Bypass Apr 2026
- Breaking LeanMultisig zkVM Shamir (Part 1) Mar 2026
- Cairo Security Vulnerabilities Checklist Mar 2026
Work with me
If you're preparing for launch, reviewing a design, or need a focused audit of a high-complexity system, the fastest path is to request an audit or book a call.