У нас вы можете посмотреть бесплатно Plenary Lecture by Prof Yael Kalai at GYSS 2025 или скачать в максимальном доступном качестве, видео которое было загружено на ютуб. Для загрузки выберите вариант из формы ниже:
Если кнопки скачивания не
загрузились
НАЖМИТЕ ЗДЕСЬ или обновите страницу
Если возникают проблемы со скачиванием видео, пожалуйста напишите в поддержку по адресу внизу
страницы.
Спасибо за использование сервиса ClipSaver.ru
Compressing Proofs Using Cryptography What if you could take a proof and make it significantly shorter? Prof Yael Kalai, winner of the 2022 ACM Prize in Computing, posed this question in her plenary lecture that outlined how this can be achieved using cryptographic magic. She started with a brief overview of the evolution of proofs in computer science, before showing the audience how this beautiful theory, when combined with cryptographic methods, can be used to compress proofs.