論文の概要: Blind Unforgeability implies Plus-One Unforgeability
- arxiv url: http://arxiv.org/abs/2610.00517v1
- Date: Wed, 30 Sep 2026 18:10:21 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-10-03 01:19:23.685679
- Title: Blind Unforgeability implies Plus-One Unforgeability
- Title（参考訳）: Blind Unforgeability: Plus-One Unforgeability
- Abstract要約: 我々は、量子ブラインド・アンフォージェビリティが量子プラス1アンフォージェビリティを意味することを証明している。
ブラインド・アンフォージェビリティは、量子環境においてプラス1のアンフォージェビリティよりも明らかに強い。
- 参考スコア（独自算出の注目度）: 0.34410212782758043
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: We prove that quantum blind-unforgeability implies quantum plus-one unforgeability, settling an open question in the literature. Since plus-one unforgeability is known not to imply blind-unforgeability, our result establishes that blind-unforgeability is \emph{strictly stronger} than plus-one unforgeability in the quantum setting. The implication is proven using a new \emph{smoothing} technique that coherently rescales the query histories of a quantum-query algorithm in a black-box manner. This enables us to transform any successful plus-one attacker into a blind-unforgeability attacker with only inverse-polynomial loss. Our proof represents a conceptual shift from merely extracting a useful query history as in earlier attempts, which we show inevitably fails in general, to first coherently reshaping how query histories interfere.
- Abstract（参考訳）: 我々は、量子ブラインド・アンフォージェビリティが量子プラス1アンフォージェビリティを意味することを証明し、文献でオープンな疑問を解決した。
プラス・ワン・アンフォッゲビリティは、ブラインド・アンフォッゲビリティを含まないことが知られているので、我々の結果は、ブラインド・アンフォッゲビリティが量子設定におけるプラス・ワン・アンフォッゲビリティよりも \emph{strictly strong} であることを証明している。
この意味は、量子クエリアルゴリズムのクエリ履歴をブラックボックス方式でコヒーレントに再スケールする新しい \emph{smoothing} 技術を用いて証明されている。
これにより、成功したプラスワンアタッカーを、逆ポリノミアルロスしか持たないブラインド・アンフォージェビリティアタッカーに変換することができる。
我々の証明は、従来の試みのように有用なクエリ履歴を抽出するだけで、必然的に失敗することを示し、まずクエリ履歴がどのように干渉するかをコヒーレントに再構築する、という概念的な変化を表している。
関連論文リスト
- (Quantum) Indifferentiability and Pre-Computation [50.06591179629447]
微分可能性(Indifferentiability)は、理想的なオブジェクトのセキュリティを分析するための暗号パラダイムである。
その強さにもかかわらず、前処理攻撃に対するセキュリティを提供する無差別性は知られていない。
本稿では、構成可能であるだけでなく、任意の事前計算を考慮に入れた微分可能性の強化を提案する。
論文 参考訳（メタデータ） (2024-10-22T00:41:47Z) - Unconditional quantum magic advantage in shallow circuit computation [2.517043342442487]
量子理論は古典的アプローチよりも計算スピードアップを約束する。
Gottesman-Knill理論は、量子計算の完全なパワーが「魔法の」状態の特定のリソースに存在することを示唆している。
本研究は,最初の非条件魔法の優位性を実証するものである。
論文 参考訳（メタデータ） (2024-02-19T15:59:48Z) - Certified Robustness of Quantum Classifiers against Adversarial Examples
through Quantum Noise [68.1992787416233]
量子ランダムな回転雑音を加えることで、敵攻撃に対する量子分類器のロバスト性を向上できることを示す。
我々は、量子分類器が敵の例に対して防御できるように、証明された堅牢性を導出する。
論文 参考訳（メタデータ） (2022-11-02T05:17:04Z) - Quantum Proofs of Deletion for Learning with Errors [91.3755431537592]
完全同型暗号方式として, 完全同型暗号方式を初めて構築する。
我々の主要な技術要素は、量子証明器が古典的検証器に量子状態の形でのLearning with Errors分布からのサンプルが削除されたことを納得させる対話的プロトコルである。
論文 参考訳（メタデータ） (2022-03-03T10:07:32Z) - A Unified Framework For Quantum Unforgeability [0.0]
我々は,古典的・量子的構成の両面において,汎用的でパラメータ化された量子ゲームベースのセキュリティモデルを構築した。
我々は、よりきめ細かい逆数モデルを検討しながら、我々の定義がどのように以前の定義をサブスメイトするかを証明する。
我々は,従来クエリされていたメッセージが偽造であると考えられる場合に限り,最強の非偽造性,すなわち存在非偽造性を実現することができることを示す。
論文 参考訳（メタデータ） (2021-03-25T17:31:59Z) - Post-Quantum Succinct Arguments: Breaking the Quantum Rewinding Barrier [73.70426431502803]
キリアンの4メッセージ簡潔な引数系は、標準モデルでは量子後安全であることを示す。
これにより、任意の偽の仮定から最初の量子後簡潔な論証システムが得られる。
論文 参考訳（メタデータ） (2021-03-15T05:09:17Z) - Simpler Proofs of Quantumness [16.12500804569801]
量子性の証明は、量子デバイスが古典的なデバイスでは不可能な計算タスクを実行できることを示す方法である。
現在、量子性の証明を示すための3つのアプローチがある。
トラップドアの爪のない関数をベースとした量子性の2次元証明(Challenge-Response)を与える。
論文 参考訳（メタデータ） (2020-05-11T01:31:18Z) - Quantum-secure message authentication via blind-unforgeability [74.7729810207187]
我々は、ブラインド・アンフォージェビリティ(英語版)と呼ばれる量子敵に対する非フォージェビリティ(英語版)の自然な定義を提案する。
この概念は、予測値に「部分的に盲目」アクセスを使用できる敵が存在する場合、関数を予測可能と定義する。
標準構造と減量支援のためのブラインド・アンフォージェビリティの適合性を示す。
論文 参考訳（メタデータ） (2018-03-10T05:31:38Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。