論文の概要: How to Use Quantum Indistinguishability Obfuscation
- arxiv url: http://arxiv.org/abs/2311.07794v3
- Date: Fri, 3 May 2024 01:00:27 GMT
- ステータス: 処理完了
- システム内更新日: 2024-05-06 17:57:01.993843
- Title: How to Use Quantum Indistinguishability Obfuscation
- Title（参考訳）: 量子不特定性難読化の使い方
- Authors: Andrea Coladangelo, Sam Gunn,
- Abstract要約: すべてのプログラムに対して「最良のコピー保護」を実現する方法を示す。
プログラムにqsiOを適用すると、即座に最良のコピー保護が得られることを示す。
また、単射一方向関数が存在すると仮定すると、qsiOは句読点プログラムの大規模なファミリーに対する具体的なコピープロテクションであることを示す。
- 参考スコア（独自算出の注目度）: 1.6298172960110866
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Quantum copy protection, introduced by Aaronson, enables giving out a quantum program-description that cannot be meaningfully duplicated. Despite over a decade of study, copy protection is only known to be possible for a very limited class of programs. As our first contribution, we show how to achieve "best-possible" copy protection for all programs. We do this by introducing quantum state indistinguishability obfuscation (qsiO), a notion of obfuscation for quantum descriptions of classical programs. We show that applying qsiO to a program immediately achieves best-possible copy protection. Our second contribution is to show that, assuming injective one-way functions exist, qsiO is concrete copy protection for a large family of puncturable programs -- significantly expanding the class of copy-protectable programs. A key tool in our proof is a new variant of unclonable encryption (UE) that we call coupled unclonable encryption (cUE). While constructing UE in the standard model remains an important open problem, we are able to build cUE from one-way functions. If we additionally assume the existence of UE, then we can further expand the class of puncturable programs for which qsiO is copy protection. Finally, we construct qsiO relative to an efficient quantum oracle.
- Abstract（参考訳）: アーロンソンによって導入された量子コピー保護は、有意義に複製できない量子プログラム記述を発行することができる。
10年以上の研究にもかかわらず、コピー保護は非常に限られたプログラムでのみ可能であることが知られている。
最初のコントリビューションとして、すべてのプログラムに対して「最良のコピープロテクション」を実現する方法を示します。
我々は、古典的プログラムの量子記述に対する難読化の概念である量子状態区別可能性難解化(qsiO)を導入することでこれを実現している。
プログラムにqsiOを適用すると、即座に最良のコピー保護が得られることを示す。
第二のコントリビューションは、単射片道関数が存在すると仮定すると、qsiOは、多数の句読可能なプログラムのファミリーに対する具体的なコピープロテクションであり、コピー保護可能なプログラムのクラスを著しく拡大していることを示すことです。
我々の証明の鍵となるツールは、結合不能暗号化 (cUE) と呼ばれる新しい制限不能暗号化 (UE) の変種である。
標準モデルでUEを構築することは依然として重要なオープンな問題であるが、一方の関数からcUEを構築することができる。
さらに UE の存在を仮定すると、qsiO がコピープロテクトであるような句読可能なプログラムのクラスをさらに拡張することができる。
最後に、効率的な量子オラクルに対してqsiOを構築する。
関連論文リスト
- 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) - A Modular Approach to Unclonable Cryptography [4.336971448707467]
本稿では,不規則な句読解難読解法(UPO)を提案する。
我々は、多くのプリミティブのモジュラー構造(そして間違いなく単純な)を、制限不能な暗号で提示する。
暗号化機能は、この機能がセキュリティの概念を満たす限り、コピープロテクト可能であることを示す。
論文 参考訳（メタデータ） (2023-11-20T16:22:52Z) - 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) - Quantum Proofs of Deletion for Learning with Errors [91.3755431537592]
完全同型暗号方式として, 完全同型暗号方式を初めて構築する。
我々の主要な技術要素は、量子証明器が古典的検証器に量子状態の形でのLearning with Errors分布からのサンプルが削除されたことを納得させる対話的プロトコルである。
論文 参考訳（メタデータ） (2022-03-03T10:07:32Z) - Secure Two-Party Quantum Computation Over Classical Channels [63.97763079214294]
古典的アリス(Alice)と量子的ボブ(Quantum Bob)が古典的なチャネルを通してのみ通信できるような設定を考える。
悪質な量子逆数の場合,ブラックボックスシミュレーションを用いた2次元量子関数を実現することは,一般に不可能であることを示す。
我々は、QMA関係Rの古典的量子知識(PoQK)プロトコルを入力として、古典的当事者によって検証可能なRのゼロ知識PoQKを出力するコンパイラを提供する。
論文 参考訳（メタデータ） (2020-10-15T17:55:31Z) - 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) - New Approaches for Quantum Copy-Protection [15.168166173606792]
我々は、その入出力動作から学べないプログラムをコピーする方法を示す。
概して、ウォーターマーク可能なプログラムはどんなプログラムでもコピー検出できることが示される。
論文 参考訳（メタデータ） (2020-04-20T23:30:17Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。