論文の概要: A Post-Quantum Interactive Hashing Theorem
- arxiv url: http://arxiv.org/abs/2611.06124v1
- Date: Wed, 04 Nov 2026 08:08:32 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-11-06 03:25:58.02268
- Title: A Post-Quantum Interactive Hashing Theorem
- Title(参考訳): ポスト量子インタラクティブハッシュ理論
- Abstract要約: インタラクティブハッシュは、多くの暗号プロトコルにおけるビルディングブロックである。
我々は、任意の関係を持つ多出力対話型ハッシュプロトコルの量子後セキュリティ証明を行う。
- 参考スコア(独自算出の注目度): 1.338174941551702
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Interactive hashing, introduced by Ostrovsky, Venkatesan, and Yung [OVY93], is a building block in many cryptographic protocols, including perfectly hiding commitments from one-way permutations [NOVY92]. Its multi-output generalization is a key ingredient in constructions of statistical zero-knowledge arguments for NP and statistically hiding commitments from arbitrary one-way functions [NOV06,HR07]. In this note, we give a post-quantum security proof for this multi-output interactive hashing protocol with arbitrary relations.
- Abstract(参考訳): Ostrovsky氏、Venkatesan氏、Yung氏によって導入されたインタラクティブハッシュ(OVY93)は、多くの暗号プロトコルのビルディングブロックである。
その多出力一般化は、NPに対する統計的ゼロ知識引数の構築や、任意の片方向関数[NOV06,HR07]からのコミットメントを統計的に隠蔽する上で重要な要素である。
本稿では,任意の関係を持つ多出力対話型ハッシュプロトコルについて,量子後セキュリティ証明を行う。
関連論文リスト
- Combining Error Verification and Privacy Amplification in Quantum Key Distribution [0.8793721044482612]
量子鍵分配プロトコルは通常、エラー検証とプライバシ増幅の2つの別々のステップを含む。
潜在的に単純な方法は、単一ステップのハッシュ手順を実装し、エラー検証のために出力の固定されたビット数をアナウンスし比較し、残りのビットを最終的な出力キーとして保持することである。
このようなプロトコルのセキュリティは、ある単純な条件下では、最終的なエラー検証ステップを使わずに、プロトコルの秘密性に関するわずかに修正された概念に従っていることを示す。
論文 参考訳(メタデータ) (2026-10-07T18:00:06Z) - Succinct Arguments for QMA in the Quantum Random Oracle Model [50.20559283775139]
量子乱数オラクルモデル(QROM)におけるQMAの最初の簡潔な議論を、暗号的仮定や証明されていない予想に頼ることなく構築する。
我々の結果は、量子インタラクティブなオラクル証明(QIOP)を同じ言語の量子引数にコンパイルする効率保存変換である。
論文 参考訳(メタデータ) (2026-09-29T12:54:55Z) - Succinct Arguments for QMA from Collapsing Hash Functions [17.61416772509257]
折りたたみハッシュ関数の存在を前提として,QMA に対する簡潔な引数の存在を証明した。
これは、構造化されていないMinicryptの仮定にのみ依存する最初のスキームであり、公開鍵暗号を暗示していない。
論文 参考訳(メタデータ) (2026-09-28T17:02:06Z) - Quantum Rewinding for IOP-Based Succinct Arguments [42.12045681000549]
我々は、ベクトルコミットメントスキームが崩壊しているとき、BCS変換のインタラクティブな変種が量子敵に対する標準モデルで安全であることを証明した。
その結果、量子後安全な簡潔な議論の標準モデルを得ることができ、その複雑さを最もよく知ることができる。
論文 参考訳(メタデータ) (2024-11-08T06:33:08Z) - Security of hybrid BB84 with heterodyne detection [0.0]
量子鍵分布(QKD)は物理学の法則に基づく永続的なセキュリティを約束する。
最近のハイブリッドQKDプロトコルは、両方のカテゴリの利点を活用するために導入されている。
我々は2021年にQiによって導入されたプロトコルの厳密なセキュリティ証明を提供し、そこでは情報を離散変数に符号化する。
論文 参考訳(メタデータ) (2024-02-26T19:00:01Z) - Security against collective attacks for a continuous-variable quantum
key distribution protocol using homodyne detection and postselection [0.0]
ホモダインをベースとした連続量子鍵分配プロトコルにおける集団攻撃に対するセキュリティの分析を行う。
2変数のシナリオでは秘密鍵レートの低い値が導出され、対称チャネルの場合、数値的に最適化される。
論文 参考訳(メタデータ) (2022-05-24T06:34:10Z) - Data post-processing for the one-way heterodyne protocol under
composable finite-size security [62.997667081978825]
本研究では,実用的連続可変(CV)量子鍵分布プロトコルの性能について検討する。
ヘテロダイン検出を用いたガウス変調コヒーレント状態プロトコルを高信号対雑音比で検討する。
これにより、プロトコルの実践的な実装の性能を調べ、上記のステップに関連付けられたパラメータを最適化することができる。
論文 参考訳(メタデータ) (2022-05-20T12:37:09Z) - Commitment capacity of classical-quantum channels [70.51146080031752]
古典的量子チャネルに対するコミットメント能力の様々な概念を定義する。
条件エントロピーの観点から上界と下界のマッチングを証明した。
論文 参考訳(メタデータ) (2022-01-17T10:41:50Z) - Representation matching for delegated quantum computing [64.67104066707309]
表現マッチングは、量子ネットワークにおける量子計算のコストを削減するための一般的な確率的プロトコルである。
表現マッチングプロトコルは,様々なタスクにおいて,通信コストやメモリコストを最小限に抑えることができることを示す。
論文 参考訳(メタデータ) (2020-09-14T18:07:43Z) - Computing conditional entropies for quantum correlations [10.549307055348596]
特に、デバイス非依存の量子鍵分布を実行するのに必要な、最小限の大域的検出効率について、新たな上限を求める。
正の整数に対するパラメータ $alpha_k = 1+frac12k-1$ を持つ反復平均量子 R'enyi の族を導入する。
この条件付きエントロピーは、デバイス非依存の最適化の文脈において、半定値プログラミング問題に緩和できる、特によい形式であることを示す。
論文 参考訳(メタデータ) (2020-07-24T15:27:51Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。