共 50 条
- [32] Interactive Oracle Arguments in the QROM and Applications to Succinct Verification of Quantum Computation TOPICS IN CRYPTOLOGY, CT-RSA 2024, 2024, 14643 : 404 - 429
- [36] Lookup Arguments: Improvements, Extensions and Applications to Zero-Knowledge Decision Trees PUBLIC-KEY CRYPTOGRAPHY, PT II, PKC 2024, 2024, 14602 : 337 - 369
- [37] MIRAGE: Succinct Arguments for Randomized Algorithms with Applications to Universal zk-SNARKs PROCEEDINGS OF THE 29TH USENIX SECURITY SYMPOSIUM, 2020, : 2129 - 2146
- [38] Baer meets Baire: Applications of category arguments and descriptive set theory to Z(No) ABELIAN GROUPS AND MODULES: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE AT COLORADO SPRINGS, 1996, 182 : 193 - 202
- [40] Rate-1 Non-Interactive Arguments for Batch-NP and Applications 2022 IEEE 63RD ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE (FOCS), 2022, : 1057 - 1068