論文の概要: Non-Interactive Oblivious Transfer and One-Time Programs from Noisy Quantum Storage
- arxiv url: http://arxiv.org/abs/2410.08367v2
- Date: Tue, 17 Jun 2025 14:38:55 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-06-18 17:34:59.057433
- Title: Non-Interactive Oblivious Transfer and One-Time Programs from Noisy Quantum Storage
- Title（参考訳）: ノイズ量子ストレージからの非インタラクティブな透過とワンタイムプログラム
- Authors: Ricardo Faleiro, Manuel Goulão, Leonardo Novo, Emmanuel Zambrini Cruzeiro,
- Abstract要約: 非対話型選択入力OT(ワンショットOT)はワンタイムメモリ(OTM)と等価である
ワンタイムプログラムは、内部動作について何も明らかにせずに任意の入力で実行される。
これらの目的を達成するために、ノイズ量子記憶モデルにおける量子資源を利用する。
- 参考スコア（独自算出の注目度）: 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 quantum information processing, a major research path has emerged, aiming to minimize the requirements necessary to achieve OT by leveraging quantum resources, while also exploring the implications for secure computation. Indeed, OT has been the target of renewed focus regarding its newfound quantum possibilities (and impossibilities), both towards its computation and communication complexity. For instance, non-interactive OT, known to be impossible classically, has been strongly pursued. In its most extreme form, non-interactive chosen-input OT (one-shot OT) is equivalent to a One-Time Memory (OTM). OTMs have been proposed as tamper-proof hardware solutions for constructing One-Time Programs -- single-use programs that execute on an arbitrary input without revealing anything about their internal workings. In this work, we leverage quantum resources in the Noisy-Quantum-Storage Model to achieve: 1. Unconditionally-secure two-message non-interactive OT -- the smallest number of messages known to date for unconditionally-secure chosen-input OT. 2. Computationally-secure one-shot OT/OTM, with everlasting security, assuming only one-way functions and sequential functions -- without requiring trusted hardware, QROM, or pre-shared entanglement. 3. One-Time Programs without the need for hardware-based solutions or QROM, by compiling our OTM construction with the [GKR08, GIS+10] compiler.
- Abstract（参考訳）: Oblivious Transfer (OT)のように、暗号の基礎と連動するプリミティブはほとんどない。
当然のことながら、量子情報処理の出現とともに、量子資源を活用してOTを達成するために必要な要件を最小限に抑えるとともに、セキュアな計算に含めることを目的とした、主要な研究経路が出現した。
実際、OTは計算と通信の複雑さの両面において、新しい量子可能性(および不確実性)に関する新たな焦点の標的となっている。
例えば、古典的に不可能であることが知られている非相互作用OTは、強く追求されている。
最も極端な形では、非対話的な選択入力OT (one-shot OT) はOne-Time Memory (OTM) と等価である。
OTMはワンタイムプログラム(One-Time Programs)を構築するためのタンパーセーフなハードウェアソリューションとして提案されている。
In this work, we leverage quantum resources in the Noisy-Quantum-Storage Model to achieve: 1. Unconditionally-secure two-message non-interactive OT -- the least number of message known for unconditionally-secure selected-input OT。
2. 信頼できるハードウェア、QROM、あるいは事前共有の絡み合いを必要とせずに、一方向関数とシーケンシャル関数のみを仮定する、永続的なセキュリティを備えた、計算的にセキュアな一発ショットOT/OTM。
3.[GKR08, GIS+10]コンパイラでOTM構築をコンパイルすることで,ハードウェアベースのソリューションやQROMを必要としないワンタイムプログラムを実現する。
関連論文リスト
- 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) - A New Framework for Quantum Oblivious Transfer [14.848166122300759]
我々は「固定基底」フレームワークと呼ぶ量子情報から不要な転送を構築するための新しいテンプレートを提案する。
我々は、このテンプレートを量子乱数オラクルモデル(QROM)でインスタンス化し、悪意のある敵に対するセキュリティを実装した単純なプロトコルを得る。
論文 参考訳（メタデータ） (2022-09-09T20:45:48Z) - 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)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。