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.
How to Do Fiat-Shamir in the Standard Model
Overview
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
-
From Obfuscation to the Security of Fiat Shamir for Proofs
-
Transparent SNARKs from DARK Compilers
-
Efficient Zero-Knowledge Proofs: A Modular Approach
-
Non-Interactive Zero-Knowledge in Pairing-Free Groups from Weaker Assumptions
-
Fully Linear PCPs and Their Cryptographic Applications
-
Non-Interactive Zero Knowledge: Adaptive Security and Challenges - Asiacrypt 2022
