Gimer Cervera

Gimer Cervera

About

Detail

Blockchain Engineer | Solidity | Ethereum | Rust | Solana | DeFi | Web3 | L2s
Merida, Yucatan, Mexico

Contact Gimer regarding: 
work
Full-time jobs

Timeline


work
Job
school
Education
folder
Project

Résumé


Jobs verified_user 0% verified
  • CoBuilders
    Blockchain Researcher
    CoBuilders
    Jul 2026 - Current (3 months)
    Blockchain research and development. Researching the Canton Network ecosystem to identify gaps and opportunities for improvement.
  • Settle Network
    Senior Blockchain Engineer
    Settle Network
    Jun 2024 - May 2026 (2 years)
    - Implemented the Plasma-Free protocol (PF) based on the Polygon’s Validium CDK. PF uses an L2 exit mechanism based on forced transactions. I implemented this idea by modifying and testing the contracts responsible for managing the states and the updates of L2 network. Also, I enhanced the Go-based off-chain system (sequencer, sequence sender, synchronizer, etc.) to support PF logic.

    - Leading the development of the ARST token with Multisignature and Vault contracts. The token was deployed and verified in several networks such as: Tron, Avalanche, Stellar, Base, Worldchain and Injective.
  • Nethermind
    Blockchain Security Auditor
    Nethermind
    Feb 2024 - Apr 2024 (3 months)
    – Conducted security audits for various DeFi protocols related to EigenLayer, LayerZero, Layer2 Technologies, UniswapV3 and Fungible and non-Fungible Tokens.

    – Performed code reviews of EVM-based blockchain projects and interacted with other team members to discuss the likelihood and impact of findings.

    – Prepared detailed audit reports outlining issues, recommendations, and risk assessments for stakeholders and project teams. Proficient in technical writing and outstanding communication skills.
  • Blockchains
    Blockchain and Web3 Instructor
    Blockchains
    Jul 2022 - Mar 2025 (2 years 9 months)
    Online Blockchain instructor. Creating and developing online tutorials to learn about Blockchain technology, Web3 and Smart Contract development with Solidity. These are some of the courses that I have created for this platform:

    - Solana Development
    - Web3 Development with Foundry
    - Smart Contracts Security
    - DeFi Development
    - Polygon Web3 Development
    - Web3 Application Development
    - Solidity Fundamentals
    - Smart Contract Development
  • STACKIT
    Blockchain Smart Contract Developer
    STACKIT
    Jul 2022 - Jun 2024 (2 years)
    - Developed a decentralized exchange (DEX) platform based on UniswapV2 with AMMs, liquidity pools and slippage protection features.

    - Collaborated with a cross-functional team to ensure smart contracts' successful deployment and integration into Web3 applications. Conducted code reviews, security audits, and performance optimization to ensure robust and secure smart contract implementations.

    - Designed and implemented an NFT marketplace platform, handling token standards, lazy minting, trading interfaces, ERC721 collections, and royalty mechanisms.

    - Created an ERC20 token with access control capabilities and vesting contracts with time-based release schedules, cliff periods, and early withdrawal functional
  • Cartesi
    Blockchain Engineer
    Cartesi
    Sep 2021 - May 2022 (9 months)
    Developed, audited and tested Smart Contracts with Solidity. Conducted research on several topics such as layer-2 solutions and upgradability. Blockchain protocol engineer.
  • DappDojo
    Independent Blockchain Consultant
    DappDojo
    May 2019 - Jul 2024 (5 years 3 months)
    Independent Consultant offering various services related to Blockchain Technology, including Smart Contract auditing, development, and research. Developing and testing smart contracts with Solidity for companies such as Talem, Bowhead, Lugar Creativo, AthenaDeFi, and DeFiSpot.
  • Universidad Anahuac Mayab
    Professor
    Universidad Anahuac Mayab
    Jan 2015 - Jan 2016 (1 year 1 month)
  • Universidad Tecnológica Metropolitana
    Researcher and full time professor.
    Universidad Tecnológica Metropolitana
    Jan 2005 - Aug 2021 (16 years 8 months)
Education verified_user 0% verified
  • Encode Club
    Solana Bootcamp, Computer Science
    Encode Club
    Nov 2023 - Jan 2024 (3 months)
    Encode Solana Bootcamp is six-week program guided by the experienced Laurence Kirk. The program is designed to immerse participants into the Solana ecosystem. Throughout the course, attendees will gain a comprehensive understanding of Solana’s innovative blockchain technology, focusing on its fundamentals, development tools and applications.

    An NFT to validate my certification of completion on this link:
    https://opensea.io/assets/matic/0xdbf2138593aec61d55d86e80b8ed86d7b9ba51f5/9741

    Account: 0xD1bDc89154272Fb5A5794797e36750C1F0aF9859
  • Encode Club
    Expert Solidity Bootcamp, Blockchain
    Encode Club
    Oct 2023 - Nov 2023 (2 months)
    Advanced Solidity Developer Bootcamp by Encode Club.
  • Carleton University
    Doctor of Philosophy (PhD, Computer Science
    Carleton University
    Jan 2008 - Jan 2012 (4 years 1 month)
  • Tecnologico de Monterrey
    Master's degree, Information Technology
    Tecnologico de Monterrey
    Jan 2002 - Jan 2004 (2 years 1 month)
  • Universidad Autónoma de Yucatán
    Bachelor's degree, Computer Science
    Universidad Autónoma de Yucatán
    Jan 1995 - Jan 2000 (5 years 1 month)
Projects (professional or personal) verified_user 0% verified
  • S
    Semantic Transaction Decoding API
    Mar 2026 - Current (7 months)
    Designed and built an agent-ready semantic transaction decoding API in Rust with x402 pay-per-call
    middleware to enable micropayments for autonomous agents and decentralized services.
  • A
    Autonomous Smart Wallet Agent
    Feb 2026 - Current (8 months)
    An AI-powered autonomous guardian for Circle’s user-controlled wallets that assists during transaction execution on EVM-based networks, work in progress.
Publications verified_user 0% verified
  • I
    Mitigation of topology control attacks in OLSR networks
    IEEE May
    The core of the Optimized Link State Routing (OLSR) protocol is the selection of Multipoint Relays (MPRs) as a flooding mechanism for distributing control traffic messages. A node in an OLSR network, selects its MPR set such that all two-hop neighbors are reachable through, at least, one MPR. However, if an MPR misbehaves during the execution of the protocol, the connectivity of the network is compromised. Additional coverage in the selection of the MPRs helps to mitigate the effect of control traffic attacks. RFC3626 defines the selection of MPRs with additional coverage. Nevertheless, the overhead of the network increases due to the added number of control traffic messages. In this paper, we propose an improved MPR selection with addition
  • Springer
    Preventing the cluster formation attack against the hierarchical OLSR protocol
    Springer
    The Hierarchical Optimized Link State Routing (HOLSR) protocol enhances the scalability and heterogeneity of traditional OLSR-based Mobile AdHoc Networks (MANETs). It organizes the network in logical levels and nodes in clusters. In every cluster, it implements the mechanisms and algorithms of the original OLSR to generate and to distribute control traffic information. However, the HOLSR protocol was designed with no
    security in mind. Indeed, it both inherits, from OLSR, and adds new security threats. For instance, the existence of misbehaving nodes can highly affect important HOLSR operations, such as the cluster formation. Cluster IDentification (CID) messages are implemented to organize a HOLSR network in clusters. In every messag
  • h
    Preventing the cluster formation attack against the hierarchical OLSR protocol
    halarchivesouvertesfr Aug
    The Hierarchical Optimized Link State Routing (HOLSR) protocol enhances the scalability and heterogeneity of traditional OLSR-based Mobile Ad- Hoc Networks (MANETs). It organizes the network in logical levels and nodes in clusters. In every cluster, it implements the mechanisms and algorithms of the original OLSR to generate and to distribute control traffic information. However, the HOLSR protocol was designed with no security in mind. Indeed, it both inherits, from OLSR, and adds new security threats. For instance, the existence of misbehaving nodes can highly affect important HOLSR operations, such as the cluster formation. Cluster IDentification (CID) messages are implemented to organize a HOLSR network in clusters. In every message, th
  • h
    QoS and security in Link State Routing protocols for MANETs
    halarchivesouvertesfr Jan
    We study security issues in the Optimized Link State Routing (OLSR) protocol with Quality-of-Service (QoS). We propose the function k-robust-QANS, to construct a Quality Advertisement Neighbor Set (QANS). Given a node v, the one-hop nodes selected as part of its QANS generate routing information to advertise, when possible, a set with k+1 links to reach any two-hop neighbor. Several approaches have been proposed to construct a QANS. However, none of them guarantees that the best links are advertised. A mechanism is presented for QANS construction with guarantee that the best links are advertised with respect to a given routing metric. We present the unadvertised quality links problem when QoS is considered. We also address the slanderer att
  • I
    Mitigation of flooding disruption attacks in HOLSR networks
    IEEE May
    The Hierarchical Optimized Link State Routing (HOLSR) protocol was designed to improve scalability of heterogeneous Mobile Ad-Hoc Networks (MANETs). HOLSR is derived from the OLSR protocol and implements Multipoint Relay (MPR) nodes as a flooding mechanism for distributing control information. Unlike OLSR, nodes are organized in clusters and implement Hierarchical Topology Control (HTC) messages for inter-cluster communications. Nevertheless, HOLSR was designed without security measures. Therefore, a misbehaving node can affect the topology map acquisition process by interrupting the flooding of control information or disturbing the MPR selection process. We present a taxonomy of flooding disruption attacks, that affect the topology map acq
  • H
    Security issues in link state routing protocols for MANETs
    HAL archivesouvertesfr Feb
    In link state routing networks, every node has to construct a topological map through the generation and exchange of routing information. Nevertheless, if a node misbehaves then the connectivity in the network is compromised. The proactive Optimized Link State Routing (OLSR) protocol has been designed exclusively for Mobile Ad Hoc Networks (MANETs). The core of the protocol is the selection of Multipoint Relays (MPRs) as an improved flooding mechanism for distributing link state information. This mechanism limits the size and number of control traffic messages. As for several other routing protocols for MANETs, OLSR does not include security measures in its original design. Besides, OLSR has been extended to address a number of problems in
  • I
    Location–free link state routing for underwater acoustic sensor networks
    IEEE Jun
    We propose a location-free link state routing protocol for Underwater Acoustic Sensor Networks (UASNs). Additionally, we present the mathematical background for the theoretical capacity and transmission power metrics of an underwater acoustic channel. UASNs are formed by devices enabled with acoustic communication capabilities that are deployed underwater to perform collaborative monitoring tasks. Information is collected by a sink at the surface also equipped with a radio. The underwater communication channel is characterized by a limited bandwidth and high propagation delay. The network topology constantly changes due to mobility of the nodes. In our routing protocol, every node ranks the quality of the path that it offers toward the sink
  • E
    A multipath routing strategy to prevent flooding disruption attacks in link state routing protocols forMANETs.
    Elsevier ScienceDirect Mar
    Multipath routing has been proposed to increase resilience against network failures or improve security in Mobile Ad Hoc Networks (MANETs). The Optimized Link State Routing (OLSR) protocol has been adopted by several multipath routing strategies. They implement Multipoint Relay (MPR) nodes as a flooding mechanism for distributing control information. Ideally, the construction of multiple disjoint paths helps to increase resilience against network failures or malicious attacks. However, this is not always possible. In OLSR networks, partial link-state information is generated and flooded exclusively by the MPRs. Therefore, the nodes only obtain a partial view of the network topology. Additionally, flooding disruption attacks may affect eithe