論文の概要: 1-Shot Oblivious Transfer and 2-Party Computation from Noisy Quantum Storage
- arxiv url: http://arxiv.org/abs/2410.08367v1
- Date: Thu, 10 Oct 2024 20:54:09 GMT
- ステータス: 処理完了
- システム内更新日: 2024-10-31 03:46:24.214171
- Title: 1-Shot Oblivious Transfer and 2-Party Computation from Noisy Quantum Storage
- Title（参考訳）: ノイズ量子ストレージからの1秒オフブロード転送と2分計算
- Authors: Ricardo Faleiro, Manuel Goulão, Leonardo Novo, Emmanuel Zambrini Cruzeiro,
- Abstract要約: Oblivious Transfer (OT) を達成するために必要な前提を最小化する研究経路
この研究では、量子資源を活用することで、3つの主要な貢献が証明されている。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Few primitives are as intertwined with the foundations of cryptography as Oblivious Transfer (OT). Not surprisingly, with the advent of the use of quantum resources in information processing, OT played a central role in establishing new possibilities (and defining impossibilities) pertaining to the use of these novel assets. A major research path is minimizing the required assumptions to achieve OT, and studying their consequences. Regarding its computation, it is impossible to construct unconditionally-secure OT without extra assumptions; and, regarding communication complexity, achieving 1-shot (and even non-interactive) OT has proved to be an elusive task, widely known to be impossible classically. Moreover, this has strong consequencesfor realizing round-optimal secure computation, in particular 1-shot 2-Party Computation (2PC). In this work, three main contributions are evidenced by leveraging quantum resources: 1. Unconditionally-secure 2-message non-interactive OT protocol constructed in the Noisy-Quantum-Storage Model. 2. 1-shot OT in the Noisy-Quantum-Storage Model -- proving that this construction is possible assuming the existence of one-way functions and sequential functions. 3. 1-shot 2PC protocol compiled from a semi-honest 1-shot OT to semi-honest 1-shot Yao's Garbled Circuits protocol.
- Abstract（参考訳）: Oblivious Transfer (OT)のように、暗号の基礎と連動するプリミティブはほとんどない。
当然のことながら、情報処理における量子資源の使用の出現により、OTはこれらの新しい資産の使用に関する新たな可能性(および不合理性の定義)を確立する上で中心的な役割を担った。
主要な研究経路は、OTを達成するために必要な仮定を最小化し、その結果を研究することである。
その計算については、余分な仮定なしに無条件でOTを構築することは不可能であり、通信の複雑さに関して、1ショット(および非インタラクティブ)OTを達成することは、古典的には不可能であることが広く知られている。
さらに、これはラウンド最適化セキュアな計算、特に1ショット2-Party Computation (2PC)の実現に強い結果をもたらす。
この研究において、量子資源を活用することで3つの主要な貢献が証明される: 1. ノイジー量子記憶モデルで構築された無条件セキュアな2メッセージ非インタラクティブOTプロトコル。
2. 1-shot OT in the Noisy-Quantum-Storage Model -- この構成が一方向関数と逐次関数の存在を前提として可能であることを証明する。
3. 半正直な1ショットOTから半正直な1ショットのYaoのGarbled Circuitsプロトコルにコンパイルされた1ショット2PCプロトコル。
関連論文リスト
- Supersonic OT: Fast Unconditionally Secure Oblivious Transfer [1.90298817989995]
超音速OT(Supersonic OT)は、高効率で無条件でセキュアな暗号プロトコルである。
超音速OTの単一インスタンスは0.35ミリ秒で完了し、最先端のOTよりも2000倍高速になる。
論文 参考訳（メタデータ） (2024-06-21T11:50:57Z) - Insecurity of Quantum Two-Party Computation with Applications to Cheat-Sensitive Protocols and Oblivious Transfer Reductions [0.0]
我々は、不正な当事者が不正行為をすることができるが、検出されるリスクがある、不正に敏感なOTの可能性を厳格に確立する。
セキュアな関数評価に必要なプリミティブのエントロピー境界を提供する。
我々の結果は、特に有限個のプリミティブ間の変換と任意の誤差に対して成り立つ。
論文 参考訳（メタデータ） (2024-05-20T15:39:30Z) - Entropy Accumulation under Post-Quantum Cryptographic Assumptions [4.416484585765028]
デバイス非依存(DI)量子プロトコルでは、セキュリティステートメントは量子装置の特性を損なう。
本稿では,量子情報理論のツールの組み合わせを利用して,そのようなプロトコルの安全性を証明するフレキシブルなフレームワークを提案する。
論文 参考訳（メタデータ） (2023-07-02T12:52:54Z) - Oblivious Transfer from Zero-Knowledge Proofs, or How to Achieve
Round-Optimal Quantum Oblivious Transfer and Zero-Knowledge Proofs on Quantum
States [0.0]
従来のZero-Knowledge(ZK)プロトコルを、構成可能な(量子)Obliivious Transfer(OT)プロトコルに変換する。
ランダムオラクルモデルでセキュアな第1ラウンド最適(2-message)量子OTプロトコルを提供する。
私たちの構築の中心には、受信した量子状態のプロパティを追加情報を公開することなく証明できる新しい方法があります。
論文 参考訳（メタデータ） (2023-03-02T18:38:15Z) - Suppressing Amplitude Damping in Trapped Ions: Discrete Weak
Measurements for a Non-unitary Probabilistic Noise Filter [62.997667081978825]
この劣化を逆転させるために、低オーバーヘッドプロトコルを導入します。
振幅減衰雑音に対する非単位確率フィルタの実装のための2つのトラップイオンスキームを提案する。
このフィルタは、単一コピー準蒸留のためのプロトコルとして理解することができる。
論文 参考訳（メタデータ） (2022-09-06T18:18:41Z) - Efficient Bipartite Entanglement Detection Scheme with a Quantum
Adversarial Solver [89.80359585967642]
パラメータ化量子回路で完了した2プレーヤゼロサムゲームとして,両部絡み検出を再構成する。
このプロトコルを線形光ネットワーク上で実験的に実装し、5量子量子純状態と2量子量子混合状態の両部絡み検出に有効であることを示す。
論文 参考訳（メタデータ） (2022-03-15T09:46:45Z) - Depth-efficient proofs of quantumness [77.34726150561087]
量子性の証明は、古典的検証器が信頼できない証明器の量子的利点を効率的に証明できる挑戦応答プロトコルの一種である。
本稿では、証明者が量子回路を一定深度でしか実行できない量子性構成の証明を2つ与える。
論文 参考訳（メタデータ） (2021-07-05T17:45:41Z) - Quantum communication complexity beyond Bell nonlocality [87.70068711362255]
効率的な分散コンピューティングは、リソース要求タスクを解決するためのスケーラブルな戦略を提供する。
量子リソースはこのタスクに適しており、古典的手法よりも優れた明確な戦略を提供する。
我々は,ベルのような不等式に,新たなコミュニケーション複雑性タスクのクラスを関連付けることができることを証明した。
論文 参考訳（メタデータ） (2021-06-11T18:00:09Z) - Hardware-Efficient, Fault-Tolerant Quantum Computation with Rydberg
Atoms [55.41644538483948]
我々は中性原子量子コンピュータにおいてエラー源の完全な特徴付けを行う。
計算部分空間外の状態への原子量子ビットの崩壊に伴う最も重要なエラーに対処する,新しい,明らかに効率的な手法を開発した。
我々のプロトコルは、アルカリ原子とアルカリ原子の両方にエンコードされた量子ビットを持つ最先端の中性原子プラットフォームを用いて、近い将来に実装できる。
論文 参考訳（メタデータ） (2021-05-27T23:29:53Z) - Oblivious Transfer is in MiniQCrypt [20.72168448608258]
MiniQCryptは、量子セキュアな一方通行関数が存在し、量子通信が可能である世界である。
悪質な量子時間敵に対する平易なモデルのシミュレーションセキュリティを実現するため,MiniQCrypt に暗黙の転送プロトコルを構築した。
論文 参考訳（メタデータ） (2020-11-30T16:51:17Z) - Secure Two-Party Quantum Computation Over Classical Channels [63.97763079214294]
古典的アリス(Alice)と量子的ボブ(Quantum Bob)が古典的なチャネルを通してのみ通信できるような設定を考える。
悪質な量子逆数の場合,ブラックボックスシミュレーションを用いた2次元量子関数を実現することは,一般に不可能であることを示す。
我々は、QMA関係Rの古典的量子知識(PoQK)プロトコルを入力として、古典的当事者によって検証可能なRのゼロ知識PoQKを出力するコンパイラを提供する。
論文 参考訳（メタデータ） (2020-10-15T17:55:31Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。