In submission
Gaspard Anthoine
I'm a predoctoral researcher at the IMDEA Software Institute in Madrid, supervised by Dario Fiore. My work aims to explore the limits of succinct proof systems. In more detail I'm interested in studying the trade-off between assumptions, efficiency and security guarantees one can obtain for advanced primitives like SNARKs, homomorphic signatures, vector commitments... Recently I also got interested in anonymous credentials! Feel free to email me if you want to talk about any of this.
- Research Interests
- Succint Proof Systems, Signatures,
Anonymous Credentials, Verifiable Computations,
Provable Security
Publications
Conference papers.
In submission
Commit-and-Prove Subvector Arguments with Flexible Preprocessing and Aggregation
EUROCRYPT 2026
Lower Bounding Update Frequency in Short Accumulators and Vector Commitments
FC 2026
SoK: Lookup Table Arguments
FC 2025
Verification-Efficient Homomorphic Signatures for Verifiable Computation over Data Streams
CRYPTO 2024
Fully-Succinct Multi-Key Homomorphic Signatures from Standard Assumptions
Usenix Security 2021
Dynamic Proofs of Retrievability with Low Server Storage
Writing
Blog post · 2018
Ethereum ABI Encoding Explanation
Poster · CCS 2019
Proofs of Retrievability with Low Server Storage
Resume
- Predoctoral researcher at IMDEA Software Institute, supervised by Dario Fiore (2022–present).
- MSc in Cybersecurity (cryptography) and MSc in Computer Science, Université Grenoble Alpes.
Contact
Happy to discuss research, collaborations, or cryptography questions.