論文の概要: Quantum Rewinding for IOP-Based Succinct Arguments

• arxiv url: http://arxiv.org/abs/2411.05360v1
• Date: Fri, 08 Nov 2024 06:33:08 GMT
• ステータス: 翻訳完了
• システム内更新日: 2024-11-11 14:54:59.000677
• Title: Quantum Rewinding for IOP-Based Succinct Arguments
• Title（参考訳）: IOP-based Succinct Arguments の量子巻き戻し
• Authors: Alessandro Chiesa, Marcel Dall Agnol, Zijing Di, Ziyi Guan, Nicholas Spooner,
• Abstract要約: 我々は、ベクトルコミットメントスキームが崩壊しているとき、BCS変換のインタラクティブな変種が量子敵に対する標準モデルで安全であることを証明した。 その結果、量子後安全な簡潔な議論の標準モデルを得ることができ、その複雑さを最もよく知ることができる。
• 参考スコア（独自算出の注目度）: 45.5096562396529
• License:
• Abstract: We analyze the post-quantum security of succinct interactive arguments constructed from interactive oracle proofs (IOPs) and vector commitment schemes. We prove that an interactive variant of the BCS transformation is secure in the standard model against quantum adversaries when the vector commitment scheme is collapsing. Our proof builds on and extends prior work on the post-quantum security of Kilians succinct interactive argument, which is instead based on probabilistically checkable proofs (PCPs). We introduce a new quantum rewinding strategy that works across any number of rounds. As a consequence of our results, we obtain standard-model post-quantum secure succinct arguments with the best asymptotic complexity known.
• Abstract（参考訳）: 対話型オラクル証明(IOP)とベクトルコミットメントスキームから構築した簡潔な対話的議論の量子後セキュリティを解析する。 我々は、ベクトルコミットメントスキームが崩壊しているとき、BCS変換のインタラクティブな変種が量子敵に対する標準モデルで安全であることを証明した。 我々の証明は、確率論的に検証可能な証明(PCPs)に基づいて、キリアンスの簡潔な対話的議論のクォータ後のセキュリティに関する先行研究の上に構築され、拡張されている。 我々は、あらゆるラウンドで機能する新しい量子巻き戻し戦略を導入する。 その結果、量子後安全な簡潔な議論の標準モデルを得ることができ、最も漸近的な複雑性が知られている。

関連論文リスト

• Commitments to Quantum States [11.217084610985674]
  コミットフェーズの後、コミットした状態が送信者の視点から隠されている場合、量子メッセージへのコミットが結合される。 量子状態コミットメント(QSC)の隠蔽は、古典的なメッセージに対するコミットメントスキームによってもたらされることを示す。 量子状態へのコミットは多くの新しい暗号可能性への扉を開く。
  論文  参考訳（メタデータ） (2022-10-11T04:34:36Z)
• Succinct Classical Verification of Quantum Computation [30.91621630752802]
  量子計算のための古典的簡潔な対話的引数(BQP)を構築する。 我々のプロトコルは、識別不能難読化(iO)と学習エラー(LWE)の事後セキュリティを前提として安全である。
  論文  参考訳（メタデータ） (2022-06-29T22:19:12Z)
• A Variational Quantum Attack for AES-like Symmetric Cryptography [69.80357450216633]
  古典的AES様対称暗号のための変分量子攻撃アルゴリズム(VQAA)を提案する。 VQAAでは、既知の暗号文は、正規グラフを通して構築されるハミルトンの基底状態として符号化される。
  論文  参考訳（メタデータ） (2022-05-07T03:15:15Z)
• Efficient NIZKs and Signatures from Commit-and-Open Protocols in the QROM [10.5811404306981]
  コミット・アンド・オープンなSigma-protocolsは、非インタラクティブなゼロ知識引数とデジタル署名スキームを構築するための一般的なプロトコルのクラスである。 量子ランダムオラクルモデル(QROM)における厳密なオンライン抽出可能性を証明する。 この結果,デジタル署名方式であるPicnicの量子後セキュリティが向上した。
  論文  参考訳（メタデータ） (2022-02-28T12:51:51Z)
• 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)
• Post-Quantum Succinct Arguments: Breaking the Quantum Rewinding Barrier [73.70426431502803]
  キリアンの4メッセージ簡潔な引数系は、標準モデルでは量子後安全であることを示す。 これにより、任意の偽の仮定から最初の量子後簡潔な論証システムが得られる。
  論文  参考訳（メタデータ） (2021-03-15T05:09:17Z)
• Quantum Sampling for Optimistic Finite Key Rates in High Dimensional Quantum Cryptography [1.5469452301122175]
  我々は、サンプリングベースのエントロピー不確実性関係を再検討し、より新しく、より強力な関係を導き、それらをソース非依存の量子乱数生成器や高次元量子鍵分布プロトコルに適用する。 これらのサンプリングに基づくエントロピー不確実性へのアプローチとその量子暗号への応用は、量子暗号システムのセキュリティの証明を導出する大きな可能性を秘めている。
  論文  参考訳（メタデータ） (2020-12-08T01:32:59Z)
• A Black-Box Approach to Post-Quantum Zero-Knowledge in Constant Rounds [12.525959293825318]
  我々は,統計音性およびブラックボックス$epsilon$-zero-knowledgeを満たすNPのラウンド・インタラクティブ証明を構築した。 我々の研究の核心は、シミュレーターが悪意のある検証者のコミットメッセージを抽出できる新しい量子巻き戻し技術である。
  論文  参考訳（メタデータ） (2020-11-05T05:40:05Z)
• Einselection from incompatible decoherence channels [62.997667081978825]
  我々は、CQED実験にインスパイアされたオープン量子力学を、2つの非可換リンドブラッド作用素を用いて解析する。 Fock状態は、決定的な結合をデコヒーレンスにデコヒーレンスする最も堅牢な状態のままであることを示す。
  論文  参考訳（メタデータ） (2020-01-29T14:15:19Z)

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

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