Jay

Biography

Hey! J here! 👋🏾

I’m a security researcher with 5 years of experience in auditing and vulnerability research across EVM, SVM, and Move ecosystems.

I previously spent 3 years as a Solidity developer before transitioning fully into security, where I led the Security Department at Sixfoot as a Security Engineer.

I am also a founding contributor to the Sui Prover at Asymptotic, where I worked on formal verification tooling for Sui Move.

Today, I specialize in Move-based ecosystems, formal verification, and smart contract security. I’ve been actively triaging reports on Cantina for over a year, reviewing and validating real-world vulnerability submissions at scale.

Across my career, I’ve worked with protocols such as Aave, LayerZero, Coinbase, Flying Tulip, and Navi, among others. My audit experience spans cross-chain bridges, CLMMs, lending markets, staking systems, perpetuals, and DeFi infrastructure primitives, to name a few.

Move Audit Report Highlights

Project Name	Reports
Aave Core	View Report
Aave Core v2	View Report
Aave Peripheral	View Report
Kofi	View Report
Poel	View Report
Studio Mirai	View Report
OL Network	View Report
Dexlyn Bridge	View Report
Project Z	View Report
StakeSphere	View Report
AquaSwap	View Report
Thala	View Report
Navi	Coming Soon
LayerZero - Aptos	Coming Soon
LayerZero - Sui	Coming Soon

Formal Verification Audit Highlights

Project Name	Reports
OL Network	View Report
Thala	View Report
Aave	View Report
FullSail	View Report

Solidity Audit Report Highlights

Project Name	Reports
Sayfer	View Report
Fortephy	View Report
Sturdy	View Report
Kelp	View Report
LayerZero	View Report
Topaz	View Report
DragonSwap	View Report
HyperCycle	View Report
Flying Tulip	Coming Soon

---

Rust & Other Audits

Project Name	Reports
Wonderland Security Audit	View Report
Dreadnought Video Game Security Audit	View Report
Crossmint Audit Report	View Report
Report on Suspected NFT Scam and Fake Profiles	View Report
ElizaOS	View Report

---