Skip to content
View Jackesgamero's full-sized avatar
16 followers · 9 following
  • Complutense University of Madrid
  • Madrid,Spain

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Block or report Jackesgamero

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

👋 Hi, I'm Jaime – Blockchain Developer | Solidity + Hardhat | Math & CS

🎓 BSc Mathematics & BSc Computer Science
🔬 Recent project: Using Smart Contracts to generate traceable information concerning SLAs in 6G services
🧪 Dissertation: Application of Constrained Horn Clauses (CHCs) for the analysis and formal verification of smart contracts
🛠️ Stack: Solidity, Hardhat, JavaScript, Ethers.js, formal tools

🌍 Seeking remote opportunities in blockchain, DeFi, or Web3 infrastructure.

📫 Reach me on LinkedIn or Email

Pinned Loading

  1. SmartContracts-for-verification SmartContracts-for-verification Public

    This repository contains smart contracts with vulnerabilities registered in SWC to be analyzed with the smart contract verification tools SolCMC, Certora, eThor, HoRStify, VeriSol-MCE and Securify2

    Solidity

  2. Alchemy-University Alchemy-University Public

    Complete Solutions for Alchemy University’s Ethereum Bootcamp Challenges

    JavaScript