Lalita Devadas, Samuel B. Hopkins 0001, Yael Tauman Kalai, Pravesh K. Kothari, Alex Lombardi, Surya Mathialagan. SNARGs for NP and Non-signaling PCPs, Revisited. In Aditya Bhaskara, Artur Czumaj, editors, Proceedings of the 58th Annual ACM Symposium on Theory of Computing, STOC 2026, Salt Lake City, UT, USA, June 22-26, 2026. pages 665-674, ACM, 2026. [doi]
Abstract is missing.