Provable Instantiations of Correlation Intractability and the Fiat-Shamir Heuristic

Interactive proof systems, introduced in a seminal work of Goldwasser, Micali, and Rackoff, have become one of the most powerful and flexible tools in cryptography and computer science at large. They have directly led to some of the biggest breakthroughs in theoretical cryptography, complexity, and...

Full description

Bibliographic Details
Main Author: Lombardi, Alex
Other Authors: Vaikuntanathan, Vinod
Format: Thesis
Published: Massachusetts Institute of Technology 2023
Online Access:https://hdl.handle.net/1721.1/147579