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.
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
- Arantxa Zapico, Ethereum Foundation
- Benedikt Bünz, New York University
- Sophia Yakoubov, Aarhus University
Chairs
- Arantxa Zapico, Cryptography Researcher, Ethereum Foundation
- Javier Verbel, Cryptography Researcher, Technology Innovation Institute
Venue
Universidad EAFIT
Carrera 49 #7 Sur 50, El Poblado, Medellín, Antioquia, Colombia
Registration Cost: TBA (expected to be approximately 20 USD).
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 | Recursive Proofs | Benedikt Bünz New York University |
| 12:30 – 14:00 | Lunch Break | |
| 14:00 – 15:30 | STARK Proofs | TBA |
| 15:30 – 16:00 | Coffee Break | |
| 16:00 – 17:30 | MPC-in-the-Head | Sophia Yakoubov Aarhus University |
Tuesday, September 30
| Time | Event | Speaker |
|---|---|---|
| 09:00 – 10:30 | Recursive Proofs (Part 2) | Benedikt Bünz New York University |
| 10:30 – 11:00 | Coffee Break | |
| 11:00 – 12:30 | STARK Proofs (Part 2) | TBA |
| 12:30 – 14:00 | Lunch Break | |
| 14:00 – 15:30 | MPC-in-the-Head (Part 2) | Sophia Yakoubov Aarhus University |
| 15:30 – 16:00 | Coffee Break | |
| 16:00 – 17:30 | Q&A and Practical Session |