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

Crash Course on Probabilistically Checkable Proofs - PCP
Simons Institute via YouTube
Crash Course on Probabilistically Checkable Proofs - Introduction
Simons Institute via YouTube
Fully Linear PCPs and Their Cryptographic Applications
Simons Institute via YouTube
How to Delegate Computations Publicly
Simons Institute via YouTube
Transparent SNARKs from DARK Compilers
Simons Institute via YouTube