9 citations · 33 across the 26 of their papers we have counts for
3 papers · 1 filter
Quantum Pessiland
Boyang Chen, Tomoyuki Morimae, Takashi Yamakawa
Pessiland is a world where NP is hard on average but one-way functions (OWFs) do not exist [Impagliazzo 1995]. Because almost all classical cryptographic primitives imply OWFs [Imp…
Separating Quantum Indistinguishability Obfuscation from Falsifiable Assumptions
Mohammed Barhoush, Tomoyuki Morimae, Ramis Movassagh
Quantum indistinguishability obfuscation (qIO) aims to make a quantum circuit unintelligible while preserving its functionality. It serves as a foundational primitive for advanced…
Separating Non-Interactive Classical Verification of Quantum Computation from Falsifiable Assumptions
Mohammed Barhoush, Tomoyuki Morimae, Ryo Nishimaki +1
Mahadev [SIAM J. Comput. 2022] introduced the first protocol for classical verification of quantum computation based on the Learning-with-Errors (LWE) assumption, achieving a 4-mes…