論文の概要: Security of the Fischlin Transform in Quantum Random Oracle Model
- arxiv url: http://arxiv.org/abs/2602.17307v1
- Date: Thu, 19 Feb 2026 12:18:28 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-02-20 15:21:29.02011
- Title: Security of the Fischlin Transform in Quantum Random Oracle Model
- Title（参考訳）: 量子ランダムOracleモデルにおけるフィシュリン変換のセキュリティ
- Authors: Christian Majenz, Jaya Sharma,
- Abstract要約: 我々は、量子アクセス可能なランダムオラクルモデル(QROM)において、フィシュリン変換が直線抽出可能であることを証明した。
これにより、フィシュリン変換の量子後セキュリティが確立され、より小さい証明サイズでパス変換に代わる、量子後直線抽出可能なNIZKが提供される。
- 参考スコア（独自算出の注目度）: 3.466303200807006
- License: http://creativecommons.org/licenses/by-nc-sa/4.0/
- Abstract: The Fischlin transform yields non-interactive zero-knowledge proofs with straight-line extractability in the classical random oracle model. This is done by forcing a prover to generate multiple accepting transcripts through a proof-of-work mechanism. Whether the Fischlin transform is straight-line extractable against quantum adversaries has remained open due to the difficulty of reasoning about the likelihood of query transcripts in the quantum-accessible random oracle model (QROM), even when using the compressed oracle methodology. In this work, we prove that the Fischlin transform remains straight-line extractable in the QROM, via an extractor based on the compressed oracle. This establishes the post-quantum security of the Fischlin transform, providing a post-quantum straight-line extractable NIZK alternative to Pass' transform with smaller proof size. Our techniques include tail bounds for sums of independent random variables and for martingales as well as symmetrization, query amplitude and quantum union bound arguments.
- Abstract（参考訳）: フィシュリン変換は古典的ランダムオラクルモデルにおいて直線抽出性を持つ非相互作用ゼロ知識証明を生成する。
これは、証明者に対して、作業の証明メカニズムを通じて、複数の受け入れ書き起こしを強制的に生成させることによって行われる。
フィシュリン変換が量子逆数に対して直線抽出可能であるかどうかは、圧縮されたオラクル法を用いても、量子アクセス可能なランダムオラクルモデル(QROM)におけるクエリ転写の可能性を推論することが困難であるため、未解決のままである。
本研究では, 圧縮オラクルに基づく抽出器を用いて, フィシュリン変換がQROM内で直接抽出可能であることを証明した。
これにより、フィシュリン変換の量子後セキュリティが確立され、より小さい証明サイズでパス変換に代わる、量子後直線抽出可能なNIZKが提供される。
我々の手法には、独立確率変数の和のテールバウンダリと、対称性、クエリ振幅、量子ユニオンバウンダリ引数を含む。
関連論文リスト
- Quantum Rewinding for IOP-Based Succinct Arguments [42.12045681000549]
我々は、ベクトルコミットメントスキームが崩壊しているとき、BCS変換のインタラクティブな変種が量子敵に対する標準モデルで安全であることを証明した。
その結果、量子後安全な簡潔な議論の標準モデルを得ることができ、その複雑さを最もよく知ることができる。
論文 参考訳（メタデータ） (2024-11-08T06:33:08Z) - Correcting Subverted Random Oracles [55.4766447972367]
簡単な構成は、少数の入力で元のものと矛盾する「反転」ランダムオラクルを、ランダム関数から微分不可能な対象に変換することができることを証明している。
この結果から, 暗号プリミティブの設計者は, 通常のクリプトグラフィ設定で, ランダムなオラクルを信頼できるブラックボックスとして使用することができる。
論文 参考訳（メタデータ） (2024-04-15T04:01:50Z) - A Quantum "Lifting Theorem" for Constructions of Pseudorandom Generators from Random Oracles [7.454028086083526]
ランダムなオラクルから構築した擬似乱数発生器(PRG)の(量子)セキュリティについて検討する。
我々は、大まかに言えば、そのようなPRGが、ランダムなオラクルに対して無条件に多くのクエリを結び付ける古典的敵に対して無条件に安全であるならば、同じ意味で(無条件で)量子的敵に対して安全であることを示す「持ち上げ定理」を証明している。
論文 参考訳（メタデータ） (2024-01-25T17:13:51Z) - One-Way Ticket to Las Vegas and the Quantum Adversary [78.33558762484924]
量子ラスベガスのクエリの複雑さは、量子対向境界と全く同じであることを示す。
これは、逆反転問題に対する実現可能な解を量子クエリーアルゴリズムに変換することで達成される。
論文 参考訳（メタデータ） (2023-01-05T11:05:22Z) - Posterior Collapse and Latent Variable Non-identifiability [54.842098835445]
柔軟性を犠牲にすることなく識別性を強制する深層生成モデルである,潜時同定可能な変分オートエンコーダのクラスを提案する。
合成および実データ全体にわたって、潜在識別可能な変分オートエンコーダは、後方崩壊を緩和し、データの有意義な表現を提供する既存の方法より優れている。
論文 参考訳（メタデータ） (2023-01-02T06:16:56Z) - Tight Bounds for Inverting Permutations via Compressed Oracle Arguments [0.0]
Zhandryは、量子クエリアルゴリズムとランダム関数に対応する量子オラクルの間の相互作用を研究した。
オラクルがランダム関数の代わりにランダムな置換に対応する場合にも同様の解釈を導入する。
乱数関数と乱数置換の両方がセキュリティ証明において極めて重要であるため、本フレームワークが量子暗号に応用されることを期待する。
論文 参考訳（メタデータ） (2021-03-16T11:05:48Z) - Post-Quantum Succinct Arguments: Breaking the Quantum Rewinding Barrier [73.70426431502803]
キリアンの4メッセージ簡潔な引数系は、標準モデルでは量子後安全であることを示す。
これにより、任意の偽の仮定から最初の量子後簡潔な論証システムが得られる。
論文 参考訳（メタデータ） (2021-03-15T05:09:17Z) - Online-Extractability in the Quantum Random-Oracle Model [10.5811404306981]
本稿では,量子乱数軌道モデルにおける量子クエリーアルゴリズムの一般的なオンライン抽出可能性について述べる。
汎用的なオンライン抽出性の結果の2つの応用例を示す。
教科書藤崎・岡本変換の非漸近後セキュリティ証明を初めて提示する。
論文 参考訳（メタデータ） (2021-03-04T15:09:08Z) - Bernstein-Greene-Kruskal approach for the quantum Vlasov equation [91.3755431537592]
一次元定常量子ブラソフ方程式は、エネルギーを力学変数の1つとして分析する。
量子トンネル効果が小さい半古典的な場合、無限級数解が開発される。
論文 参考訳（メタデータ） (2021-02-18T20:55:04Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。