Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
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.
