I am currently working as a research engineer at Polygon zkEVM. In this role, I contribute to the development of a robust arithmetization, in terms of the extended Algebraic Intermediate Representation (eAIR), of the zkEVM. Furthermore, I ensure the integrity and soundness of the underlying proving system, which at the moment is a composed system crafted from an inner eSTARK with an outer fflonK.

Simultaneously, I am pursuing a Ph.D. in the Department of Network Engineering at the Polytechnic University of Catalonia (UPC). My academic journey includes a BSc in Mathematics from the University of Alicante (UA) and an MSc in Advanced Mathematics and Mathematical Engineering from the UPC, with a focus on discrete mathematics. My research ranges from theoretical and applied cryptography to probabilistic proofs, with a special interest in the applicability of zero-knowledge proofs to improve the scalability of blockchains and authentication systems.

In my free time, I enjoy doing cryptography-based CTF challenges on sites like CryptoHack, HackTheBox or CryptoPals. There is a big difference between theory-oriented (a.k.a., textbook) cryptography and real-world cryptography, so I feel like these challenges make me understand the link between these two worlds.

Download my Bachelor's Degree Final Project (spanish).

Download my Master's Degree Final Project.