ASCrypto 2025
The 8th Advanced School on Cryptology and Information Security in Latin America (ASCrypto) will be co-located with LatinCrypt 2025, taking place on September 29–30, 2025 in Medellín, Colombia.
Call for Stipends!!!!
Thanks to our sponsors, we have the opportunity to give financial support to students that would not be able to attend the workshop otherwise. First deadline is July the 11th! Now closed.
See also the Call for posters at Latincrypt
Topic: Modern Proof Systems
This year’s edition of ASCrypto will focus on advanced topics in modern proving systems, including recursion, STARKs, and MPC-in-the-head. These areas are gaining significant traction in both theoretical research and practical applications.
Confirmed Speakers
Chairs
- Arantxa Zapico, Cryptography Researcher, Ethereum Foundation
- Javier Verbel, Cryptography Researcher, Technology Innovation Institute
Venue
Universidad EAFIT, Auditorium 101 of Building 38 (Bloque 38), see university map.
University Address: Carrera 49 #7 Sur 50, El Poblado, Medellín, Antioquia, Colombia. In maps
Cost
Registration Cost: 22 USD.
Recomendations
In this link you can find some recommendations for international visitors prepared by the local organizers.
Program
All times are in GMT-5 (Colombian time).
Monday, September 29
| Time | Event | Speaker |
|---|---|---|
| 08:30 – 09:00 | Welcome | |
| 09:00 – 10:30 | Introduction to Proof Systems | Arantxa Zapico Ethereum Foundation |
| 10:30 – 11:00 | Coffee Break | |
| 11:00 – 12:30 | Folding and Accumulation schemes(.key version of slides) | Benedikt Bünz New York University |
| 12:30 – 14:00 | Lunch Break | |
| 14:00 – 15:30 | Introduction to zk-STARKs | Alan Szepieniec Neptune Cash |
| 15:30 – 16:00 | Coffee Break | |
| 16:00 – 17:30 | Secure Multiparty Computation and its applications to Zero Knowledge Proofs | Sophia Yakoubov Aarhus University |
Tuesday, September 30
| Time | Event | Speaker |
|---|---|---|
| 09:00 – 10:30 | Folding and Accumulation schemes | Benedikt Bünz New York University |
| 10:30 – 11:00 | Coffee Break | |
| 11:00 – 12:30 | Introduction to zk-STARKs | Alan Szepieniec Neptune Cash |
| 12:30 – 14:00 | Lunch Break | |
| 14:00 – 15:30 | Secure Multiparty Computation and its applications to Zero Knowledge Proofs | Sophia Yakoubov Aarhus University |
| 15:30 – 16:00 | Coffee Break | |
| 16:00 – 17:30 | Q&A and Practical Session |