論文の概要: Copy-Protection with Correlated Challenges: Point Functions and More via Decisional Coset Monogamy
- arxiv url: http://arxiv.org/abs/2608.18841v1
- Date: Wed, 19 Aug 2026 12:02:38 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-08-20 20:13:55.397307
- Title: Copy-Protection with Correlated Challenges: Point Functions and More via Decisional Coset Monogamy
- Title（参考訳）: Copy-Protection with Correlated Challenge: Point Function and More via Decisional Coset Monogamy
- Abstract要約: 我々は、ポイント関数、$k$-point関数、計算とコンパイルプログラムに対するプレーンモデルコピープロテクションを証明した。
また、一般的な句読点機能に対する最初のプレーンモデルコピープロテクションも取得する。
- 参考スコア（独自算出の注目度）: 8.58471086313549
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Copy-protection encodes a functionality in a reusable quantum state that cannot be split into two states (freeloader adversaries) which remain simultaneously useful. Prior plain-model results handle only independently sampled challenges; the more natural identical-challenge notion, also tied to unclonable bits and copy-protection of point functions, has remained open. We strengthen these definitions and prove plain-model security for our new stronger notions. For single-decryptor encryption (SDE) we define correlated challenge security, show it implies all previous SDE notions including identical-challenge security, and prove that the construction of Kitagawa and Yamakawa (TCC'25) achieves it assuming iO and one-way functions. We also nearly fully characterize the relations among prior SDE notions. For general functionalities we define correlated challenge unclonable puncturable obfuscation (UPO), allowing arbitrary correlations among challenge points and puncturing bits plus auxiliary information before and after splitting, and requiring only conditionally uniform bits and $λ^c$ average conditional min-entropy in each point separately (thus, in particular, the points may be identical). Assuming post-quantum iO and quantum-hard LWE, we construct correlated UPO for polynomial-size keyed circuits with input length at least $λ^c$, answering an open question of Ananth, Behera, Huang, Kitagawa, Yamakawa (EUROCRYPT'26) and of Cakan-Goyal (EUROCRYPT'26). We also obtain the first plain-model copy protection for point functions, $k$-point functions, and compute-and-compare programs, and identical-challenge copy protection for general puncturable functionalities.
- Abstract（参考訳）: コピー保護は、2つの状態(フリーローダーの敵)に分割できない再利用可能な量子状態の機能を同時にコードする。
より自然な同一のシャレンジュの概念は、ブロックできないビットや点関数のコピー-プロテクトと結びついており、未解決のままである。
これらの定義を強化し、新しい強力な概念に対する平易なモデルのセキュリティを証明します。
単一復号器暗号(SDE)では,一致したチャレンジセキュリティを定義し,同一のカオスセキュリティを含む従来のSDEのすべての概念を暗示し,また,北川と山川(TCC'25)の構築がiOと一方通行の機能を仮定して実現していることを示す。
また、従来のSDE概念間の関係をほぼ完全に特徴づける。
一般の汎函数に対して、相関的チャレンジ・アンクロンタブル・パンクチュアブル・難読化 (UPO) を定義し、挑戦点と切断ビットの間の任意の相関と分割前後の補助情報、各点における条件一様ビットと平均条件最小エントロピー(英語版)($λ^c$)しか必要としない(特に、点は同じかもしれない)。
後量子iOと量子ハードLWEを仮定し、入力長が少なくともλ^c$の多項式サイズの鍵回路に対して相関 UPO を構築し、Ananth, Behera, Huang, Kitagawa, Yamakawa (EUROCRYPT'26) および Cakan-Goyal (EUROCRYPT'26) の開質問に答えた。
また、点関数に対する最初のプレーンモデルコピープロテクション、$k$-point関数、コンピュート・アンド・コンパートメントプログラム、および一般的な句読点関数に対する同一のチャレンジュコピープロテクションを得る。
関連論文リスト
- SIM-CoT: Supervised Implicit Chain-of-Thought [108.30049193668083]
Implicit Chain-of-Thought(CoT)メソッドは、大規模言語モデルにおける明示的なCoT推論に代わるトークン効率の代替手段を提供する。
暗黙的なCoTの計算予算をスケールする際の中核的な不安定性問題を特定する。
そこで我々はSIM-CoTを提案する。SIM-CoTは,遅延推論空間を安定化・拡張するためのステップレベルの監視を実現するモジュールである。
論文 参考訳（メタデータ） (2025-09-24T17:01:32Z) - How to Copy-Protect Malleable-Puncturable Cryptographic Functionalities Under Arbitrary Challenge Distributions [11.781645368622517]
量子コピー保護スキームは、機能を量子状態にエンコードする。
より大規模なスキームをコピー-プロテクトする方法を示します。
論文 参考訳（メタデータ） (2025-07-25T07:40:44Z) - Coding-Based Hybrid Post-Quantum Cryptosystem for Non-Uniform Information [53.85237314348328]
我々は、新しいハイブリッドユニバーサルネットワーク符号化暗号(NU-HUNCC)を導入する。
NU-HUNCCは,リンクのサブセットにアクセス可能な盗聴者に対して,個別に情報理論的に保護されていることを示す。
論文 参考訳（メタデータ） (2024-02-13T12:12:39Z) - 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) - Publicly-Verifiable Deletion via Target-Collapsing Functions [81.13800728941818]
ターゲットの折り畳みは、公開可能な削除(PVD)を可能にすることを示す。
我々は、弱い暗号的仮定から公開可能な削除を支援する様々なプリミティブを得るために、このフレームワークを構築している。
論文 参考訳（メタデータ） (2023-03-15T15:00:20Z) - Quantum Proofs of Deletion for Learning with Errors [91.3755431537592]
完全同型暗号方式として, 完全同型暗号方式を初めて構築する。
我々の主要な技術要素は、量子証明器が古典的検証器に量子状態の形でのLearning with Errors分布からのサンプルが削除されたことを納得させる対話的プロトコルである。
論文 参考訳（メタデータ） (2022-03-03T10:07:32Z) - 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) - Provably Efficient Safe Exploration via Primal-Dual Policy Optimization [105.7510838453122]
制約付きマルコフ決定過程(CMDP)を用いた安全強化学習(SRL)問題について検討する。
本稿では,関数近似設定において,安全な探索を行うCMDPの効率の良いオンラインポリシー最適化アルゴリズムを提案する。
論文 参考訳（メタデータ） (2020-03-01T17:47:03Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。