SNARGs for NP from Unprovability of Mathematical Theorems (Yao-Ching Hsieh, Abhishek Jain, Jiatu Li, Surya Mathialagan) ia.cr/2026/1180
2 reposts2 likes
SNARGs for NP from Unprovability of Mathematical Theorems (Yao-Ching Hsieh, Abhishek Jain, Jiatu Li, Surya Mathialagan) ia.cr/2026/1180
2 reposts2 likes
No replies yet.