I am a Security Researcher | Smart Contract Engineer with a passion for breaking/building software and finding bugs, specializing in Smart Contract Development/Auditing.

• 🔭 I'm currently working as a Smart contract engineer and Auditing contests on contests platforms.
• ❤️ Generally, I'm truly passionate about Decentralized applications, Developing and Auditing Smart contracts, Ethereum, Bitcoin, Zero-knowledge proofs, and Learning new technology daily.

• Smart contract Auditing
  • Solidity, Yul, Assembly.
  • EVM.
  • Foundry.
  • Fuzz testing.
  • Formal verification testing. Halmos certora
  • Tools -> Echidna, Slither, Aderyn...etc.

• SafeMath Library for Inline Assembly/Yul in Solidity Smart Contracts. repo, article

• Twitter
• LinkedIn
• Blog