YoVDO

How to Do Fiat-Shamir in the Standard Model

Offered By: Simons Institute via YouTube

Tags

Cryptography Courses Theoretical Computer Science Courses Hash Functions Courses Protocol Design Courses Probabilistically Checkable Proofs Courses Interactive Proof Systems Courses

Course Description

Overview

Explore the intricacies of Fiat-Shamir transformation in the standard model through this comprehensive lecture by Alex Lombardi from MIT. Delve into interactive protocols, delegation, security, hash functions, and correlation intractability. Examine positive results, assumptions, and non-interactive delegation proofs. Gain insights into delegation results and trapdoor protocols. Enhance your understanding of probabilistically checkable and interactive proof systems in this 1-hour 10-minute talk presented at the Simons Institute.

Syllabus

Introduction
Interactive Protocols
Why FiatShamir
Delegation
Security
Hash Functions
Correlation Intractability
Proof
Question
Positive Results
Assumptions
Noninteractive delegation
Proofs
Delegation Results
Trapdoor Protocols


Taught by

Simons Institute

Related Courses

Applied Cryptography
University of Virginia via Udacity Cryptography II
Stanford University via Coursera Coding the Matrix: Linear Algebra through Computer Science Applications
Brown University via Coursera Cryptography I
Stanford University via Coursera Unpredictable? Randomness, Chance and Free Will
National University of Singapore via Coursera