Hard languages in NP \(\cap\) coNP and NIZK proofs from unstructured hardness. (English) Zbl 07844668
Saha, Barna (ed.) et al., Proceedings of the 55th annual ACM SIGACT symposium on theory of computing, STOC ’23, Orlando, FL, USA, June 20–23, 2023. New York, NY: Association for Computing Machinery (ACM). 1243-1256 (2023).
MSC:
68Qxx