論文の概要: New Approaches for Quantum Copy-Protection
- arxiv url: http://arxiv.org/abs/2004.09674v7
- Date: Fri, 16 Oct 2020 06:05:36 GMT
- ステータス: 処理完了
- システム内更新日: 2023-05-22 22:36:55.986106
- Title: New Approaches for Quantum Copy-Protection
- Title(参考訳): 量子コピー保護への新しいアプローチ
- Authors: Scott Aaronson, Jiahui Liu, Qipeng Liu, Mark Zhandry, Ruizhe Zhang
- Abstract要約: 我々は、その入出力動作から学べないプログラムをコピーする方法を示す。
概して、ウォーターマーク可能なプログラムはどんなプログラムでもコピー検出できることが示される。
- 参考スコア(独自算出の注目度): 15.168166173606792
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Quantum copy protection uses the unclonability of quantum states to construct
quantum software that provably cannot be pirated. Copy protection would be
immensely useful, but unfortunately little is known about how to achieve it in
general. In this work, we make progress on this goal, by giving the following
results:
- We show how to copy protect any program that cannot be learned from its
input/output behavior, relative to a classical oracle. This improves on
Aaronson [CCC'09], which achieves the same relative to a quantum oracle. By
instantiating the oracle with post-quantum candidate obfuscation schemes, we
obtain a heuristic construction of copy protection.
-We show, roughly, that any program which can be watermarked can be copy
detected, a weaker version of copy protection that does not prevent copying,
but guarantees that any copying can be detected. Our scheme relies on the
security of the assumed watermarking, plus the assumed existence of public key
quantum money. Our construction is general, applicable to many recent
watermarking schemes.
- Abstract(参考訳): 量子コピー保護は、量子状態のunclonabilityを使用して、確実に海賊化できない量子ソフトウェアを構築する。
コピー保護は極めて有用だろうが、残念なことに一般にそれを実現する方法についてはほとんど知られていない。
この作業では、以下の結果を提供することで、この目標を前進させます。 - 私たちは、従来のオラクルと比較して、入出力動作から学べないプログラムをいかにコピーするかを示します。
これによりAaronson [CCC'09] が改善され、量子オラクルと同等の相対性が得られる。
量子化後候補の難読化スキームでオラクルをインスタンス化することで、コピー保護のヒューリスティックな構成が得られる。
-大まかに言えば、ウォーターマーク可能なプログラムはコピーを検出できるが、コピーを防止できるようなコピー保護の弱いバージョンは、コピーを検出できることを保証している。
我々の計画は、仮定された透かしのセキュリティと、公開鍵量子マネーの存在に依存する。
我々の設計は一般に、最近の多くの透かしスキームに適用できる。
関連論文リスト
- Revocable Encryption, Programs, and More: The Case of Multi-Copy Security [48.53070281993869]
復号化可能な暗号化や復号化可能なプログラムなど,復号化可能なプリミティブの実現可能性を示す。
これは、マルチコピーセキュリティというより強い概念が、制限不能な暗号において到達範囲内にあることを示唆している。
論文 参考訳(メタデータ) (2024-10-17T02:37:40Z) - Unclonable Cryptography with Unbounded Collusions and Impossibility of Hyperefficient Shadow Tomography [11.781645368622517]
我々は、最初の非有界コラシオン耐性(多重コピーセキュア)コピー保護スキームを与える。
i) 公開鍵暗号, (ii) 公開鍵関数暗号, (iii) 署名, (iv) 鍵が非有界共謀に対してコピー保護された擬似ランダム関数スキームを構築する。
論文 参考訳(メタデータ) (2023-11-30T07:36:42Z) - How to Use Quantum Indistinguishability Obfuscation [1.6298172960110866]
すべてのプログラムに対して「最良のコピー保護」を実現する方法を示す。
プログラムにqsiOを適用すると、即座に最良のコピー保護が得られることを示す。
また、単射一方向関数が存在すると仮定すると、qsiOは句読点プログラムの大規模なファミリーに対する具体的なコピープロテクションであることを示す。
論文 参考訳(メタデータ) (2023-11-13T23:07:25Z) - Simple Tests of Quantumness Also Certify Qubits [69.96668065491183]
量子性の検定は、古典的検証者が証明者が古典的でないことを(のみ)証明できるプロトコルである。
我々は、あるテンプレートに従う量子性のテストを行い、(Kalai et al., 2022)のような最近の提案を捉えた。
すなわち、同じプロトコルは、証明可能なランダム性や古典的な量子計算のデリゲートといったアプリケーションの中心にあるビルディングブロックであるqubitの認定に使用できる。
論文 参考訳(メタデータ) (2023-03-02T14:18:17Z) - Revocable Cryptography from Learning with Errors [61.470151825577034]
我々は、量子力学の非閉鎖原理に基づいて、キー呼び出し機能を備えた暗号スキームを設計する。
我々は、シークレットキーが量子状態として表現されるスキームを、シークレットキーが一度ユーザから取り消されたら、それらが以前と同じ機能を実行する能力を持たないことを保証して検討する。
論文 参考訳(メタデータ) (2023-02-28T18:58:11Z) - A Note on Copy-Protection from Random Oracles [7.129830575525267]
量子コピー保護は、ソフトウェアが違法に配布されるのを防ぐために、量子力学の非閉鎖原理を使用する。
コピー保護は平易なモデルでは達成できないことが示されるので、学習不能な関数の任意のクラスに対してコピー保護を構築するという問題について検討する。
論文 参考訳(メタデータ) (2022-08-26T22:40:07Z) - Quantum Proofs of Deletion for Learning with Errors [91.3755431537592]
完全同型暗号方式として, 完全同型暗号方式を初めて構築する。
我々の主要な技術要素は、量子証明器が古典的検証器に量子状態の形でのLearning with Errors分布からのサンプルが削除されたことを納得させる対話的プロトコルである。
論文 参考訳(メタデータ) (2022-03-03T10:07:32Z) - Quantum Multi-Solution Bernoulli Search with Applications to Bitcoin's
Post-Quantum Security [67.06003361150228]
作業の証明(英: proof of work、PoW)は、当事者が計算タスクの解決にいくらかの労力を費やしたことを他人に納得させることができる重要な暗号構造である。
本研究では、量子戦略に対してそのようなPoWの連鎖を見つけることの難しさについて検討する。
我々は、PoWs問題の連鎖が、マルチソリューションBernoulliサーチと呼ばれる問題に還元されることを証明し、量子クエリの複雑さを確立する。
論文 参考訳(メタデータ) (2020-12-30T18:03:56Z) - Quantum copy-protection of compute-and-compare programs in the quantum random oracle model [48.94443749859216]
計算・比較プログラム(Computer-and-compare program)として知られる回避関数のクラスに対する量子コピー保護スキームを導入する。
我々は,量子乱数オラクルモデル(QROM)において,完全悪意のある敵に対する非自明なセキュリティを実現することを証明した。
補完的な結果として、「セキュアソフトウェアリース」という,ソフトウェア保護の概念の弱さが示される。
論文 参考訳(メタデータ) (2020-09-29T08:41:53Z) - Secure Software Leasing [7.754062965937491]
SSL(Secure Software Leasing)という,ソフトウェア海賊行為に対処するための代替的定義を定式化します。
私たちの構築は、ソフトウェアによるアンチ海賊行為に対する具体的な暗号的仮定に基づく、証明可能な最初の安全なソリューションです。
正の結果を補完するため、暗号的仮定に基づいて、SSLが存在しない量子未学習関数のクラスが存在することを示す。
論文 参考訳(メタデータ) (2020-05-11T17:48:18Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。