Lecture 1: Interactive Proofs and the Sum-Check Protocol, Part 1
ฝัง
- เผยแพร่เมื่อ 5 ก.พ. 2025
- MIT 6.5630 Advanced Topics in Cryptography, Fall 2023
Instructor: Yael T. Kalai
View the complete course: ocw.mit.edu/co...
TH-cam Playlist: • MIT 6.5630 Advanced To...
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 ocw.mit.edu/terms
More courses at ocw.mit.edu
Support OCW at ow.ly/a1If50zVRlQ
We encourage constructive comments and discussion on OCW’s TH-cam and other social media channels. Personal attacks, hate speech, trolling, and inappropriate comments are not allowed and may be removed. More details at ocw.mit.edu/co....
Speakers: Yael T. Kalai
"This course is easy, you don't need any background knowledge"
Two minutes later
"The verifier should be efficient, think efficient in terms of polynomial time"
Oh how I missed uni
Because she talks to students with the needed background. Anyone in CS and don't know what polynomial time is.. that's a disaster
@0xNerdism yeah I was a disaster
Best course online on cryptography
lecture starts @ 3:53
❤
We are here for the lecturer, not for the lecture
I am not surprised@@ardarico
Thank you for posting
I remember her talk in STOC2022. Can't forget. Happy to see another lecture from her.
I’m not sure what we’re proofing but I can’t stop watching
brooo 😂
Well done, scientist! Even this ‘old girl’ gets it 💜💃🏻⚖️ 🤓 🤟 thank you for posting, we have science now! 🎉
10:59 NP… 🤔 love it! I must google this stuff…
14:16 exactly, my ‘feeling’ as well… precomp is useless, and every interaction is made AT DECISION TIME… not a ‘pre-compiled path’ 🤔 just IMHO
3:53Sum check protocol/Interactive Proofs
10:55 NP what is
new course just dropped
🎉🎉
I feel validated after reading the comments. 😅
The camera should focus on the board and not on Yael.
The cameras at this point are controlled by a.i.
HeHeeeHeeeee
Watched a lot of these and grounding the examples would have helped a lot. For example actually show some matrix with content. You can see from the questios, for example .is H..0,1,2.
MITOCW rules.
Can I get a possible release date for video lectures of 5.12 ❤
Polomonium squeezing a square for time..energy evaporate...temperatures a drying problem.
Is it a standard statement?
How do I count this on my fingers?
Timestamp please
My brain is hacked
Ion know what's goin on I'm juss listening to this while playing heavenly bodies
Like it's all gibberish to me.
I love it
i wanna get into mit in 2027 god willing, so wait for me and
You’re already on a great start, keep going and you got this.
@@sehajsinghreal thank i m a foreign student and my dream is to continue my studies in usa at mit cause america is the greatest country ever and MIT is the best uni so thank you again
thier not that great at cross discipline applications.
machine pac, advanced energy modelling , gravitational lensing statements and ramsey number theory make em bugeyed.
Something about your choice of pfp tells me you will get in. All the best buddy
@@ishaankulkarni49 thx
Class of 2030
✋Im not an MIT student.
just say no. Wth
Math so complex it doesn't use numbers or formulas...
MIT is a trade school,you can all do better
She’s all over the place. Hard to focus
I need everything money 😭
First!
Just go experience life and grow normally kids. All these drawings ain't gon mean nothing by the time your a year out here in the real world.
There are important things in the world that need smart people who understand this stuff. I'm not one of those people but I'm grateful for their existence because somebody has to do it.
I am a MIT Asprient😢
her voice 😷!!!