Skip to content
View 0xkryvon's full-sized avatar
🔗
Extracting trust from Smart Contracts
🔗
Extracting trust from Smart Contracts
38 followers · 44 following
  • ESI [Ecole nationale Supérieure d'Informatique (Ex.INI)]
  • B.P. 68M, 16270 Oued Smar, Algiers, Algeria
  • LinkedIn in/lyes-boudjabout

Achievements

Achievement: Pull Sharkx2Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: YOLO

Achievements

Achievement: Pull Sharkx2Achievement: Pair ExtraordinaireAchievement: QuickdrawAchievement: YOLO

Highlights

Organizations

@Shellmates @GDGAlgiers

Block or report 0xkryvon

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
0xkryvon/README.md

👨‍💻 Lyes Boudjabout

  • 🔒 Smart Contract Security Auditor
  • 🌐 Full-Stack Web3 Developer
  • 🎓 Computer Science Engineering Student at @ESI-Alger
  • 🤝 IT Co-Manager & Dev Projects Manager at @GDGAlgiers

0xkryvon

0xkryvon


🛠️ Technical Skillset

My Skills

🔗 Blockchain

  • Smart Contract Development: Solidity, Rust
  • EVM Assembly Languages: Yul, Huff
  • Formal Verification: Symbolic Execution, Halmos, Certora
  • Chainlink Integration: VRF, Functions, Data Feeds, Automation
  • Tooling: Hardhat, Foundry, Cast, Remix IDE

💻 Backend

  • Frameworks: NestJS, Express.js
  • APIs: RESTful, MVC
  • Authentication: JWT, OAuth2
  • Database: PostgreSQL, MongoDB, MySQL

🧱 Frontend

  • Frameworks: Next.js, React
  • UI/UX: TailwindCSS

⚙️ DevOps & Tooling

  • Version Control: Git, Github, GitHub Actions
  • Package Management: npm, yarn, pnpm
  • OS Proficiency: Ubuntu, Windows
  • Containerization & Deployment: Docker, Netlify

🤝 Let's Collaborate

Feel free to connect on any blockchain security initiatives, dApp architecture discussions, or full-stack product builds. I’m open to contribution, collaboration, and continuous learning.

streak graph

“Exploring the intersection of blockchain, security, and full-stack innovation.”

Pinned Loading

  1. gdg-school-2k25-blockchain gdg-school-2k25-blockchain Public

    A repository with code and resources from the GDG School 2025 Blockchain Workshop.

    Solidity 15

  2. gdg-algiers-dip-backend gdg-algiers-dip-backend Public

    Backend for the ER-Platform, developed during the DIP (Development Integration Program) event organized by GDG Algiers, using NestJS, TypeScript, PostgreSQL, and Prisma ORM.

    TypeScript

  3. calm-15-client calm-15-client Public

    The interface of Calm-15 ESI website built using React.js and GSAP (GreenSock Animation Platform)

    JavaScript

  4. book-store-api book-store-api Public

    A full-featured Book Store API built with NestJS and MongoDB, featuring robust user management, secure JWT & Role-based authentication, and complete CRUD operations for books, authors and users.

    TypeScript

  5. defi-stablecoins defi-stablecoins Public

    A minimal implementation of a defi protocol in Foundry, a pegged, algorithmic and exogenous stablecoin

    Solidity 1

  6. merkle-erc20-airdrop merkle-erc20-airdrop Public

    Foundry-based ERC20 airdrop demo with BagelToken and MerkleAirdrop using OpenZeppelin, showcasing efficient Merkle proof distribution over naive methods.

    Solidity