Hey, I'm David! 👋
Security Researcher & ZK Engineer
Currently working at zkSecurity, auditing and breaking cryptographic protocols.
I usually love to dive deep into programmable cryptography (zero-knowledge proofs, multi-party computation, and fully homomorphic encryption).
Writings
Explore my latest deep dives on cryptography, algebra, ZK proofs and MPC.
Read ArticlesLatest Projects
Highlights from my recent work in ZK 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...