Yao Ching Hsieh, Abhishek Jain 0002, Jiatu Li, Surya Mathialagan. SNARGs for NP from Unprovability of Mathematical Theorems (Or: How to Use the Simplicity of Cryptographic Reasoning). 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 31-41, ACM, 2026. [doi]
Abstract is missing.