論文の概要: Quantum Logspace Computations are Verifiable

• arxiv url: http://arxiv.org/abs/2307.11083v1
• Date: Thu, 20 Jul 2023 17:58:05 GMT
• ステータス: 処理完了
• システム内更新日: 2023-07-21 11:39:56.618534
• Title: Quantum Logspace Computations are Verifiable
• Title（参考訳）: 量子ログスペース計算の検証
• Authors: Uma Girish, Ran Raz, Wei Zhan
• Abstract要約: BQLのすべての言語は検証可能なログスペース証明器と古典的な検証器を持っている。 検証は$O(log n)$ランダムビットのみを使用する。
• 参考スコア（独自算出の注目度）: 7.510385608531827
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: In this note, we observe that quantum logspace computations are verifiable by classical logspace algorithms, with unconditional security. More precisely, every language in BQL has an (information-theoretically secure) streaming proof with a quantum logspace prover and a classical logspace verifier. The prover provides a polynomial-length proof that is streamed to the verifier. The verifier has a read-once one-way access to that proof and is able to verify that the computation was performed correctly. That is, if the input is in the language and the prover is honest, the verifier accepts with high probability, and, if the input is not in the language, the verifier rejects with high probability even if the prover is adversarial. Moreover, the verifier uses only $O(\log n)$ random bits.
• Abstract（参考訳）: 本稿では、量子対数計算が古典的対数アルゴリズムによって検証され、無条件のセキュリティを持つことを観察する。 より正確には、BQLの全ての言語は量子対数証明器と古典対数検証器を備えた(情報理論的に安全な)ストリーミング証明を持つ。 証明者は、検証子にストリームされる多項式長証明を提供する。 検証者は、その証明に対する一方向の読み取りアクセスを持ち、計算が正しく行われたことを検証できる。 すなわち、入力が言語内にあり、証明者が正直であれば、検証者は高い確率で受け入れ、その入力が言語内でなければ、証明者は、たとえ証明者が逆であるとしても、高い確率で拒否する。 さらに、検証者は$O(\log n)$ランダムビットのみを使用する。

関連論文リスト

• Local Reasoning about Probabilistic Behaviour for Classical-Quantum Programs [3.871660145364189]
  確率的振る舞いに関する局所的推論のための新しい量子ホア論理を提案する。 論理学における証明規則は意味論的意味論に関して健全であることを示す。 我々はHHLやショアのアルゴリズムを含む非自明な量子アルゴリズムの正しさを正式に検証する。
  論文  参考訳（メタデータ） (2023-08-09T07:23:22Z)
• Simple Tests of Quantumness Also Certify Qubits [69.96668065491183]
  量子性の検定は、古典的検証者が証明者が古典的でないことを(のみ)証明できるプロトコルである。 我々は、あるテンプレートに従う量子性のテストを行い、(Kalai et al., 2022)のような最近の提案を捉えた。 すなわち、同じプロトコルは、証明可能なランダム性や古典的な量子計算のデリゲートといったアプリケーションの中心にあるビルディングブロックであるqubitの認定に使用できる。
  論文  参考訳（メタデータ） (2023-03-02T14:18:17Z)
• Validation tests of GBS quantum computers give evidence for quantum advantage with a decoherent target [62.997667081978825]
  複数モードデータの検証に指紋としてグループカウント確率の正P位相空間シミュレーションを用いる。 偽データを解き放つ方法を示し、これを古典的なカウントアルゴリズムに適用する。
  論文  参考訳（メタデータ） (2022-11-07T12:00:45Z)
• Making Quantum Local Verifiers Simulable with Potential Applications to Zero-Knowledge [1.5787663289343947]
  局所量子検証器は, 完全性や音質をわずかに低下させることで, シミュレーション可能であることを示す。 我々は、Chen と Movassagh の簡潔な量子論証をシミュレーション可能な局所検証器に適用することは、確かにゼロ知識であると予想する。
  論文  参考訳（メタデータ） (2022-09-22T06:00:38Z)
• Succinct Classical Verification of Quantum Computation [30.91621630752802]
  量子計算のための古典的簡潔な対話的引数(BQP)を構築する。 我々のプロトコルは、識別不能難読化(iO)と学習エラー(LWE)の事後セキュリティを前提として安全である。
  論文  参考訳（メタデータ） (2022-06-29T22:19:12Z)
• Quantum Proofs of Deletion for Learning with Errors [91.3755431537592]
  完全同型暗号方式として, 完全同型暗号方式を初めて構築する。 我々の主要な技術要素は、量子証明器が古典的検証器に量子状態の形でのLearning with Errors分布からのサンプルが削除されたことを納得させる対話的プロトコルである。
  論文  参考訳（メタデータ） (2022-03-03T10:07:32Z)
• Depth-efficient proofs of quantumness [77.34726150561087]
  量子性の証明は、古典的検証器が信頼できない証明器の量子的利点を効率的に証明できる挑戦応答プロトコルの一種である。 本稿では、証明者が量子回路を一定深度でしか実行できない量子性構成の証明を2つ与える。
  論文  参考訳（メタデータ） (2021-07-05T17:45:41Z)
• Post-Quantum Succinct Arguments: Breaking the Quantum Rewinding Barrier [73.70426431502803]
  キリアンの4メッセージ簡潔な引数系は、標準モデルでは量子後安全であることを示す。 これにより、任意の偽の仮定から最初の量子後簡潔な論証システムが得られる。
  論文  参考訳（メタデータ） (2021-03-15T05:09: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)
• Quantum Hoare logic with classical variables [3.1181601933418897]
  古典変数と量子変数の両方を含む簡単な時相言語に対して量子ホア論理を提案する。 古典量子状態とそれに対応するアサーションの新たな定義により、論理体系は非常に単純であり、古典的プログラムの伝統的なホア論理と類似している。
  論文  参考訳（メタデータ） (2020-08-15T23:56:18Z)

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

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