論文の概要: Quantum One-Time Programs, Revisited

• arxiv url: http://arxiv.org/abs/2411.01876v2
• Date: Fri, 08 Nov 2024 18:50:55 GMT
• ステータス: 翻訳完了
• システム内更新日: 2024-11-11 11:36:08.005976
• Title: Quantum One-Time Programs, Revisited
• Title（参考訳）: 量子ワンタイムプログラムの再検討
• Authors: Aparna Gupte, Jiahui Liu, Justin Raizes, Bhaskar Roberts, Vinod Vaikuntanathan,
• Abstract要約: 古典関数に対する1回限りのプログラムセキュリティについて,新しい,意味のある,達成可能な定義を示す。 通常のモデルではワンタイムでプログラムできない関数のクラスを示す。 また,1つのクエリに対して高いランダム性を示す関数のクラスを示すが,その1回のプログラム形式は,オラクルモデルにおいても関数全体をリークする。
• 参考スコア（独自算出の注目度）: 12.241629512839566
• License:
• Abstract: One-time programs (Goldwasser, Kalai and Rothblum, CRYPTO 2008) are functions that can be run on any single input of a user's choice, but not on a second input. Classically, they are unachievable without trusted hardware, but the destructive nature of quantum measurements seems to provide a quantum path to constructing them. Unfortunately, Broadbent, Gutoski and Stebila showed that even with quantum techniques, a strong notion of one-time programs, similar to ideal obfuscation, cannot be achieved for any non-trivial quantum function. On the positive side, Ben-David and Sattath (Quantum, 2023) showed how to construct a one-time program for a certain (probabilistic) digital signature scheme, under a weaker notion of one-time program security. There is a vast gap between achievable and provably impossible notions of one-time program security, and it is unclear what functionalities are one-time programmable under the achievable notions of security. In this work, we present new, meaningful, yet achievable definitions of one-time program security for probabilistic classical functions. We show how to construct one time programs satisfying these definitions for all functions in the classical oracle model and for constrained pseudorandom functions in the plain model. Finally, we examine the limits of these notions: we show a class of functions which cannot be one-time programmed in the plain model, as well as a class of functions which appears to be highly random given a single query, but whose one-time program form leaks the entire function even in the oracle model.
• Abstract（参考訳）: ワンタイムプログラム(Goldwasser, Kalai and Rothblum, CRYPTO 2008)は、ユーザの選択した任意の入力で実行できる関数である。 古典的には、それらは信頼できるハードウェアなしでは達成できないが、量子測定の破壊的な性質は、それらを構築するための量子パスを提供するように見える。 残念なことに、ブロードベント、グトスキー、ステビラは、量子技術でさえ、理想的難読化と同様のワンタイムプログラムの強い概念は、いかなる非自明な量子関数に対しても達成できないことを示した。 肯定的な面では、Ben-DavidとSattath(Quantum, 2023)は、ある(確率的な)デジタル署名スキームのためのワンタイムプログラムを、ワンタイムプログラムセキュリティというより弱い概念の下で構築する方法を示した。 達成可能なプログラムセキュリティと証明可能な不可能なプログラムセキュリティの間には大きなギャップがあり、達成可能なセキュリティの概念の下では、どの機能がワンタイムプログラム可能かは不明だ。 本研究では,確率的古典関数に対する1回のプログラムセキュリティを新たに,有意義かつ達成可能な定義として提示する。 古典的なオラクルモデルにおける全ての関数と、プレーンモデルにおける制約付き擬似ランダム関数に対して、これらの定義を満たす1つの時間プログラムを構築する方法を示す。 最後に、これらの概念の限界について考察する: 平易なモデルでは1回プログラムできない関数のクラスと、単一のクエリで高ランダムであるように見える関数のクラスを示すが、その1回プログラム形式は、オラクルモデルでも関数全体をリークする。

関連論文リスト

• Quantum One-Time Protection of any Randomized Algorithm [0.03320194947871346]
  量子ワンタイムトークン(quantum one-time token)は、あるプログラムを正確に1度評価できる量子状態である。 生成AIモデルを含む任意のランダム化された古典的プログラムに対して量子ワンタイムトークンを構築する手法を提案する。
  論文  参考訳（メタデータ） (2024-11-05T18:00:29Z)
• (Quantum) Indifferentiability and Pre-Computation [50.06591179629447]
  微分可能性(Indifferentiability)は、理想的なオブジェクトのセキュリティを分析するための暗号パラダイムである。 その強さにもかかわらず、前処理攻撃に対するセキュリティを提供する無差別性は知られていない。 本稿では、構成可能であるだけでなく、任意の事前計算を考慮に入れた微分可能性の強化を提案する。
  論文  参考訳（メタデータ） (2024-10-22T00:41:47Z)
• Quantum Programming Without the Quantum Physics [0.08158530638728499]
  量子プログラミングのパラダイムとして,すべてのデータが古典的データに親しみやすい量子プログラミングパラダイムを提案する。 古典的でない唯一の要素は、負の確率で結果を返す乱数生成器である。
  論文  参考訳（メタデータ） (2024-08-29T03:21:08Z)
• Quantum State Obfuscation from Classical Oracles [18.878095837031292]
  量子暗号における主要な未解決の問題は、任意の量子計算を難読化できるかどうかである。 我々は、量子状態オブファスケータを構築するために使用する新しいテクニックの配列を開発する。
  論文  参考訳（メタデータ） (2024-01-18T18:42:28Z)
• Uncloneable Quantum Advice [1.1970409518725493]
  計算を可能とした複雑性理論ツールの研究を通して、初めて、未知の量子不連続性を示す。 ここでは、無条件の量子アドバイスを許容する公約問題の存在と、無条件のアドバイスを持つ言語の存在を示す。
  論文  参考訳（メタデータ） (2023-09-10T22:09:05Z)
• Revocable Cryptography from Learning with Errors [61.470151825577034]
  我々は、量子力学の非閉鎖原理に基づいて、キー呼び出し機能を備えた暗号スキームを設計する。 我々は、シークレットキーが量子状態として表現されるスキームを、シークレットキーが一度ユーザから取り消されたら、それらが以前と同じ機能を実行する能力を持たないことを保証して検討する。
  論文  参考訳（メタデータ） (2023-02-28T18:58:11Z)
• Entanglement and coherence in Bernstein-Vazirani algorithm [58.720142291102135]
  Bernstein-Vaziraniアルゴリズムは、オラクルに符号化されたビット文字列を決定できる。 我々はベルンシュタイン・ヴァジラニアルゴリズムの量子資源を詳細に分析する。 絡み合いがない場合、初期状態における量子コヒーレンス量とアルゴリズムの性能が直接関係していることが示される。
  論文  参考訳（メタデータ） (2022-05-26T20:32:36Z)
• 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)
• There is only one time [110.83289076967895]
  私たちは、この「時間」と呼ばれるものを認識できるように、物理的なシステムの絵を描きます。 第一の場合ではシュル・オーディンガー方程式、第二の場合ではハミルトン方程式を導出する。
  論文  参考訳（メタデータ） (2020-06-22T09:54:46Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。