Watermarking PRFs Against Quantum Adversaries
Fuyuki Kitagawa, Ryo Nishimaki
Abstract
We initiate the study of software watermarking against quantum adversaries. A quantum adversary generates a quantum state as a pirate software that potentially removes an embedded message from a classical marked software. Extracting an embedded message from quantum pirate software is difficult since measurement could irreversibly alter the quantum state. In software watermarking against classical adversaries, a message extraction algorithm crucially uses the (input-output) behavior of a classical pirate software to extract an embedded message. Even if we instantiate existing watermarking PRFs with quantum-safe building blocks, it is not clear whether they are secure against quantum adversaries due to the quantum-specific property above. Thus, we need entirely new techniques to achieve software watermarking against quantum adversaries.
In this work, we define secure watermarking PRFs for quantum adversaries (unremovability against quantum adversaries). We also present two watermarking PRFs as follows.
• We construct a privately extractable watermarking PRF against quantum adversaries from the quantum hardness of the learning with errors (LWE) problem. The marking and extraction algorithms use a public parameter and a private extraction key, respectively. The watermarking PRF is unremovable even if adversaries have (the public parameter and) access to the extraction oracle, which returns a result of extraction for a queried quantum circuit.
• We construct a publicly extractable watermarking PRF against quantum adversaries from indistinguishability obfuscation (IO) and the quantum hardness of the LWE problem. The marking and extraction algorithms use a public parameter and a public extraction key, respectively. The watermarking PRF is unremovable even if adversaries have the extraction key (and the public parameter).
We develop a quantum extraction technique to extract information (a classical string) from a quantum state without destroying the state too much. We also introduce the notion of extraction-less watermarking PRFs as a crucial building block to achieve the results above by combining the tool with our quantum extraction technique.
Ask about this paper
Your agent reads all of it.
Lune indexed this paper to the last equation, along with the top-tier papers that cite it. Ask a question and the answer quotes them.
Your agent calls
Luneget_paper_fulltext
Free to start. No credit card required.
Terminal
Install the CLIlune papers fulltext fe15a980-a627-40f2-bf7a-dbd343627375Cited by top-tier papers3
- Obfuscation of Pseudo-Deterministic Quantum CircuitsJames Bartusek, Fuyuki Kitagawa, Ryo Nishimaki, Takashi YamakawaSTOC 2023 · 23 citations
- Public Key Encryption with Secure Key LeasingShweta Agrawal, Fuyuki Kitagawa, Ryo Nishimaki, Shota Yamada et al.EUROCRYPT 2023 · 22 citations
- Collusion-Resistant Quantum Secure Key Leasing Beyond DecryptionFuyuki Kitagawa, Ryo Nishimaki, Nikhil PappuEUROCRYPT 2026
Builds on8
- Indistinguishability obfuscation from circular securityRomain Gay, Rafael PassSTOC 2021 · 78 citations
- Candidate Obfuscation via Oblivious LWE SamplingHoeteck Wee, Daniel WichsEUROCRYPT 2021 · 78 citations
- Indistinguishability Obfuscation Without Maps: Attacks and Fixes for Noisy Linear FEShweta Agrawal, Alice Pellet-MaryEUROCRYPT 2020 · 51 citations
- Secure Software LeasingPrabhanjan Ananth, Rolando L. La PlacaEUROCRYPT 2021 · 51 citations
- New Approaches for Quantum Copy-ProtectionScott Aaronson, Jiahui Liu, Qipeng Liu, Mark Zhandry et al.CRYPTO 2021 · 47 citations
Related papers
- Public-Key Watermarking Schemes for Pseudorandom FunctionsRupeng Yang, Zuoxia Yu, Man Ho Au, Willy SusiloCRYPTO 2022 · 5 citations
- Collusion Resistant Watermarkable PRFs from Standard AssumptionsRupeng Yang, Man Ho Au, Zuoxia Yu, Qiuliang XuCRYPTO 2020 · 16 citations
- Software with Certified DeletionJames Bartusek, Vipul Goyal, Dakshita Khurana, Giulio Malavolta et al.EUROCRYPT 2024 · 13 citations
- On the Cryptographic Futility of Non-collapsing MeasurementsAlper Çakan, Dakshita Khurana, Tomoyuki Morimae, Yuki Shirakawa et al.EUROCRYPT 2026 · 1 citation
- A Unified Approach to Quantum Key Leasing with a Classical LessorFuyuki Kitagawa, Jiahui Liu, Shota Yamada, Takashi YamakawaCRYPTO 2026
