2020-2021
Development of Ginger-lib, a Rust library for zk-SNARKs.
Implementation of Poseidon hash function over MNT4 and MNT6 curves. Achieved a x246 fold speedup compared to the original implementation.
Adaptation of Poseidon hash function to BN382 curve.
Implementation of algorithms for big Merkle trees.
Speeding up of multi-scalar multiplication on EC using Pippenger's algorithm and signed-digit recoding.
Mentored a GPU implementation of the proving system achieving a x18 fold speedup.
2018-2020
Blockchain protocol analysis, wallet design, and interface design to a Hardware Security Module (HSM).
Blockchain Challenge Award at the Blockchain Hackathon.
Development of a photogrammetric pipeline for creating a 3D model of a city. Joint work with the EPFL.
Implementation in multi-threaded C++.
Validation of algorithms in Matlab and Python.
2017-2017
Training of the Scrum framework.
Passed the certification of Professional Scrum Master and Professional Scrum Product Owner.
2011-2016
Design of banknote recognition algorithms using machine learning and image processing techniques.
Implementation in C++ on an embedded system.
Simulation of algorithms in Matlab.
2006-2011
2000-2006
Design of massively parallel algorithms for cryptography in hardware.
RTL simulation in Verilog for ASICs.
Best Paper Award at CHES 2005.
Computer Arithmetic and Cryptography
"Studies on Modular Arithmetic Hardware Algorithms for Public-Key Cryptography"
Computer Arithmetic and Cryptography
"A VLSI Algorithm for Modular Multiplication/Division"