AI Engineer - Learn how to integrate AI into software applications
40% Off Career-Building Certificates
Overview
Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Explore an invited talk at Real World Crypto (RWC) 2025 where Yael Kalai presents "Compressing Proofs using Cryptography: A Triumph of Theory and Practice." Chaired by Martin Albrecht, this 30-minute presentation delves into cryptographic techniques for proof compression, demonstrating the successful intersection of theoretical concepts and practical applications in the field. For more comprehensive information, including abstracts and contributing authors, visit the official RWC 2025 program page.
Syllabus
Invited talk by Yael Kalai (RWC 2025)
Taught by
TheIACR