- Equivalence between Restricted Non-interactive Statistical Zero-knowledge Classes
- Project Year:
2022
- REU Student (s):
Jacob Gray | University of Massachusetts-Amherst MA
| Pengxiang Wang | University of Michigan-Ann Arbor MI
- Student 1 Institution:
University of Massachusetts-Amherst
- Student 2 Institution:
University of Michigan-Ann Arbor
- Project Mentor:
Eric Allender
- Project Mentor Area:
Computer Science
- Project Abstract:
This project primarily focused on the class NISZK_L, introduced in a paper from 2020 done with REU students and Eric Allender. Little was known about this class beyond the results in that paper and results from REU students the following summer, mainly comprising of two complete problems, hardness results relating to MKTP, and equivalence to a weaker subclass of NISZK, NISKZ_AC^0. This summer, we expanded these results to primarily show equivalences between NISZK_AC^0, NISZK_L, and NISZK_PM, among an array of other related results.
