Jay
Sui + Aptos Move Security Researcher. Formally verifying Move smart contracts with the Move Prover.
@movejay
sr
Biography
I specialize in security audits for Sui, Aptos and other Move based ecosystems as well as Rust and Solidity smart contracts. My work spans high impact DeFi protocols including AMMs, staking platforms, CLMMs, lending markets, perpetuals, cross chain bridges and more where I apply manual review and formal verification to help teams launch secure and reliable products.
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 | Coming Soon |
| Navi | Coming Soon |
| LayerZero | 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 |
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 |
Sui Formal Verification Projects
| Project Name | Reports |
|---|---|
| Crowdfunding Example | View Report |
| Ensure Example | View Report |
| Precision Lost | View Report |