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

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: 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 Accumulation schemes for IVC Benedikt Bünz
New York University
12:30 – 14:00Lunch Break
14:00 – 15:30 Introduction to zk-STARKs Alan Szepieniec
Neptune Cash
15:30 – 16:00Coffee 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 Accumulation schemes for IVC Benedikt Bünz
New York University
10:30 – 11:00Coffee Break
11:00 – 12:30 Introduction to zk-STARKs Alan Szepieniec
Neptune Cash
12:30 – 14:00Lunch Break
14:00 – 15:30 Secure Multiparty Computation and its applications to Zero Knowledge Proofs Sophia Yakoubov
Aarhus University
15:30 – 16:00Coffee Break
16:00 – 17:30Q&A and Practical Session

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. If it is your case, please fill out this form as soon as possible

See also the Call for posters at Latincrypt