PhD Researcher · Cryptography

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

What a Wonderful World: zkSNARKs in the Algebraic Group Model are Universally Composable

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.
Ask for my full CV dblp Google Scholar

Contact

Happy to discuss research, collaborations, or cryptography questions.