Lately I have been playing with SNARK toolboxes and DSLs like ZoKrates and Circom, in particular for teaching students and for work. In the process I found that many attempt to build with these tools without sufficient grasp of the underlying concepts, and I am not that innocent myself. So what's better than a blog post for conveying some of these information?

The paper was accepted in IEEE International Workshop on Programmable Zero-Knowledge Proofs for Decentralized Applications (ZKDAPPS), associated with 2025 IEEE International Conference on Blockchain and Cryptocurrency (ICBC).

The paper was accepted for Proceedings of the 2023 Privacy Enhancing Technologies, issue 4.

Python library providing cryptographic operations in the Ristretto group

The library enables bitcoin integration for DFINITY's Internet Computer. It provides an implementation for all cryptographic primitives and algorithms for building Bitcoin transactions, ready for broadcasting to the Bitcoin network.

The work was carried out under a grant from DFINITY and support from their amazing cryptography team.

The paper was accepted in the 6th Workshop on Trusted Smart Contracts, associated with Financial Cryptography 2022.

Welcome. Most content in this website you will find under /blog. My posts focus on programming, reverse engineering, blockchain, and applied cryptography.

I maintain the website itself as part of an experiment that I explain in my first post. I will be using this home page for posting small updates about that, as well as updates related to other projects I maintain.