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 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.
翻译:我们开始对量子对手进行软件水分标记研究。 量子对手产生量子状态, 有可能从古典标志软件中去除嵌入的信息。 从量子海盗软件中提取嵌入的信息很困难, 因为测量可能不可逆转地改变量子状态。 在这项工作中, 我们为量子对手定义了安全的水分标记PRF( 无法反量子对手) 。 我们还提出了以下两个水分标记PRF 。 - 我们用错误的学习( LWE) 问题构建了可私下提取的水分标记PRF。 标记和提取算法分别使用公共参数和私人块提取键。 水分标记和提取算法使用公共参数和硬键的混合键子键子。 即使对手( 公共参数和) 也可以为量子电路路路进行提取。 我们用不可移动的量子标法, 也用一个不可移动的量子提取法, 我们的提法的提法, 也用一个不可移动的量子提取法, 我们的提法的提法, 我们的提法的提法的提法, 我们的提法的提法 的提法 的提法 的提法的提法, 我们的提法的量法的提法的提法 的提法 的提法, 我们的提法的提法的提法, 的提法的提法的提法的提法, 我们的量法, 的提法, 我们的提法的提法, 的提法的提法的提法的提法的提法的提法, 我们的提法的提法, 的提法的提法的提法, 我们的提法的提法的提法的提法, 的提法, 我们的提法的提法的提法的提法, 的提法的提法的提法的提法, 我们的提法, 我们的提法, 我们的提法的提法的提法的提法, 我们的提法, 我们的提法, 我们的提法, 我们的提法, 我们的提法, 我们的提法的提法, 我们的提法的提法, 的定的定的量法的量法, 的量法的提法的提法