論文の概要: Certified-Everlasting Quantum NIZK Proofs

• arxiv url: http://arxiv.org/abs/2512.13628v2
• Date: Tue, 16 Dec 2025 17:22:09 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-12-17 14:48:05.996377
• Title: Certified-Everlasting Quantum NIZK Proofs
• Title（参考訳）: 認定量子NIZK証明
• Authors: Nikhil Pappu,
• Abstract要約: 特定の性質を満たす量子証明のための非相互作用ゼロ知識証明(NIZK)について検討する。 統計結合隠れビット生成器をベースとしたNZK for NPを提案する。 このプロトコルにおける唯一の量子計算は、共有EPRペアの単一量子ビットの測定である。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: We study non-interactive zero-knowledge proofs (NIZKs) for NP satisfying: 1) statistical soundness, 2) computational zero-knowledge and 3) certified-everlasting zero-knowledge (CE-ZK). The CE-ZK property allows a verifier of a quantum proof to revoke the proof in a way that can be checked (certified) by the prover. Conditioned on successful certification, the verifier's state can be efficiently simulated with only the statement, in a statistically indistinguishable way. Our contributions regarding these certified-everlasting NIZKs (CE-NIZKs) are as follows: - We identify a barrier to obtaining CE-NIZKs in the CRS model via generalizations of known interactive proofs that satisfy CE-ZK. - We circumvent this by constructing CE-NIZK from black-box use of NIZK for NP satisfying certain properties, along with OWFs. As a result, we obtain CE-NIZKs for NP in the CRS model, based on polynomial hardness of the learning with errors (LWE) assumption. - In addition, we observe that the aforementioned barrier does not apply to the shared EPR model. Consequently, we present a CE-NIZK for NP in this model based on any statistical binding hidden-bits generator, which can be based on LWE. The only quantum computation in this protocol involves single-qubit measurements of the shared EPR pairs.
• Abstract（参考訳）: NPを満たす非インタラクティブゼロ知識証明(NIZK)について検討する。 1)統計的健全性。 2【計算ゼロ知識】 3) ゼロ知識認定(CE-ZK)。 CE-ZK特性により、量子証明の検証者は証明者によってチェック(認証)できる方法で証明を無効にすることができる。 認証が成功すると条件付きで、検証者の状態は統計的に区別できない方法で、文のみで効率的にシミュレートできる。 我々は、CE-NIZKを満足する既知の対話的証明の一般化を通じて、CRSモデルにおいてCE-NIZKを得るための障壁を同定する。 -特定の特性を満たす NP に対する NIZK のブラックボックス使用から CE-NIZK を OWF とともに構築することでこれを回避できる。 その結果,誤り(LWE)を仮定した学習の多項式硬度に基づいて,CRSモデルにおけるNPのCE-NIZKを求めることができた。 さらに、上記の障壁が共有EPRモデルに当てはまらないことを観察する。 そこで本モデルでは,LWEをベースとした統計的バインディング隠れビット発生器をベースとしたCE-NIZKを提案する。 このプロトコルにおける唯一の量子計算は、共有EPRペアの単一量子ビットの測定である。

関連論文リスト

• MPC in the Quantum Head (or: Superposition-Secure (Quantum) Zero-Knowledge) [19.71357898702801]
  本稿では,MPC-in-the-headパラダイムの量子設定への一般化について述べる。 本稿では,書面の重ね合わせが可能である検証者に対して,セキュリティが保たれるゼロ知識プロトコルを構築するための新しいアプローチを提案する。
  論文  参考訳（メタデータ） (2025-06-28T17:43:32Z)
• Unconditionally Secure Commitments with Quantum Auxiliary Inputs [8.093227427119325]
  2つの関連する異なるモデルにおいて、量子コミットメントに関する以下の無条件の結果を示す。 我々はChailloux, Kerenidis, Rosgen (Comput. Complex. 2016)によって導入された量子補助入力のコミットメントの概念を再考する。 我々は、コモンリファレンス量子状態(CRQS)モデルと呼ばれる新しいモデルを紹介し、コミッタとレシーバは、効率的なセットアップアルゴリズムによってランダムにサンプリングされる同じ量子状態を取る。
  論文  参考訳（メタデータ） (2023-11-30T13:57:30Z)
• Simple Tests of Quantumness Also Certify Qubits [69.96668065491183]
  量子性の検定は、古典的検証者が証明者が古典的でないことを(のみ)証明できるプロトコルである。 我々は、あるテンプレートに従う量子性のテストを行い、(Kalai et al., 2022)のような最近の提案を捉えた。 すなわち、同じプロトコルは、証明可能なランダム性や古典的な量子計算のデリゲートといったアプリケーションの中心にあるビルディングブロックであるqubitの認定に使用できる。
  論文  参考訳（メタデータ） (2023-03-02T14:18:17Z)
• Work statistics, quantum signatures and enhanced work extraction in quadratic fermionic models [62.997667081978825]
  二次フェルミオンモデルでは、突然の駆動と時間依存の駆動の後、作業統計に対する量子補正を決定する。 このような補正は、初期量子状態と時間依存ハミルトニアンの非可換性にある。 後者のおかげで、作業のKDQ分布における古典的でないシグネチャの開始を評価することができる。
  論文  参考訳（メタデータ） (2023-02-27T13:42:40Z)
• Certified Everlasting Zero-Knowledge Proof for QMA [10.973034520723957]
  QMAの認証ゼロ知識証明と呼ばれる新しい妥協を導入する。 QMAの計算ゼロ知識証明であるが、検証者は量子情報が削除されたことを示す古典的な証明を発行する。 我々は、QMAの証明された永遠のゼロ知識証明を構築した。
  論文  参考訳（メタデータ） (2021-09-29T03:05:44Z)
• A Black-Box Approach to Post-Quantum Zero-Knowledge in Constant Rounds [12.525959293825318]
  我々は,統計音性およびブラックボックス$epsilon$-zero-knowledgeを満たすNPのラウンド・インタラクティブ証明を構築した。 我々の研究の核心は、シミュレーターが悪意のある検証者のコミットメッセージを抽出できる新しい量子巻き戻し技術である。
  論文  参考訳（メタデータ） (2020-11-05T05:40:05Z)
• Secure Two-Party Quantum Computation Over Classical Channels [63.97763079214294]
  古典的アリス(Alice)と量子的ボブ(Quantum Bob)が古典的なチャネルを通してのみ通信できるような設定を考える。 悪質な量子逆数の場合,ブラックボックスシミュレーションを用いた2次元量子関数を実現することは,一般に不可能であることを示す。 我々は、QMA関係Rの古典的量子知識(PoQK)プロトコルを入力として、古典的当事者によって検証可能なRのゼロ知識PoQKを出力するコンパイラを提供する。
  論文  参考訳（メタデータ） (2020-10-15T17:55:31Z)
• On the optimal certification of von Neumann measurements [55.41644538483948]
  量子測定の証明は、量子仮説テストの拡張と見なすことができる。 量子チャネルの認証とフォン・ノイマン測度と$q$数値範囲の概念の関連性を示す。
  論文  参考訳（メタデータ） (2020-09-14T22:38:23Z)
• Using Quantum Metrological Bounds in Quantum Error Correction: A Simple Proof of the Approximate Eastin-Knill Theorem [77.34726150561087]
  本稿では、量子誤り訂正符号の品質と、論理ゲートの普遍的な集合を達成する能力とを結びつける、近似したイージン・クニル定理の証明を示す。 我々の導出は、一般的な量子気象プロトコルにおける量子フィッシャー情報に強力な境界を用いる。
  論文  参考訳（メタデータ） (2020-04-24T17:58:10Z)

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

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