Available for Audits

ZK & Smart Contract Security Researcher

Creator of ZippelLabs & ZP1 zkVM.
Expert in Solidity, Rust & ZK Security. Securing DeFi protocols & ZK infrastructure.

30+ Protocols Secured

10+ Private Audits

Top 10 Competition Rankings

Request Audit Follow on X

About Me

Expert in ZK, Cryptography, and Blockchain Security

ZK Security Expert

Deep expertise in ZKPs - Identity, DeFi, Payments, Prover Networks, zkVMs, Proof Verification, Coprocessors, ZK Rollups, ZK L1s, Cross Chain, ZKML/AI, ZK TLS, Private Compute, ZK in Bitcoin, Voting, CoSNARKs, Attestation Infrastructure.

Privacy Technologies

Expert in TEEs, MPC, FHE - securing the most sensitive cryptographic systems. Finding vulnerabilities in privacy-preserving protocols and confidential computing.

Multi-Chain Auditor

Solidity, Rust, Go, Circom, FunC, Cairo - I find bugs in any language! Ethereum, Solana, Bitcoin - I secure any stack with expertise across the blockchain ecosystem.

Core Skillset

Zero Knowledge Proofs Cryptography Solidity Rust Smart Contracts DeFi Security Privacy zkVMs RISC-V Circom Cairo FunC

Competition Achievements

Consistently ranked in top positions across major audit competitions

🥉

RadicalxChange

3rd Place

Highest bidder can withdraw his collateral due to a missing check in _cancelAllBids

Sherlock

🏆

Sorella Angstrom

4th Place (10x Crit-Patrol Team)

Fees can be stolen by changing the initialized ticks

Cantina

🏆

Geneius Contracts

6th Place

DoS in Solana via order_hash collision during filling orders

Cantina

🏆

Nitro-Labs/Solaxy

8th Place

Stale owner index lets attackers create "ghost" programs and exhaust resources

Cantina

🏆

Napier

9th Place

Loss of funds due to not collecting fees

Sherlock

🏆

FarcasterAttestation

16th Place

The lack of ERC-165 compliance leads to integration failures

Cantina

Audit Portfolio

Protocols secured through public and private audits

Infrastructure - Solana Bridge (Rust)

Clementine 2025

Infrastructure - zk Bridge on Bitcoin (Rust)

Infrastructure - zkRollup on Bitcoin (Rust)

Space & Time 2025

Infrastructure - zk (Rust, Solidity)

Genius Foundation July 2025

Infrastructure - Solana Bridge (Rust, TS, Solidity)

Telcoin Network June 2025

Infrastructure - EVM L1 (Rust)

Succinct July 2025

Infrastructure - zk (Solidity)

Nitro Labs / Solaxy June 2025

Infrastructure - Solana VM & Rollup (Rust)

Alchemix v3 May 2025

Smart Contract - Solidity

DefiApp February 2025

Smart Contract - Staking (Solidity)

FarcasterAttestation January 2025

Smart Contract/Infrastructure - Solidity

Aave v3.3 January 2025

Smart Contract - Solidity

Chorus One / TON Pool January 2025

Staking Contract - TON Blockchain (FunC)

Sorella Labs-Angstrom November 2024

Smart Contract - AMM

InfinityPools October 2024

Smart Contract - AMM

Panoptic October 2024

Smart Contract - AMM

Zerolend One August 2024

Smart Contract - Lending

LoopFi July 2024

Smart Contract - Lending

NDA November 2025

Infrastructure - zk (Rust)

1 High 3 Medium 6 Low

Private October 2025

Privacy/Dark Pool AMM (Solidity)

5 High 5 Medium 27 Low

Private October 2025

Infrastructure - zk (Rust)

1 Critical 2 High 3 Medium 11 Low

NDA October 2025

Payment (Solidity)

1 Medium 9 Low

Private September 2025

Rust Cryptography libs (BLS/others)

2 Medium 7 Low/Info

Private September 2025

Payment/Privacy - Solana

Private Review

Private June 2025

Infrastructure - ZK Verifier (Rust)

Private Review

Private May 2025

Infrastructure - ZK (Rust)

Private Review

Private April 2025

Infrastructure - ZK (Rust)

Private Audit

ZK Security Research

Deep dives into zero-knowledge proof security

ZK Circuits Bugs

Comprehensive collection of ZK circuit vulnerability patterns and common bugs.

Read on GitHub →

ZK Security Part 1

Zero to One: ZK security can be grouped into four layers.

ZK Security Part 2

Should you pay for security audits for ZK SNARKs?

Bug Classes

Assigned but not Constrained - a critical ZK vulnerability class.

zkSNARKs Security

Deep dive into zkSNARKs security considerations.

Projects & Contributions

Building the future of ZK and blockchain security

ZP1

High-performance ZK proving toolstack for RISC-V. A complete zkVM implementation with optimized prover and verifier.

Rust ZK RISC-V Prover

SuperAudit

AI-powered security agent and plugin for automated smart contract auditing.

AI Security Tools

Anon-Pool-Hook

Dark Pool CoW using UniswapV4, Phala TEEs, SP1+zkVerify, and Eigen AVS.

UniswapV4 TEE SP1 Eigen

🔨 Building

Redacted

Currently building a new protocol. Stay tuned for updates!

Coming Soon

Verified on Leading Platforms

Cantina x Spearbit

Ready to Secure Your Protocol?

Get in touch for private audits, security reviews, or collaboration opportunities.

Telegram Twitter/X Email