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

Algorithms for Searching, Sorting, and Indexing
University of Colorado Boulder via Coursera An Introduction to Cryptography
University of Leeds via FutureLearn An Introduction to Cryptography
University of Leeds via Coursera Applied Cryptography
University of Colorado System via Coursera Blockchain Security
Infosec via Coursera