論文の概要: 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を必要としないワンタイムプログラムを実現する。

関連論文リスト

• A Toolchain for Assisting Migration of Software Executables Towards Post-Quantum Cryptography [3.0982846350824613]
  量子コンピューティングは、今日のセキュリティメカニズムに重大な世界的脅威をもたらす。 セキュリティ専門家と公共セクターは、組織がソフトウェアをポスト量子暗号(PQC)に移行するのを支援するためのガイドラインを発行している。 この移行をサポートするための(半自動的な)ツールが欠けているのは、特にソフトウェアがバイナリ実行ファイルとして使用され、デプロイされている時です。
  論文  参考訳（メタデータ） (2024-09-12T08:56:50Z)
• Supersonic OT: Fast Unconditionally Secure Oblivious Transfer [1.90298817989995]
  超音速OT(Supersonic OT)は、高効率で無条件でセキュアな暗号プロトコルである。 超音速OTの単一インスタンスは0.35ミリ秒で完了し、最先端のOTよりも2000倍高速になる。
  論文  参考訳（メタデータ） (2024-06-21T11:50:57Z)
• Quantum Compiling with Reinforcement Learning on a Superconducting Processor [55.135709564322624]
  超伝導プロセッサのための強化学習型量子コンパイラを開発した。 短絡の新規・ハードウェア対応回路の発見能力を示す。 本研究は,効率的な量子コンパイルのためのハードウェアによるソフトウェア設計を実証する。
  論文  参考訳（メタデータ） (2024-06-18T01:49:48Z)
• Single-Round Proofs of Quantumness from Knowledge Assumptions [41.94295877935867]
  量子性の証明は、効率的な量子コンピュータが通過できる、効率よく検証可能な対話型テストである。 既存のシングルラウンドプロトコルは大きな量子回路を必要とするが、マルチラウンドプロトコルはより小さな回路を使用するが、実験的な中間回路測定を必要とする。 我々は、既存の知識仮定に基づいて、量子性の効率的なシングルラウンド証明を構築した。
  論文  参考訳（メタデータ） (2024-05-24T17:33:10Z)
• Insecurity of Quantum Two-Party Computation with Applications to Cheat-Sensitive Protocols and Oblivious Transfer Reductions [0.0]
  我々は、不正な当事者が不正行為をすることができるが、検出されるリスクがある、不正に敏感なOTの可能性を厳格に確立する。 セキュアな関数評価に必要なプリミティブのエントロピー境界を提供する。 我々の結果は、特に有限個のプリミティブ間の変換と任意の誤差に対して成り立つ。
  論文  参考訳（メタデータ） (2024-05-20T15:39:30Z)
• A Quantum-Classical Collaborative Training Architecture Based on Quantum State Fidelity [50.387179833629254]
  我々は,コ・テンク (co-TenQu) と呼ばれる古典量子アーキテクチャを導入する。 Co-TenQuは古典的なディープニューラルネットワークを41.72%まで向上させる。 他の量子ベースの手法よりも1.9倍も優れており、70.59%少ない量子ビットを使用しながら、同様の精度を達成している。
  論文  参考訳（メタデータ） (2024-02-23T14:09:41Z)
• QuantumSEA: In-Time Sparse Exploration for Noise Adaptive Quantum Circuits [82.50620782471485]
  QuantumSEAはノイズ適応型量子回路のインタイムスパース探索である。 1)トレーニング中の暗黙の回路容量と(2)雑音の頑健さの2つの主要な目標を達成することを目的としている。 提案手法は, 量子ゲート数の半減と回路実行の2倍の時間節約で, 最先端の計算結果を確立する。
  論文  参考訳（メタデータ） (2024-01-10T22:33:00Z)
• Hybrid Quantum Cryptography from Communication Complexity [0.43695508295565777]
  隠れマッチング問題からHM-QCTと呼ばれる鍵分布プロトコルを構築した。 任意の攻撃に対するHM-QCTの安全性は、基礎となる隠れマッチング問題を解くことの難しさに還元できることを示す。 注目すべきは、このスキームは、各チャネルの使用ごとに$mathcalObig( fracsqrtnlog(n)big)$の入力光子で安全である。
  論文  参考訳（メタデータ） (2023-11-15T18:03:15Z)
• 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)
• Interactive Protocols for Classically-Verifiable Quantum Advantage [46.093185827838035]
  証明者と検証者の間の「相互作用」は、検証可能性と実装のギャップを埋めることができる。 イオントラップ量子コンピュータを用いた対話型量子アドバンストプロトコルの最初の実装を実演する。
  論文  参考訳（メタデータ） (2021-12-09T19:00:00Z)
• 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)
• Delegating Multi-Party Quantum Computations vs. Dishonest Majority in Two Quantum Rounds [0.0]
  マルチパーティ量子計算(MPQC)は、量子ネットワークのキラーアプリケーションとして多くの注目を集めている。 単一の正直なクライアントであっても、盲目性と妥当性を達成できる構成可能なプロトコルを提案する。
  論文  参考訳（メタデータ） (2021-02-25T15:58:09Z)
• 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)
• Probabilistic one-time programs using quantum entanglement [0.0]
  本稿では,従来のスキームの大きな欠点を解消するワンタイムプログラムのための改良されたプロトコルを提案する。 これにより、4桁以上のカウントレートが得られ、量子情報交換が実行されてからずっと後にプログラムを実行することができる。 ウィーンのダウンタウンにある大学ビル間の地下繊維接続に関する我々のプロトコルを実証する。
  論文  参考訳（メタデータ） (2020-08-05T18:02:56Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。