Tomoyuki Morimae, Takashi Yamakawa. Classically Verifiable NIZK for QMA with Preprocessing. In Shweta Agrawal, Dongdai Lin, editors, Advances in Cryptology - ASIACRYPT 2022 - 28th International Conference on the Theory and Application of Cryptology and Information Security, Taipei, Taiwan, December 5-9, 2022, Proceedings, Part IV. Volume 13794 of Lecture Notes in Computer Science, pages 599-627, Springer, 2022. [doi]
Abstract is missing.