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

Networking with Python: Socket Programming for Communication
Raspberry Pi Foundation via FutureLearn
Partially Specified Channels- The TLS 1.3 Record Layer Without Elision
Association for Computing Machinery (ACM) via YouTube
Asiacrypt 2022 Real World Protocols
TheIACR via YouTube
Blazing Fast OT for Three-Round UC OT Extension
TheIACR via YouTube
Broadcast-Optimal Two-Round MPC
TheIACR via YouTube