Copertina

Separating Non-Interactive Classical Verification of Quantum Computation from Falsifiable Assumptions

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Barhoush, Mohammed, Morimae, Tomoyuki, Nishimaki, Ryo, Yamakawa, Takashi
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Quantum Physics Cryptography and Security
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

MicroCrypt Assumptions with Quantum Input Sampling and Pseudodeterminism: Constructions and Separations
di: Barhoush, Mohammed, et al.
Pubblicazione: (2025)

Quantum Public-Key Encryption with Tamper-Resilient Public Keys from One-Way Functions
di: Kitagawa, Fuyuki, et al.
Pubblicazione: (2023)

One-Wayness in Quantum Cryptography
di: Morimae, Tomoyuki, et al.
Pubblicazione: (2022)

Quantum Advantage from One-Way Functions
di: Morimae, Tomoyuki, et al.
Pubblicazione: (2023)

Certified Everlasting Secure Collusion-Resistant Functional Encryption, and More
di: Hiroka, Taiga, et al.
Pubblicazione: (2023)

Quantum Unpredictability
di: Morimae, Tomoyuki, et al.
Pubblicazione: (2024)

Quantum Cryptography and Hardness of Non-Collapsing Measurements
di: Morimae, Tomoyuki, et al.
Pubblicazione: (2025)

Unconditionally Secure Commitments with Quantum Auxiliary Inputs
di: Morimae, Tomoyuki, et al.
Pubblicazione: (2023)

A New World in the Depths of Microcrypt: Separating OWSGs and Quantum Money from QEFID
di: Behera, Amit, et al.
Pubblicazione: (2024)

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

A Simple Framework for Secure Key Leasing
di: Kitagawa, Fuyuki, et al.
Pubblicazione: (2024)

Exponential Quantum One-Wayness and EFI Pairs
di: Malavolta, Giulio, et al.
Pubblicazione: (2024)

CountCrypt: Quantum Cryptography between QCMA and PP
di: Goldin, Eli, et al.
Pubblicazione: (2024)

A Note on Output Length of One-Way State Generators and EFIs
di: Hhan, Minki, et al.
Pubblicazione: (2023)

Untelegraphable Encryption and its Applications
di: Champion, Jeffrey, et al.
Pubblicazione: (2024)

Proofs of quantum memory
di: Hhan, Minki, et al.
Pubblicazione: (2025)

Multi-Copy Security in Unclonable Cryptography
di: Çakan, Alper, et al.
Pubblicazione: (2025)

Quantum Cheques
di: Barhoush, Mohammed, et al.
Pubblicazione: (2024)

How to Sign Quantum Messages
di: Barhoush, Mohammed, et al.
Pubblicazione: (2023)

Powerful Primitives in the Bounded Quantum Storage Model
di: Barhoush, Mohammed, et al.
Pubblicazione: (2023)

Collusion-Resistant Quantum Secure Key Leasing Beyond Decryption
di: Kitagawa, Fuyuki, et al.
Pubblicazione: (2025)

One-out-of-Many Unclonable Cryptography: Definitions, Constructions, and More
di: Kitagawa, Fuyuki, et al.
Pubblicazione: (2023)

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

Hardness of Quantum Distribution Learning and Quantum Cryptography
di: Hiroka, Taiga, et al.
Pubblicazione: (2025)

On the Impossibility of Simulation Security for Quantum Functional Encryption
di: Barhoush, Mohammed, et al.
Pubblicazione: (2026)

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

Separating Pseudorandom Generators from Logarithmic Pseudorandom States
di: Barhoush, Mohammed
Pubblicazione: (2025)

Classical Verification of Quantum Computations in Linear Time
di: Zhang, Jiayu
Pubblicazione: (2022)

The Round Complexity of Black-Box Post-Quantum Secure Computation
di: Chatterjee, Rohit, et al.
Pubblicazione: (2025)

Anonymous Public-Key Quantum Money and Quantum Voting
di: Cakan, Alper, et al.
Pubblicazione: (2024)

Quantum Complexity for Discrete Logarithms and Related Problems
di: Hhan, Minki, et al.
Pubblicazione: (2023)

Verifiable Quantum Advantage without Structure
di: Yamakawa, Takashi, et al.
Pubblicazione: (2022)

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

Towards Classical Software Verification using Quantum Computers
di: Issel, Sebastian, et al.
Pubblicazione: (2024)

Cryptographic Conditions for Efficient Testing of Distributions and Quantum States
di: Cavalar, Bruno, et al.
Pubblicazione: (2025)

Single-Round Proofs of Quantumness from Knowledge Assumptions
di: Arabadjieva, Petia, et al.
Pubblicazione: (2024)

Entropy Accumulation under Post-Quantum Cryptographic Assumptions
di: Merkulov, Ilya, et al.
Pubblicazione: (2023)

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

Quantum Lifting for Invertible Permutations and Ideal Ciphers
di: Cojocaru, Alexandru, et al.
Pubblicazione: (2025)

Computational Monogamy of Entanglement and Non-Interactive Quantum Key Distribution
di: Grilo, Alex B., et al.
Pubblicazione: (2025)