Fugu-MT 論文翻訳(概要): Oblivious Transfer from Zero-Knowledge Proofs, or How to Achieve Round-Optimal Quantum Oblivious Transfer and Zero-Knowledge Proofs on Quantum States

論文の概要: Oblivious Transfer from Zero-Knowledge Proofs, or How to Achieve Round-Optimal Quantum Oblivious Transfer and Zero-Knowledge Proofs on Quantum States

arxiv url: http://arxiv.org/abs/2303.01476v3
Date: Thu, 12 Oct 2023 15:44:52 GMT
ステータス: 処理完了
システム内更新日: 2023-10-16 04:14:29.560887
Title: Oblivious Transfer from Zero-Knowledge Proofs, or How to Achieve Round-Optimal Quantum Oblivious Transfer and Zero-Knowledge Proofs on Quantum States
Title（参考訳）: ゼロノレッジ証明からのオブリベージ変換、またはラウンドオプティマイズ量子オブリベージ変換とゼロノレッジ証明の量子状態への実現方法
Authors: L\'eo Colisson, Garazi Muguruza and Florian Speelman
Abstract要約: 従来のZero-Knowledge(ZK)プロトコルを、構成可能な(量子)Obliivious Transfer(OT)プロトコルに変換する。ランダムオラクルモデルでセキュアな第1ラウンド最適(2-message)量子OTプロトコルを提供する。私たちの構築の中心には、受信した量子状態のプロパティを追加情報を公開することなく証明できる新しい方法があります。
参考スコア（独自算出の注目度）: 0.0
License: http://creativecommons.org/licenses/by/4.0/
Abstract: We provide a generic construction to turn any classical Zero-Knowledge (ZK) protocol into a composable (quantum) oblivious transfer (OT) protocol, mostly lifting the round-complexity properties and security guarantees (plain-model/statistical security/unstructured functions...) of the ZK protocol to the resulting OT protocol. Such a construction is unlikely to exist classically as Cryptomania is believed to be different from Minicrypt. In particular, by instantiating our construction using Non-Interactive ZK (NIZK), we provide the first round-optimal (2-message) quantum OT protocol secure in the random oracle model, and round-optimal extensions to string and k-out-of-n OT. At the heart of our construction lies a new method that allows us to prove properties on a received quantum state without revealing additional information on it, even in a non-interactive way, without public-key primitives, and/or with statistical guarantees when using an appropriate classical ZK protocol. We can notably prove that a state has been partially measured (with arbitrary constraints on the set of measured qubits), without revealing any additional information on this set. This notion can be seen as an analog of ZK to quantum states, and we expect it to be of independent interest as it extends complexity theory to quantum languages, as illustrated by the two new complexity classes we introduce, ZKstatesQIP and ZKstatesQMA.
Abstract（参考訳）: 従来のZero-Knowledge(ZK)プロトコルを構成可能な(量子)オブリバストトランスファー(OT)プロトコルに変換する汎用的な構成を提供し、ZKプロトコルのラウンドコンプレクティリティ特性とセキュリティ保証(プレーンモデル/統計セキュリティ/非構造化関数...)を、結果のOTプロトコルに変換する。このような構成は、MinicryptとCryptomaniaが異なるため、古典的には存在しない。特に、Non-Interactive ZK (NIZK) を用いて構成をインスタンス化することにより、ランダムオラクルモデルにセキュアな第1ラウンド最適(2メッセージ)量子OTプロトコルと、文字列およびk-out-n OTへのラウンド最適拡張を提供する。我々の構築の中心には、受信した量子状態のプロパティを、公開鍵プリミティブや/または適切な古典的ZKプロトコルを使用する際の統計的保証なしで、追加の情報を公開することなく証明する新しい方法がある。特に、ある状態が部分的に測定されたことを証明することができる(測定された量子ビットの集合に任意の制約を課す)。この概念は、ZK の量子状態への類似と見なすことができ、ZKstatesQIP と ZKstatesQMA の2つの新しい複雑性クラスで示されるように、複雑性理論を量子言語に拡張するにつれて、独立した関心を持つものと期待できる。

関連論文リスト

Separable Power of Classical and Quantum Learning Protocols Through the Lens of No-Free-Lunch Theorem [70.42372213666553]
No-Free-Lunch(NFL)定理は、最適化プロセスに関係なく問題とデータ非依存の一般化誤差を定量化する。我々は、様々な量子学習アルゴリズムを、特定の観測可能条件下で量子力学を学習するために設計された3つの学習プロトコルに分類する。得られたNFL定理は, CLC-LP, ReQu-LP, Qu-LPにまたがるサンプルの複雑性を2次的に低減することを示した。この性能差は、非直交量子状態のグローバル位相に関する情報を間接的に活用するために、量子関連学習プロトコルのユニークな能力に起因している。
論文参考訳（メタデータ） (2024-05-12T09:05:13Z)
A Feasible Semi-quantum Private Comparison Based on Entanglement Swapping of Bell States [5.548873288570182]
本稿では,ベル状態の絡み換えに基づく半量子プライベート比較プロトコルを提案する。セキュリティ分析は、我々のプロトコルが外部攻撃と内部攻撃の両方に耐性があることを示しています。提案手法は,半量子暗号分野における絡み合い交換の可能性を示す。
論文参考訳（メタデータ） (2023-05-12T13:28:44Z)
Encryption with Quantum Public Keys [1.7725414095035827]
本稿では,一方の関数とより弱い仮定から量子公開鍵暗号スキームを構築するという課題について考察する。本研究では,一方の関数からの量子公開鍵暗号,擬似乱数関数様状態と擬似乱数関数様状態との3つのスキームを提案する。
論文参考訳（メタデータ） (2023-03-09T16:17:19Z)
Quantum process tomography of continuous-variable gates using coherent states [49.299443295581064]
ボソニックモード超伝導回路におけるコヒーレント状態量子プロセストモグラフィ(csQPT)の使用を実証する。符号化量子ビット上の変位とSNAP演算を用いて構築した論理量子ゲートを特徴付けることにより,本手法の結果を示す。
論文参考訳（メタデータ） (2023-03-02T18:08:08Z)
Simple Tests of Quantumness Also Certify Qubits [69.96668065491183]
量子性の検定は、古典的検証者が証明者が古典的でないことを(のみ)証明できるプロトコルである。我々は、あるテンプレートに従う量子性のテストを行い、(Kalai et al., 2022)のような最近の提案を捉えた。すなわち、同じプロトコルは、証明可能なランダム性や古典的な量子計算のデリゲートといったアプリケーションの中心にあるビルディングブロックであるqubitの認定に使用できる。
論文参考訳（メタデータ） (2023-03-02T14:18:17Z)
Quantum Proofs of Deletion for Learning with Errors [91.3755431537592]
完全同型暗号方式として, 完全同型暗号方式を初めて構築する。我々の主要な技術要素は、量子証明器が古典的検証器に量子状態の形でのLearning with Errors分布からのサンプルが削除されたことを納得させる対話的プロトコルである。
論文参考訳（メタデータ） (2022-03-03T10:07:32Z)
Device-Independent-Quantum-Randomness-Enhanced Zero-Knowledge Proof [25.758352536166502]
ゼロ知識証明(ゼロ知識証明、ZKP)は、証明者が文の有効性の検証を納得させることができる基本的な暗号プリミティブである。 ZKP の効率的な変種として、Fiat-Shamir を採用した非相互作用ゼロ知識証明 (NIZKP) は幅広い応用に不可欠である。
論文参考訳（メタデータ） (2021-11-12T13:36:43Z)
Depth-efficient proofs of quantumness [77.34726150561087]
量子性の証明は、古典的検証器が信頼できない証明器の量子的利点を効率的に証明できる挑戦応答プロトコルの一種である。本稿では、証明者が量子回路を一定深度でしか実行できない量子性構成の証明を2つ与える。
論文参考訳（メタデータ） (2021-07-05T17:45:41Z)
Non-Destructive Zero-Knowledge Proofs on Quantum States, and Multi-Party Generation of Authorized Hidden GHZ States [0.0]
受信した量子状態の高度な特性を非破壊的かつ非インタラクティブに証明するプロトコルを提供する。単一重ね合わせからマルチキュービット状態を生成する方法を示す。我々は、これらの結果を複数のパーティの設定に一般化し、複数のパーティが匿名でGHZ状態を配布できることを証明する。
論文参考訳（メタデータ） (2021-04-10T11:34:40Z)
Secure Two-Party Quantum Computation Over Classical Channels [63.97763079214294]
古典的アリス(Alice)と量子的ボブ(Quantum Bob)が古典的なチャネルを通してのみ通信できるような設定を考える。悪質な量子逆数の場合,ブラックボックスシミュレーションを用いた2次元量子関数を実現することは,一般に不可能であることを示す。我々は、QMA関係Rの古典的量子知識(PoQK)プロトコルを入力として、古典的当事者によって検証可能なRのゼロ知識PoQKを出力するコンパイラを提供する。
論文参考訳（メタデータ） (2020-10-15T17:55:31Z)
Classical proofs of quantum knowledge [10.432041176720842]
検証者が古典的な設定で知識の証明という概念を定義する。量子知識の非破壊的な古典的証明が何らかの状態に存在すれば、その状態は敵によってクローンできることを示す。
論文参考訳（メタデータ） (2020-05-04T17:45:21Z)

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

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