Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly
Sign up
Appearance settings
@Jamill-hallak
Jamill-hallak
Follow

jamill hallack Jamill-hallak

🎯
Focusing
AI Engineer, Blockchain Developer, Dapp, Web3,Metaverse

Block or report Jamill-hallak

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Jamill-hallak /README.md

Jamill Hallak

Web3 Engineer β€’ Security Researcher β€’ Formal Verification Enthusiast πŸ”

LinkedIn Portfolio GitHub

πŸ‘¨β€πŸ’» About Me

I’m a Full-Stack Web3 Developer and Security Researcher with 4+ years of experience in smart contract development, auditing, and formal verification. My focus spans DeFi, GameFi, and zk systems, emphasizing modular architecture, gas optimization, and formally proven correctness.

I work with Foundry, Huff, Yul, and Certora to build secure, production-ready smart contracts. I also explore AI, NLP, and computer vision, merging blockchain with machine learning to solve complex problems.

🧠 Core Skills

🧱 Smart Contract Engineering

Solidity Β· Huff Β· Yul Β· Foundry Β· Hardhat Β· OpenZeppelin Β· Inline Assembly Β· EVM internals

πŸ” Smart Contract Security & Auditing

Threat modeling Β· Fuzzing (stateful, invariant) Β· Calldata and storage inspection
PoC exploit writing Β· Opcode tracing Β· Gas profiling Β· Audit reporting

πŸ§ͺ Formal Verification

Certora Prover Β· Halmos Β· Invariant specification Β· Symbolic execution Β· Ghost variables Β· SMT Solvers (Z3) Β· Rule-based property testing

🧬 Zero-Knowledge & Web3 Protocols

zkSync Β· EIP-4337 Account Abstraction Β· SNARKs Β· Chainlink Β· Infura Β· IPFS Β· Web3.js Β· Ethers.js

πŸ€– AI & Machine Learning

TensorFlow Β· PyTorch Β· HuggingFace Β· LangChain Β· Natural Language Processing (NLP) Β· Computer Vision Β· Transformers Β· CNN Β· LSTM

βš™οΈ Backend & Infrastructure

Node.js Β· JavaScript Β· TypeScript Β· Go Β· Python Β· REST APIs Β· GraphQL Β· WebSockets Β· Redis Β· SQL Β· DynamoDB

☁️ DevOps & Cloud

AWS (EC2, Lambda, Cognito) Β· Docker Β· GitHub Actions Β· CI/CD pipelines Β· Distributed Systems Β· P2P Networking

πŸ” Security Engineering & Formal Methods

  • βœ… Audited high-impact DeFi protocols and discovered critical vulnerabilities
  • βš’οΈ Built Huff and Yul contracts optimized for bytecode-level gas savings
  • πŸ§ͺ Applied formal verification with Certora to prove critical system invariants
  • πŸ” Conducted calldata analysis, slot tracing, and EVM-level debugging
  • πŸ“Š Delivered detailed audit reports with PoCs and risk mitigation steps

πŸš€ Featured Projects

πŸ“œ Certifications

  • 🧠 Assembly, Formal Verification & EVM Opcodes – Cyfrin (2025)
  • πŸ”§ Smart Contract DevOps – Cyfrin (2025)
  • πŸ” Smart Contract Security & Auditing Program – Cyfrin (2025)
  • πŸ§ͺ Advanced Foundry & Account Abstraction – Cyfrin (2024)
  • β›½ Advanced Solidity: Understanding & Optimizing Gas Costs – Udemy (2024)
  • 🏦 Blockchain Technology Specialization – University at Buffalo (USA, Remote, 2023)
  • πŸ’Έ DeFi Applications Specialization – Duke University (USA, Remote, 2023)

🧰 Toolbox

🧱 Smart Contract Stack

Solidity Huff Yul Foundry Hardhat

πŸ”¬ Formal Verification

Certora Halmos SMT

☁️ Infra & DevOps

Docker AWS GitHub Actions

πŸ€– AI & ML

TensorFlow PyTorch Transformers

πŸŽ“ Education

  • πŸŽ“ MIT Applied Data Science Program – 2023–2024
  • πŸŽ“ BSc in IT Engineering (AI) – AIU, 2017–2021

πŸ“¬ Let's Connect

Portfolio

Pinned Loading

  1. Security-reports-portfolio Security-reports-portfolio Public

    A portfolio of security reports for EVM smart contracts, highlighting audits, vulnerability assessments, penetration testing, and risk evaluations. Focused on delivering actionable recommendations ...

  2. Foundry-Account-Abstraction Foundry-Account-Abstraction Public

    This repository showcases Account Abstraction (AA) using Foundry, demonstrating how it transforms externally owned accounts (EOAs) into programmable smart contracts, enabling unprecedented flexibil...

    Solidity

  3. Foundry_DeFi_StableCoin Foundry_DeFi_StableCoin Public

    It showcases the implementation of a decentralized stablecoin system where users can deposit WETH and WBTC to mint a USD-pegged token.

    Solidity

  4. ethereum-aws-kms-signer ethereum-aws-kms-signer Public

    A Go utility to sign Ethereum messages using AWS KMS, with support for message hashing and ECDSA signature adjustments according to Ethereum standards.

    Go

  5. Cross_chain_swap Cross_chain_swap Public

    This project aims to provide cross-chain functionality, allowing for interactions between different blockchain networks. There are two common approaches to achieve cross-chain capabilities

    JavaScript

  6. Malaria_Detection Malaria_Detection Public

    This project develops a deep learning model using Convolutional Neural Networks (CNN) to detect malaria from blood cell images. The model aims to provide an efficient diagnostic tool that can be de...

    Jupyter Notebook

AltStyle γ«γ‚ˆγ£γ¦ε€‰ζ›γ•γ‚ŒγŸγƒšγƒΌγ‚Έ (->γ‚ͺγƒͺγ‚ΈγƒŠγƒ«) /