Lecture 1: Interactive Proofs and the Sum-Check Protocol, Part 1

Автор: MIT OpenCourseWare

Загружено: 2025-01-29

Просмотров: 102342

Описание: MIT 6.5630 Advanced Topics in Cryptography, Fall 2023
Instructor: Yael T. Kalai

View the complete course: https://ocw.mit.edu/courses/6-5630-ad...
YouTube Playlist: • MIT 6.5630 Advanced Topics in Cryptography...

This lecture covers the topics, including definition of interactive proofs (IP), the sum-check Protocol, and the application of interactive proof for #SAT.

License: Creative Commons BY-NC-SA
More information at https://ocw.mit.edu/terms
More courses at https://ocw.mit.edu
Support OCW at http://ow.ly/a1If50zVRlQ

We encourage constructive comments and discussion on OCW’s YouTube and other social media channels. Personal attacks, hate speech, trolling, and inappropriate comments are not allowed and may be removed. More details at https://ocw.mit.edu/comments.

Speakers: Yael T. Kalai

Не удается загрузить Youtube-плеер. Проверьте блокировку Youtube в вашей сети.
Повторяем попытку...

Lecture 1: Interactive Proofs and the Sum-Check Protocol, Part 1

Доступные форматы для скачивания:

Скачать видео

Информация по загрузке:

Скачать аудио

Похожие видео

Lecture 1: Interactive Proofs and the Sum-Check Protocol, Part 2

Lecture 1: Interactive Proofs and the Sum-Check Protocol, Part 2

Lecture 1: Pigeonhole Principle

Lecture 1: Pigeonhole Principle

Terence Tao on the cosmic distance ladder

Terence Tao on the cosmic distance ladder

Lecture 2: Doubly Efficient Interactive Proofs, Part 1

Lecture 2: Doubly Efficient Interactive Proofs, Part 1

Stanford CS230 | Autumn 2025 | Lecture 1: Introduction to Deep Learning

Stanford CS230 | Autumn 2025 | Lecture 1: Introduction to Deep Learning

Deep Dive into LLMs like ChatGPT

Deep Dive into LLMs like ChatGPT

Почему Питер Шольце — математик, каких бывает раз в поколение?

Почему Питер Шольце — математик, каких бывает раз в поколение?

How to Speak

Криптография на основе решеток: сложная математика точек

Криптография на основе решеток: сложная математика точек

Lecture 1: Predicates, Sets, and Proofs

Lecture 1: Predicates, Sets, and Proofs

Доказательство с нулевым разглашением (с Ави Вигдерсоном) — Numberphile

Доказательство с нулевым разглашением (с Ави Вигдерсоном) — Numberphile

Why It Was Almost Impossible To Make Transistors Less Than 10 nm

Why It Was Almost Impossible To Make Transistors Less Than 10 nm

1. Introduction to 'The Society of Mind'

1. Introduction to 'The Society of Mind'

Stanford CS229 I Machine Learning I Building Large Language Models (LLMs)

Stanford CS229 I Machine Learning I Building Large Language Models (LLMs)

1. Introduction to the Human Brain

1. Introduction to the Human Brain

Теорема Байеса, геометрия изменения убеждений

Теорема Байеса, геометрия изменения убеждений

Каково это — изобретать математику?

Каково это — изобретать математику?

Why Going to Mars Is PHYSICALLY IMPOSSIBLE | Brian Cox

Why Going to Mars Is PHYSICALLY IMPOSSIBLE | Brian Cox

2025 MIT Integration Bee - Finals

2025 MIT Integration Bee - Finals

Что такое генеративный ИИ и как он работает? – Лекции Тьюринга с Миреллой Лапатой

Что такое генеративный ИИ и как он работает? – Лекции Тьюринга с Миреллой Лапатой