論文の概要: On black-box separations of quantum digital signatures from pseudorandom
states
- arxiv url: http://arxiv.org/abs/2402.08194v1
- Date: Tue, 13 Feb 2024 03:36:35 GMT
- ステータス: 処理完了
- システム内更新日: 2024-02-14 16:43:09.345900
- Title: On black-box separations of quantum digital signatures from pseudorandom
states
- Title(参考訳): 擬ランダム状態からの量子デジタル署名のブラックボックス分離について
- Authors: Andrea Coladangelo and Saachi Mutreja
- Abstract要約: 我々は、$textitdoes not$が存在し、量子デジタル署名スキームのブラックボックス構造が存在することを示す。
この結果は,古典署名付き$textitone-time$ secure QDSスキームを記述した森前と山川(2022年)を補完するものである。
- 参考スコア(独自算出の注目度): 1.9254132307399263
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: It is well-known that digital signatures can be constructed from one-way
functions in a black-box way. While one-way functions are essentially the
minimal assumption in classical cryptography, this is not the case in the
quantum setting. A variety of qualitatively weaker and inherently quantum
assumptions (e.g. EFI pairs, one-way state generators, and pseudorandom states)
are known to be sufficient for non-trivial quantum cryptography.
While it is known that commitments, zero-knowledge proofs, and even
multiparty computation can be constructed from these assumptions, it has
remained an open question whether the same is true for quantum digital
signatures schemes (QDS). In this work, we show that there $\textit{does not}$
exist a black-box construction of a QDS scheme with classical signatures from
pseudorandom states with linear, or greater, output length. Our result
complements that of Morimae and Yamakawa (2022), who described a
$\textit{one-time}$ secure QDS scheme with classical signatures, but left open
the question of constructing a standard $\textit{multi-time}$ secure one.
- Abstract(参考訳): デジタルシグネチャはブラックボックス方式で一方通行関数から構築できることはよく知られている。
片道関数は古典暗号において本質的に最小の仮定であるが、量子設定ではそうではない。
定性的に弱い量子仮定(例えば、efiペア、一方向状態生成器、擬似乱数状態)は、非自明な量子暗号には十分であることが知られている。
コミットメント、ゼロ知識証明、マルチパーティ計算さえもこれらの仮定から構築できることは知られているが、量子デジタルシグネチャスキーム(QDS)にも同じことが当てはまるかどうかは未解決のままである。
この研究で、$\textit{does not}$は、線形あるいはより大きな出力長を持つ擬ランダム状態からの古典的なシグネチャを持つQDSスキームのブラックボックス構成が存在することを示す。
この結果は、古典的シグネチャを持つ$\textit{one-time}$ secure QDSスキームを記述したが、標準の$\textit{multi-time}$ secureシグネチャを構築するという疑問を解き放った森前と山川(2022年)を補完する。
関連論文リスト
- Anonymous Public-Key Quantum Money and Quantum Voting [15.80411915665245]
量子マネースキームにおけるプライバシの形式的定義を開発する。
次に、これらのセキュリティ概念を満たす最初の公開鍵量子マネースキームを構築する。
量子力学の結果、非閉鎖原理は古典的に不可能なセキュリティ保証を備えたスキームの構築を可能にすることを示した。
論文 参考訳(メタデータ) (2024-11-07T07:21:28Z) - A General Quantum Duality for Representations of Groups with Applications to Quantum Money, Lightning, and Fire [8.714677279673738]
1つの基底で量子状態を操作することは、相補的な基底で値を取り出すことと等価であることを示す。
本研究は,有理暗号的仮定に基づく最初のセキュアな量子稲妻構築について述べる。
量子雷セキュリティ、最悪のケースと平均的なクローンセキュリティ、標準状態の準備に対するセキュリティの4つのセキュリティ概念の等価性を示す。
論文 参考訳(メタデータ) (2024-11-01T11:56:11Z) - Signatures From Pseudorandom States via $\bot$-PRFs [0.11650821883155184]
我々は $bot$-PRG と $bot$-PRF の新たな定義を導入する。
私たちの主な応用は、古典的な公開鍵と署名を備えた(量子)デジタル署名スキームです。
論文 参考訳(メタデータ) (2023-11-01T20:54:50Z) - Commitments from Quantum One-Wayness [0.0]
本研究は、片方向関数の自然な量子緩和である片方向状態発生器を研究する。
根本的な問題は、このタイプの量子ワンウェイネスが量子暗号を実現するのに十分であるかどうかである。
我々は、純粋な状態出力を持つ一方通行状態生成器が量子ビットのコミットメントを暗示し、セキュアなマルチパーティ計算を行うことを証明した。
論文 参考訳(メタデータ) (2023-10-17T18:48:22Z) - Encryption with Quantum Public Keys [1.7725414095035827]
本稿では,一方の関数とより弱い仮定から量子公開鍵暗号スキームを構築するという課題について考察する。
本研究では,一方の関数からの量子公開鍵暗号,擬似乱数関数様状態と擬似乱数関数様状態との3つのスキームを提案する。
論文 参考訳(メタデータ) (2023-03-09T16:17:19Z) - 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) - Depth-efficient proofs of quantumness [77.34726150561087]
量子性の証明は、古典的検証器が信頼できない証明器の量子的利点を効率的に証明できる挑戦応答プロトコルの一種である。
本稿では、証明者が量子回路を一定深度でしか実行できない量子性構成の証明を2つ与える。
論文 参考訳(メタデータ) (2021-07-05T17:45:41Z) - 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) - Quantum Gram-Schmidt Processes and Their Application to Efficient State
Read-out for Quantum Algorithms [87.04438831673063]
本稿では、生成した状態の古典的ベクトル形式を生成する効率的な読み出しプロトコルを提案する。
我々のプロトコルは、出力状態が入力行列の行空間にある場合に適合する。
我々の技術ツールの1つは、Gram-Schmidt正則手順を実行するための効率的な量子アルゴリズムである。
論文 参考訳(メタデータ) (2020-04-14T11:05:26Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。