論文の概要: Quantum commitments and signatures without one-way functions
- arxiv url: http://arxiv.org/abs/2112.06369v3
- Date: Mon, 14 Feb 2022 06:03:21 GMT
- ステータス: 処理完了
- システム内更新日: 2023-03-04 16:56:47.411051
- Title: Quantum commitments and signatures without one-way functions
- Title(参考訳): 片道関数のない量子コミットメントとシグネチャ
- Authors: Tomoyuki Morimae, Takashi Yamakawa
- Abstract要約: 古典の世界では、コミットメントの存在は一方的関数の存在と同値である。
量子環境では、コミットメントは片方向関数を暗示することは知られていない。
擬似ランダム量子状態が存在する場合、計算隠蔽と統計的結合のコミットメントが存在することを示す。
- 参考スコア(独自算出の注目度): 9.767030279324038
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: In the classical world, the existence of commitments is equivalent to the
existence of one-way functions. In the quantum setting, on the other hand,
commitments are not known to imply one-way functions, but all known
constructions of quantum commitments use at least one-way functions. Are
one-way functions really necessary for commitments in the quantum world? In
this work, we show that non-interactive quantum commitments (for classical
messages) with computational hiding and statistical binding exist if
pseudorandom quantum states exist. Pseudorandom quantum states are sets of
quantum states that are efficiently generated but their polynomially many
copies are computationally indistinguishable from the same number of copies of
Haar random states [Ji, Liu, and Song, CRYPTO 2018]. It is known that
pseudorandom quantum states exist even if $\BQP=\QMA$ (relative to a quantum
oracle) [Kretschmer, TQC 2021], which means that pseudorandom quantum states
can exist even if no quantum-secure classical cryptographic primitive exists.
Our result therefore shows that quantum commitments can exist even if no
quantum-secure classical cryptographic primitive exists. In particular, quantum
commitments can exist even if no quantum-secure one-way function exists. In
this work, we also consider digital signatures, which are other fundamental
primitives in cryptography. We show that one-time secure digital signatures
with quantum public keys exist if pseudorandom quantum states exist. In the
classical setting, the existence of digital signatures is equivalent to the
existence of one-way functions. Our result, on the other hand, shows that
quantum signatures can exist even if no quantum-secure classical cryptographic
primitive (including quantum-secure one-way functions) exists.
- Abstract(参考訳): 古典の世界では、コミットメントの存在は一方的関数の存在と同値である。
一方、量子設定では、コミットメントは一方向関数を意味するものではないが、量子コミットメントの既知の構成はすべて少なくとも一方向関数を使用する。
量子世界のコミットメントには片道関数が本当に必要か?
本研究では,疑似ランダム量子状態が存在する場合,非対話的な量子コミットメント(古典的メッセージ)が存在することを示す。
Pseudorandom 量子状態は効率よく生成される量子状態の集合であるが、その多項式的に多くのコピーは、ハールランダム状態(Ji, Liu, and Song, CRYPTO 2018)の同じ数のコピーと計算的に区別できない。
擬似ランダム量子状態は、$\BQP=\QMA$ (量子オラクル) [Kretschmer, TQC 2021] であっても存在し、量子セキュアな古典暗号プリミティブが存在しなくても擬似ランダム量子状態が存在することを意味する。
したがって、量子セキュアな古典暗号プリミティブが存在しなくても量子コミットメントが存在することを示す。
特に、量子安全な片方向関数が存在しない場合でも量子コミットメントが存在する。
本研究では、暗号における他の基本的なプリミティブであるデジタル署名についても検討する。
擬似ランダム量子状態が存在する場合、量子公開鍵を用いた1回の安全なデジタル署名が存在することを示す。
古典的な設定では、デジタル署名の存在は一方向関数の存在と等価である。
一方、量子セキュアな古典暗号プリミティブ(量子セキュアな片方向関数を含む)が存在しない場合でも、量子シグネチャが存在することを示す。
関連論文リスト
- Efficient Quantum Pseudorandomness from Hamiltonian Phase States [41.94295877935867]
我々は、ハミルトニアン相状態(HPS)問題と呼ばれる量子硬度仮定を導入する。
我々は、我々の仮定が少なくとも完全に量子的であることを示し、すなわち片方向関数を構成するのに使用できない。
仮定とその変形により、多くの擬似ランダム量子プリミティブを効率的に構築できることを示す。
論文 参考訳(メタデータ) (2024-10-10T16:10:10Z) - Hard Quantum Extrapolations in Quantum Cryptography [9.214658764451348]
普遍外挿タスクの量子アナログについて検討する。
量子コミットメントが存在すれば困難であり、量子空間にとって容易であることを示す。
論文 参考訳(メタデータ) (2024-09-25T00:09:42Z) - Commitments from Quantum One-Wayness [0.0]
本研究は、片方向関数の自然な量子緩和である片方向状態発生器を研究する。
根本的な問題は、このタイプの量子ワンウェイネスが量子暗号を実現するのに十分であるかどうかである。
我々は、純粋な状態出力を持つ一方通行状態生成器が量子ビットのコミットメントを暗示し、セキュアなマルチパーティ計算を行うことを証明した。
論文 参考訳(メタデータ) (2023-10-17T18:48:22Z) - A vertical gate-defined double quantum dot in a strained germanium
double quantum well [48.7576911714538]
シリコン-ゲルマニウムヘテロ構造におけるゲート定義量子ドットは、量子計算とシミュレーションのための魅力的なプラットフォームとなっている。
ひずみゲルマニウム二重量子井戸におけるゲート定義垂直2重量子ドットの動作を実証する。
課題と機会を議論し、量子コンピューティングと量子シミュレーションの潜在的な応用について概説する。
論文 参考訳(メタデータ) (2023-05-23T13:42:36Z) - Simple Tests of Quantumness Also Certify Qubits [69.96668065491183]
量子性の検定は、古典的検証者が証明者が古典的でないことを(のみ)証明できるプロトコルである。
我々は、あるテンプレートに従う量子性のテストを行い、(Kalai et al., 2022)のような最近の提案を捉えた。
すなわち、同じプロトコルは、証明可能なランダム性や古典的な量子計算のデリゲートといったアプリケーションの中心にあるビルディングブロックであるqubitの認定に使用できる。
論文 参考訳(メタデータ) (2023-03-02T14:18:17Z) - Depth-efficient proofs of quantumness [77.34726150561087]
量子性の証明は、古典的検証器が信頼できない証明器の量子的利点を効率的に証明できる挑戦応答プロトコルの一種である。
本稿では、証明者が量子回路を一定深度でしか実行できない量子性構成の証明を2つ与える。
論文 参考訳(メタデータ) (2021-07-05T17:45:41Z) - Imaginary Time Propagation on a Quantum Chip [50.591267188664666]
想像時間における進化は、量子多体系の基底状態を見つけるための顕著な技術である。
本稿では,量子コンピュータ上での仮想時間伝搬を実現するアルゴリズムを提案する。
論文 参考訳(メタデータ) (2021-02-24T12:48:00Z) - 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 supremacy in driven quantum many-body systems [0.0]
一般周期駆動型量子多体系において量子超越性が得られることを示す。
我々の提案は、大規模な量子プラットフォームが量子超越性を実証し、ベンチマークする方法を開く。
論文 参考訳(メタデータ) (2020-02-27T07:20:15Z) - Jumptime unraveling of Markovian open quantum systems [68.8204255655161]
オープン量子系の明確な記述としてジャンプタイム・アンラベリングを導入する。
量子ジャンプ軌道は 物理的に 連続的な量子測定から生まれます
量子軌道は、特定のジャンプ数で平均的にアンサンブルできることを示す。
論文 参考訳(メタデータ) (2020-01-24T09:35:32Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。