Prof. Yael Tauman Kalai explains the evolution of proofs in computer science, the power of interactive proofs, multi-prover interactive proofs, and probabilistically checkable proofs. She also shows how to use cryptography to convert these powerful proof systems into computationally sound non-interactive arguments (SNARGs).
MIT OpenCourseWare
New course! 𝗔𝗱𝘃𝗮𝗻𝗰𝗲𝗱 𝗧𝗼𝗽𝗶𝗰𝘀 𝗶𝗻 𝗖𝗿𝘆𝗽𝘁𝗼𝗴𝗿𝗮𝗽𝗵𝘆
Prof. Yael Tauman Kalai explains the evolution of proofs in computer science, the power of interactive proofs, multi-prover interactive proofs, and probabilistically checkable proofs. She also shows how to use cryptography to convert these powerful proof systems into computationally sound non-interactive arguments (SNARGs).
#SumCheckProtocol #Cryptography #InteractiveProofs #Engineering #ComputerScience #ElectricalEngineering #Probability #SNARGs #CryptographicProtocols
1 month ago | [YT] | 254