Cover Image

Compiling Any $\mathsf{MIP}^{*}$ into a (Succinct) Classical Interactive Argument

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Huang, Andrew, Kalai, Yael Tauman
Format:	Preprint
Published:	2025
Subjects:	Quantum Physics Cryptography and Security
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Parallel Repetition for Post-Quantum Arguments
by: Huang, Andrew, et al.
Published: (2025)

How to Classically Verify a Quantum Cat without Killing It
by: Kalai, Yael Tauman, et al.
Published: (2026)

Quantum Rewinding for IOP-Based Succinct Arguments
by: Chiesa, Alessandro, et al.
Published: (2024)

Efficiently Batching Unambiguous Interactive Proofs
by: Berger, Bonnie, et al.
Published: (2025)

Succinct arguments for QMA from standard assumptions via compiled nonlocal games
by: Metger, Tony, et al.
Published: (2024)

Founding Quantum Cryptography on Quantum Advantage, or, Towards Cryptography from $\mathsf{\#P}$-Hardness
by: Khurana, Dakshita, et al.
Published: (2024)

Separating Non-Interactive Classical Verification of Quantum Computation from Falsifiable Assumptions
by: Barhoush, Mohammed, et al.
Published: (2026)

Ciphertext-Policy ABE for $\mathsf{NC}^1$ Circuits with Constant-Size Ciphertexts from Succinct LWE
by: Liu, Jiaqi, et al.
Published: (2026)

Protecting Quantum Circuits Through Compiler-Resistant Obfuscation
by: Parayil, Pradyun, et al.
Published: (2025)

Classical Commitments to Quantum States
by: Gunn, Sam, et al.
Published: (2024)

TetrisLock: Quantum Circuit Split Compilation with Interlocking Patterns
by: Wang, Qian, et al.
Published: (2025)

Clifford Strategies in Interactive Protocols are Classically Simulatable
by: Shalit, Itay
Published: (2024)

OPAQUE: Obfuscating Phase in Quantum Circuit Compilation for Efficient IP Protection
by: Rehman, Anees, et al.
Published: (2025)

From Worst-Case Hardness of $\mathsf{NP}$ to Quantum Cryptography via Quantum Indistinguishability Obfuscation
by: Morimae, Tomoyuki, et al.
Published: (2025)

Security Evaluation of Quantum Circuit Split Compilation under an Oracle-Guided Attack
by: Zhang, Hongyu, et al.
Published: (2025)

Anonymous Quantum Tokens with Classical Verification
by: Gavinsky, Dmytro, et al.
Published: (2025)

Cryptography: Classical versus Post-Quantum
by: Awasthi, Abhinav, et al.
Published: (2024)

Quantum Key Leasing for PKE and FHE with a Classical Lessor
by: Chardouvelis, Orestis, et al.
Published: (2023)

A Unified Approach to Quantum Key Leasing with a Classical Lessor
by: Kitagawa, Fuyuki, et al.
Published: (2025)

Quantum State Obfuscation from Classical Oracles
by: Bartusek, James, et al.
Published: (2024)

Classical Verification of Quantum Computations in Linear Time
by: Zhang, Jiayu
Published: (2022)

Impersonating Quantum Secrets over Classical Channels
by: Qian, Luowen, et al.
Published: (2026)

On the Equivalence between Classical Position Verification and Certified Randomness
by: Kaleoglu, Fatih, et al.
Published: (2024)

Post Quantum Cryptography and its Comparison with Classical Cryptography
by: Tripathi, Tanmay, et al.
Published: (2024)

A Simple and Efficient One-Shot Signature Scheme
by: Huang, Andrew, et al.
Published: (2025)

A Hybrid Classical-Quantum Rainbow Table Attack on Human Passwords
by: Khajeian, MA.
Published: (2025)

On One-Shot Signatures, Quantum vs Classical Binding, and Obfuscating Permutations
by: Shmueli, Omri, et al.
Published: (2025)

Public-Key Quantum Fire and Key-Fire From Classical Oracles
by: Çakan, Alper, et al.
Published: (2025)

Quantum Opacity, Classical Clarity: A Hybrid Approach to Quantum Circuit Obfuscation
by: Raj, Amal, et al.
Published: (2025)

A Hybrid Encryption Framework Combining Classical, Post-Quantum, and QKD Methods
by: Raj, Amal, et al.
Published: (2025)

A Quantum Approach For Reducing Communications in Classical Secure Computations with Long Outputs
by: Zhang, Jiayu
Published: (2023)

Quantum AI for Cybersecurity: A hybrid Quantum-Classical models for attack path analysis
by: Sciammarelli, Jessica A., et al.
Published: (2026)

A New Approach to Generic Lower Bounds: Classical/Quantum MDL, Quantum Factoring, and More
by: Hhan, Minki
Published: (2024)

Resource Reduction in Multiparty Quantum Secret Sharing of both Classical and Quantum Information under Noisy Scenario
by: Basak, Nirupam, et al.
Published: (2025)

Computational Certified Deletion Property of Magic Square Game and its Application to Classical Secure Key Leasing
by: Takeuchi, Yuki, et al.
Published: (2025)

Multi-Layered Security System: Integrating Quantum Key Distribution with Classical Cryptography to Enhance Steganographic Security
by: Sykot, Arman, et al.
Published: (2024)

Quantitative Quantum Soundness for Bipartite Compiled Bell Games via the Sequential NPA Hierarchy
by: Klep, Igor, et al.
Published: (2025)

QCIVET: A Quantum--Classical Pipeline Integrity Framework with Contract-Based Subtype Verification and Hash-Chained Audit Traces
by: Yeniaras, Esra, et al.
Published: (2026)

Classical vs Quantum Advice and Proofs under Classically-Accessible Oracle
by: Li, Xingjian, et al.
Published: (2023)

Cryptography without Long-Term Quantum Memory and Global Entanglement: Classical Setups for One-Time Programs, Copy Protection, and Stateful Obfuscation
by: Stambler, Lev
Published: (2025)