Classically Verifiable NIZK for QMA with Preprocessing2023-01-250 PRE AI DOI:10.1007/978-3-031-22972-5_21原文链接原文求助分享收藏摘要 En