Toward improved non-interactive proof systems
Name
kwon-sophiak-meng-eecs-2023-thesis.pdf
Description
Thesis PDF
Size
343.84 KB
Format
Adobe PDF
Checksum (MD5)
5e4f46e62406f30b1caffdc9a68ffb6c
Author(s)
Kwon, Sophia Seoyoung
Advisor(s)
Williams, R. Ryan
Date Issued
June 2023
Publisher
Massachusetts Institute of Technology
Abstract
The study of non-interactive proof systems, such as Merlin-Arthur proof systems and probabilistically checkable proofs, can yield insights into problems for which we do not yet have efficient algorithms. This work compiles many recent results in improved non-interactive proof systems–primarily Merlin-Arthur protocols for problems studied in the field of fine-grained complexity–and proposes a construction for interesting Merlin-Arthur protocols for any problem from an efficiently constructable PCP for the same.
MIT Department
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Terms of Use
In Copyright - Educational Use Permitted
Copyright retained by author(s)
Persistent DSpace Link
