I will review and audit you smart contracts
About this Gig
Are you launching a smart contract and need a security-focused audit you can trust? Im here to help!
Im an experienced Solidity smart contract auditor with a strong focus on automated testing, formal verification, and deep security analysis using industry-standard tools.
What I Offer:
- Fuzz Testing & Invariant Testing with Foundry
- Formal Verification using Certora Prover
- Static analysis using Slither and Aderyn
- Manual review of logic, math, modifiers, access control, and edge cases
- Gas optimization and best practice checks
- Upgradeable contract safety review
- Comprehensive and clear audit reports
Tools & Technologies:
- Foundry (forge, fuzzing, invariants, cheatcodes)
- Certora Prover (formal specs and assertions)
- Slither (static analysis)
- Aderyn (semantic diffing & regression checks)
- Solidity, EVM, OpenZeppelin libraries
- Foundry-based projects
What You Get:
- A full security audit of your smart contracts
- PDF report with vulnerabilities, severity, recommendations
- Fix validation & optional re-audit (for Standard & Premium packages)
- Gas usage insights & optimization suggestions
Message me to discuss your project and get a custom quote tailored to your needs.
Tools:
MythX
•
Slither
•
Etherscan
Keep your assets and information safe
Cryptocurrency services focus solely on developing and programming. Never share sensitive information or private keys with others.
My Portfolio
Other Blockchain Development & Solutions Services I Offer
FAQ
What do I need to provide for the audit?
Github repo alongwith proper readme. Code should follow natspec standards
What is included in the audit report?
The report includes identified vulnerabilities, their severity levels (low/medium/high/critical), suggestions for fixes, gas optimization tips, and relevant testing evidence (for fuzz/formal results).
Do you offer re-audits after I apply the fixes?
Yes! All Standard and Premium packages include one free re-audit round after fixes are applied. I’ll validate changes and update the report accordingly.

