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

View on Google Maps

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:00Welcome
09:00 – 10:30 Introduction to Proof Systems Arantxa Zapico
Ethereum Foundation
10:30 – 11:00Coffee Break
11:00 – 12:30 Recursive Proofs Benedikt Bünz
New York University
12:30 – 14:00Lunch Break
14:00 – 15:30 STARK Proofs TBA
15:30 – 16:00Coffee 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:00Coffee Break
11:00 – 12:30 STARK Proofs (Part 2) TBA
12:30 – 14:00Lunch Break
14:00 – 15:30 MPC-in-the-Head (Part 2) Sophia Yakoubov
Aarhus University
15:30 – 16:00Coffee Break
16:00 – 17:30Q&A and Practical Session