Advanced Topics in Cryptography

Lecture 9: BARGs Implies SNARGs and Connection to Non-signaling PCPs

Topics

• Hash & BARG paradigm for constructing SNARGs
• Local soundness
• Local soundness implies correctness only if the language has a (computational) non-signaling PCP.

Readings

• A. R. Choudhuri, A. Jain, and Z. Jin, “SNARGs for  P  from LWE (PDF),” 2021 IEEE 62nd Annual Symposium on Foundations of Computer Science (FOCS), Denver, CO, USA, 2022, pp. 68–79, doi: 10.1109/FOCS52979.2021.00016.
• Y.T. Kalai, V. Vaikuntanathan, and R. Y. Zhang, “Somewhere Statistical Soundness, Post-Quantum Security, and SNARGs (PDF).” Theory of Cryptography: 19th International Conference, TCC 2021, Raleigh, NC, USA, November 8–11, 2021, Proceedings, Part I, pp. 330–368.

Lecture Videos

Part 1

Part 2