movebrah

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 NameView Report
Studio MiraiView Report
OL NetworkView Report
Project ZView Report
StakeSphereView Report
AquaSwapView Report
Dexlyn BridgeView Report
KofiView Report
PoelComing Soon
ThalaComing Soon
AaveComing Soon
NaviComing Soon
LayerZeroComing Soon

Solidity Audit Report Highlights

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

Formal Verification Highlights

Project NameView Report
OL Network Formal VerificationView Report
ThalaView Report
AaveComing Soon
FullSailComing Soon
EchoComing Soon

Other Audits

Project NameView Report
Dreadnought Video Game Security AuditView Report
Crossmint Audit ReportView Report
Report on Suspected NFT Scam and Fake ProfilesView 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

Sui Formal Verification Examples

Project NameView Report
Crowdfunding ExampleView Report
Ensure ExampleView Report
Precision LostView Report

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