Not really a "portfolio" or a CV, more of a list of most things I've been working on the past few months.
Enjoy 😊
Latest projects
Privacy-preserving housing application using 2D-Doc
Takes in an ID and a salary slip, and outputs a ZK proof that the ID is valid, and the salary is enough to cover the rent.
See the detailed post on Hyli's blog
You can play with the Noir circuits on tdd.nr repo.
If you're lucky, maybe the app is still live...
Secure MPC matching via TACEO's co-snarks
It was a fun project to see what's possible with private shared state
App is probably down, but just in case if you want to take a look: co-match.vercel.app
Security
☠️since Jan 2024
Learning low-level security: from 'simple' binary exploitation to kernel exploits and more
Entirely self-taught, mostly through HackTheBox and Root-Me
From "simple" binary exploitation to kernel exploits and more.
Zero-Knowledge
Helping bring zk proofs to the browser with a WebAssembly-friendly Noir SDK
Implementing recursive proofs in Noir
Updated mpz-play to the latest version of mpz. A comprehensive playground for learning and experimenting with the mpz framework. Great resource for understanding MPC concepts.
Implementing STARKs from scratch to understand the protocol deeply
Halo2 lookup table soundness bug
May 2024
https://github.com/privacy-scaling-explorations/halo2/issues/335
Found a soundness bug in 'lookup_any' in PSE's Halo2 proving system
Audited Summa, a proof of solvency protocol for centralized exchanges
Top fellow in ZK security fellowship
Template to quickly start a Halo2 project
Exploring edge cases and exploits in Halo2 circuits
Emulating malicious provers by modifying cell values in the Mock Prover
This was my first PR in Halo2, it was fun to dive into the codebase
Implementing Tornado Cash in Halo2
On top of the circuits, I wrote a detailed blog post to explain everything
A part 2 is supposed to come someday... mostly to implement the Poseidon hash function (from scratch?), but I haven't had the time to finish
Other work
Contributing to Foundry, a tool for building and testing smart contracts
Smart contract security bootcamp
I was awarded the first place in the first cohort of Secureum Epoch 0, a smart contract security bootcamp.
See the bootcamp contentMain decentralized EURO stablecoin
Reached €200M TVL while I was there
10 years of building
🛠️since Jul 2015
Full-stack journey from mobile, to infrastructure, to cryptography
From crafting iOS mobile apps, to building backend-heavy web applications with Node.js, to running infrastructure as a DevOps engineer on AWS and GCP.
This foundation now fuels my work in cryptography and security.