SNARGs for NP from Unprovability of Mathematical Theorems (Or: How to Use the Simplicity of Cryptographic Reasoning).

Yao-Ching Hsieh, Abhishek Jain, Jiatu Li, Surya Mathialagan

Browse the full STOC paper archive.