AI Engineer - Learn how to integrate AI into software applications
Python, Prompt Engineering, Data Science — Build the Skills Employers Want Now
Overview
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
Delve into the second part of a lecture on Interactive Proofs presented by Justin Thaler from Georgetown University at the Simons Institute. Explore key concepts such as the Arithmetician protocol, Sharpset, and doubly efficient interactive proofs. Examine the process of counting triangles and learn about general-purpose interactive proofs, including the Rango protocol. Discuss the limitations of these protocols and gain a comprehensive understanding of various interactive proof systems. This talk, part of the Proofs, Consensus, and Decentralizing Society Boot Camp, builds upon previous knowledge and provides an in-depth analysis of advanced topics in the field of interactive proofs.
Syllabus
Recap
Problem Description
Arithmetician
Summary
Sharpset
doubly efficient
subject protocol
counting triangles
interactive proof
general purpose interactive proofs
Rango
Limitations
Protocols
Taught by
Simons Institute