I am a cryptography researcher at the Field Extension Institute. Previously, I worked at the Cryptography Research group at the Ethereum Foundation.
I obtained my Ph.D. from Pompeu Fabra University in October 2022, under the supervision of Carla Ràfols and Vanesa Daza. My dissertation, Algebraic Techniques for Universal Succinct Arguments, is available here.
I obtained my Licentiate in Mathematics (BSc+MSc equivalent) from the National (public and free) University of Córdoba, Argentina. I am a fundamentalist of the fact that education, at every level, must be accessible to all.
My first language is Spanish; I also speak English and Catalan, and am learning Mandarin.
I am based in Córdoba, Argentina.
Research
My research focuses on succinct arguments, from their security to the techniques that make them scale. I especially enjoy thinking about how to design them from algebraic tools. You can find all my papers on Google Scholar.
Publications
- Preprint 2026SAK: Sparse Arguments of Knowledge, from Sparse Lookup Argumentswith Abhiram Kothapalli and Sriram Sridhar
- Asiacrypt 2025IVC in the Open-and-sign Random Oracle Modelwith Mary Maller and Nicolas Mohnblatt
- ACM CCS 2025KZH-Fold: Accountable Voting from Sublinear Accumulationwith Benedikt Bünz, Hossein Hafezi, and George Kadianakis
- CiC 2025Baloo: Nearly Optimal Lookup Argumentswith Ariel Gabizon, Dmitry Khovratovich, Mary Maller, and Carla Ràfols
- Asiacrypt 2022Linear-map Vector Commitments and their Practical Applicationswith Matteo Campanelli, Anca Nitulescu, Carla Ràfols, and Alexandros Zacharakis
- ACM CCS 2022Caulk: Lookup Arguments in Sublinear Timewith Vitalik Buterin, Dmitry Khovratovich, Mary Maller, Anca Nitulescu, and Mark Simkin
- CSCML 2022Mutual Accountability Layer: Accountable Anonymity within Accountable Trustwith Vanesa Daza, Abida Haque, Alessandra Scafuro, and Alexandros Zacharakis
- CRYPTO 2021An Algebraic Framework for Universal and Updatable SNARKswith Carla Ràfols
Research visits
- Jul 2025Stanford University·hosted by Dan Boneh
- Feb 2023University of Warwick·hosted by Tom Gur and Nick Spooner
- Jan 2023IMDEA Software Institute·hosted by Dario Fiore
Ethereum Research
- Data availability samplingPeerDAS Documentation and Security Analysis (paper)·Improved PeerDAS Security Analysis (paper)
- zkEVM soundness and securityzkEVM Soundness (talk)·zkEVM Security Sprint: February Update (blog post)·Lookups on zkVMs (blog post)·Lookup soundness integration in Soundcalc
- Cryptography for networkingLinearly-homomorphic signatures for RLNC (EthResearch post)
- Encrypted mempoolsAccountability for Encrypted Mempools (EthResearch post)
Selected talks
- Dec 2025zkEVM SoundnessKeynote
- Sep 2024Polynomial Commitments — and where to find themZK Workshop, ICMS
- Nov 2023Why You Should Care about PolynomialsProgCrypto, Devconnect
- Aug 2023A Road Map for Lookup TablesZcon 4, Barcelona
- Sep 2022Caulk (and improvements)ZK8 — Zero Knowledge Summit 8
- Jul 2022Caulk: Lookup Arguments in Sublinear TimeZK Study Club
- Mar 2022On the Efficiency and Flexibility of Linear-Map Vector CommitmentsVector Commitment Research Day
- Nov 2021From Probabilistic Proofs to Succinct Arguments3er Encuentro Argentino de Cuerpos Finitos y Temas Afines · talk in Spanish, slides in English
- Aug 2021An Algebraic Framework for Universal and Updatable SNARKsCRYPTO 2021
- Apr 2021Proposal: An Algebraic Framework for Universal and Updatable zkSNARKs4th ZKProof Workshop
- Jan 2021Breve introducción al BlockchainSeminario de doctorado, Universidad de Chile
Teaching
So I go back to the beginning, to the title of this article, and I wonder where have I felt scientific independence. I have felt it in one room, in front of a blackboard on any random afternoon watching a small group of students and teachers discussing a problem. With the humility that imposes the weight of difficulty and the immense scientific tradition on the shoulders. But also with enthusiasm and especially with the feeling that science goes through that room, no matter what any official says, or any foreign eminence, or textbooks, the problem is there in front of our eyes and it depends on us to solve it. It was in that strange community of young and old that I saw independence shining at least a couple of times at this university.Sergio Dain, for Revista Deodoro
Original en español
Entonces vuelvo al principio, al título de esta nota, y me pregunto dónde he sentido la independencia científica. La he sentido en una pieza, frente a un pizarrón en una tarde cualquiera viendo a un pequeño grupo de estudiantes y profesores discutir un problema. Con la humildad que impone el peso de la dificultad y de la inmensa tradición científica sobre las espaldas. Pero también con entusiasmo y sobre todo con la sensación de que la ciencia pasa por esa pieza, no importa lo que diga ningún funcionario, ni ninguna eminencia extranjera, ni los libros de texto, el problema está ahí delante de nuestros ojos y depende de nosotros mismos resolverlo. En esa comunidad extraña de jóvenes y viejos es donde vi brillar la independencia al menos un par de veces en esta universidad.Sergio Dain, para Revista Deodoro
Supervision
- Master'sSebastián Giraudo·Universidad Nacional de Córdoba
- Master'sLucas Cardacci·Universidad Nacional de Córdoba
Courses
- 2024–2025Assistant Professor·Algorithms and Data Structures·Universidad Nacional de Córdoba
- 2023–2024Teaching Assistant·Introduction to Algorithms·Universidad Nacional de Córdoba
- 2023Teaching Assistant·Algorithms and Data Structures·Universidad Nacional de Córdoba
- 2022Teaching Assistant·Linear Algebra·Universitat Pompeu Fabra
- 2020Teaching Assistant·Discrete Mathematics·Universitat Pompeu Fabra
- 2020Teaching Assistant·Cryptography·Universitat Pompeu Fabra
- 2017Undergraduate Teaching Assistant·Linear Algebra·Universidad Nacional de Córdoba
- 2017Undergraduate Teaching Assistant·Discrete Mathematics·Universidad Nacional de Córdoba
- 2015–2016Undergraduate Teaching Assistant·Calculus II·Universidad Nacional de Córdoba
Service
Program chair
- 2027Financial Cryptography and Data Security (FC 2027)Program co-Chair, with Roger Wattenhofer
Program committees
ACM CCS 2026·ACM CCS 2025·ISC 2025·Latincrypt 2025·Latincrypt 2023
Organization
- 2025AScrypto 2025·Organizer
- 2024CrossFyre 2024·Organizer