Smart Contract Developer and Auditor specializing in EVM (Solidity, Foundry, Hardhat), currently expanding into Solana (Rust, Pinocchio, and Anchor Framework). Experienced in manual auditing and bug hunting, with multiple contributions to open-source frameworks.
- Solidity
- Foundry
- Hardhat
- Certora Prover (Formal Verification)
- Echidna (Fuzzing)
- ethers.js
- Rust
- TypeScript
- ๐๏ธ X (Twitter): @mirmohmmadluqman
- ๐ผ LinkedIn: linkedin.com/in/mirmohmmadluqman
- ๐ง Email: [email protected]
- ๐ฌ Discord: mirmohmmadluqman

