Hey, I'm David! 👋
Senior developer & zero-knowledge explorer 🧪
I'm obsessed with security and modern cryptography (ZK, MPC, FHE).
I love tinkering with low-level internals and breaking things to understand them better.
Writings
Explore my latest deep dives on cryptography, algebra, zero-knowledge proofs and MPC.
Read ArticlesLatest Projects
Highlights from my recent work in zero-knowledge proofs and cryptography
mpcco-snarkstaceo
Secure MPC matching via TACEO's co-snarks
I built a Private dating app 🌶️ using TACEO's co-noir (experimental) tech.
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
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
privacyzero-knowledgenoir
Privacy-preserving housing application using 2D-Doc
Built a PoC for French people to avoid sharing their ID documents with their landlords.
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...
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...