movebrah

KYC
KYCed by Cantina

Move Security Researcher @Spearbit | Formal Verification @AsymptoticTech | Secured Aptos/Sui protocols with Move Prover | Multi-VM security expertise

Available
3 years experience
Vetted

Programming Languages

Move

Expertise & Skills

Formal Verification

Let Us Help You Connect

Our team can assist with project requirements, timeline coordination, and finding the perfect match

Portfolio & Experience

Detailed audit history and technical expertise

Move Audit Report Highlights

Project NameReports
Aave CoreView Report
Aave Core v2View Report
Aave PeripheralView Report
KofiView Report
PoelView Report
Studio MiraiView Report
OL NetworkView Report
Dexlyn BridgeView Report
Project ZView Report
StakeSphereView Report
AquaSwapView Report
ThalaView Report
NaviComing Soon
LayerZero - AptosComing Soon
LayerZero - SuiComing Soon

Formal Verification Audit Highlights

Project NameReports
OL NetworkView Report
ThalaView Report
AaveView Report
FullSailView Report

Solidity Audit Report Highlights

Project NameReports
SayferView Report
FortephyView Report
SturdyView Report
KelpView Report
LayerZeroView Report
TopazView Report
DragonSwapView Report
HyperCycleView Report

Rust & Other Audits

Project NameReports
Wonderland Security AuditView Report
Dreadnought Video Game Security AuditView Report
Crossmint Audit ReportView Report
Report on Suspected NFT Scam and Fake ProfilesView Report
ElizaOSView Report

Sui Formal Verification Projects

Project NameReports
Crowdfunding ExampleView Report
Ensure ExampleView Report
Precision LostView Report

Developer Projects

Project NameDescriptionLink
TridentDexA decentralized exchange (DEX) coded in Sui Move that utilizes ETH and USDC.View Project
ChatBot DappA chatbot decentralized application developed in Aptos and Sui Move, intended for workshop demonstrations.View Project
Job ContractA Move-based contract developed for Immutable Labs, incorporating job submission, claiming, and completion logic.View Project
MoswapA decentralized exchange (DEX).View Project
PhallicvitalikA Solidity-based NFT collection.View Project
BlockBorrowAllows borrowing stablecoins (Borrwinf) against productive crypto assets using controller management.View Project
RiverDaoA collateralized debt position protocol.View Project
ArdenAn NFT collection coded in Move.View Project
MultiSignature WalletProvides simple deposit, spend, and withdraw functionalities with decentralized approval mechanisms.View Project
LiquiCrowdA marketplace for top-tier cryptocurrency asset managers & market makers to borrow at significantly cheaper rates from crowd-funded liquidity pools.View Project

Contributions

ContributorProjectPurposeView Report
HyacinthBuggySwapThis project was coded to help developers find and understand common vulnerabilities in the Move programming language and provide fixes.View Report

Additional Information

For further details or inquiries regarding these audits, please contact via Telegram @jayfromthe13th