論文の概要: Instantiating Microcrypt: Obstacles and opportunities via tailored state certification
- arxiv url: http://arxiv.org/abs/2609.15842v1
- Date: Mon, 14 Sep 2026 16:39:48 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-09-16 07:15:06.514265
- Title: Instantiating Microcrypt: Obstacles and opportunities via tailored state certification
- Title（参考訳）: マイクロ暗号化の確立: 適切な状態認証による障害と機会
- Abstract要約: ハミルトン位相状態仮定が真であれば、一方通行函数が存在することを証明する。
これにより、真のマイクロ暗号をハミルトン位相状態でインスタンス化する可能性が排除される。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Recent work has introduced the Hamiltonian phase state (HPS) assumptions, which postulate that Hamiltonian phase states can be used to instantiate pseudorandom and one-way state generators. Additionally, it has been conjectured that these assumptions can be true, even if one-way functions do not exist. This is exciting, because if true, then the HPS assumptions provide a route to the instantiation of Microcrypt. In this work we falsify this conjecture, by proving that if the HPS assumptions are true, then one-way functions exist. While this removes the possibility of instantiating genuine Microcrypt cryptography with Hamiltonian phase states, it shows that the HPS assumptions provide novel inherently quantum assumptions for the construction of classical cryptography. Technically we achieve this via a method for the construction of one-way puzzles from one-way state generators and tailored "measure first, ask later" state certification protocols. This generalizes prior constructions of one-way puzzles from one-way state generators via classical shadows and allows us to relate properties of the one-way puzzle to properties of the state certification protocol used in the construction. Specifically, if the state certification protocol admits efficient classical post-processing then one obtains an efficiently verifiable one-way puzzle, and if the state certification protocol can be efficiently classically simulated in a certain sense, then one obtains a classical one-way puzzle, which implies one-way functions. The latter observation allows us to prove that the HPS assumptions imply one-way functions, by exploiting properties of state certification protocols for phase states. The former observation provides a new toolbox for the construction of efficiently verifiable one-way puzzles by exploiting tailored state certification protocols for pseudorandom and one-way state generators.
- Abstract（参考訳）: 最近の研究はハミルトン相状態 (HPS) の仮定を導入しており、これはハミルトン相状態が擬似ランダムおよび片方向状態発生器のインスタンス化に使用できることを仮定している。
さらに、これらの仮定は、たとえ片方向函数が存在しないとしても、真である可能性があると推測されている。
なぜなら、もし本当なら、HPSの仮定はMicrocryptのインスタンス化への道を提供するからである。
この研究において、HPSの仮定が真であれば片方向函数が存在することを証明して、この予想を偽造する。
これは、真のマイクロ暗号をハミルトン相の状態でインスタンス化する可能性を排除しているが、HPSの仮定は古典暗号の構築に固有の量子的仮定を与えることを示している。
技術的には、一方的な状態生成器から一方的なパズルを構築するための手法と、状態認証プロトコルをカスタマイズした「第1、第2、第2、第2、第2、第2、第2、第2、第2、第2、第2、第2、第2、第2、第2、第2、第2、第2、第2、第2、第2、第2、第2、第2、第2、第2、第2、第2、第2、第2、第2、第2、第2、第2、第2、第2、第2、第2、第2、第2、第2、第2、第2、第2、第2、第2、第2、第2、第2、第2、第2、第2、第2、第2、第2、第2、第2、第2
これにより、一方向パズルの先行構成を古典的なシャドウを通して一方向状態発生器から一般化し、一方向パズルの特性と構築に使用される状態認証プロトコルの特性を関連付けることができる。
具体的には、状態認証プロトコルが効率的な古典的後処理を許容した場合、効率よく検証可能な一方通行パズルを取得し、状態認証プロトコルが特定の意味で効率よく古典的にシミュレートできるならば、一方通行関数を意味する古典的一方通行パズルを得る。
後者の観測では、位相状態に対する状態認証プロトコルの特性を活用することにより、HPSの仮定が一方的機能を意味することを示すことができる。
前者の観察では、擬似ランダムと一方向ステートジェネレータに適した状態認証プロトコルを活用することにより、効率よく検証可能な一方向パズルを構築するための新しいツールボックスを提供する。
関連論文リスト
- Equivalence Between Average-Case Hardness of Learning and Cryptography for Mixed Quantum States [46.644955105516466]
混合量子状態に対するAHLの存在は、非効率で検証可能な一方向状態発生器(IV-OWSG)の存在と等価であることを示す。
既存の結果と相関して,SWAPオラクルに対するIV-OWSGsとOWSGsを分離する。
論文 参考訳（メタデータ） (2026-08-14T14:20:46Z) - Quantum Sequential Universal Hypothesis Testing [62.751483592497806]
量子仮説テスト(QHT)は、未知の量子状態の統計的推測に関するものである。
本稿では, 量子シーケンシャルユニバーサルテスト(QSUT)を紹介し, 合成仮説の一般的な場合において, シーケンシャルQHTのための新しいフレームワークを提案する。
QSUTは普遍的推論に基づいて構築され、仮説空間の探索を目的とした適応的局所測定と、最大判別に最適化された共同測定とを交互に行う。
論文 参考訳（メタデータ） (2025-08-29T12:50:04Z) - Quantum Hypothesis Testing Lemma for Deterministic Identification over Quantum Channels [49.126395046088014]
この研究は、量子設定におけるDIコードの存在が、出力量子状態の修正された空間における適切なパッキングから従うことを示した。
これにより、同時復号化アプローチを超えて、量子チャネル上でのDIのキャパシティの低いバウンダリを厳格化することができる。
論文 参考訳（メタデータ） (2025-04-29T17:57:36Z) - Pseudorandom quantum authentication [0.8204952610951527]
擬似ランダム量子認証方式(PQAS)を導入する。
擬似ランダムユニタリ(PRU)の存在のみに依存する量子状態の効率的な方法である。
論文 参考訳（メタデータ） (2025-01-01T20:46:37Z) - Efficient Quantum Pseudorandomness from Hamiltonian Phase States [41.94295877935867]
我々は、ハミルトニアン相状態(HPS)問題と呼ばれる量子硬度仮定を導入する。
我々は、我々の仮定が少なくとも完全に量子的であることを示し、すなわち片方向関数を構成するのに使用できない。
仮定とその変形により、多くの擬似ランダム量子プリミティブを効率的に構築できることを示す。
論文 参考訳（メタデータ） (2024-10-10T16:10:10Z) - Pseudo-Entanglement is Necessary for EFI Pairs [0.0]
我々は、新しい量子資源、擬似絡み合いを考察し、EFI対の存在が擬似絡み合いの存在を意味することを示す。
この結果は,計算暗号の分野において重要な意味を持つ。
論文 参考訳（メタデータ） (2024-06-11T01:44:16Z) - Single-Round Proofs of Quantumness from Knowledge Assumptions [41.94295877935867]
量子性の証明は、効率的な量子コンピュータが通過できる、効率よく検証可能な対話型テストである。
既存のシングルラウンドプロトコルは大きな量子回路を必要とするが、マルチラウンドプロトコルはより小さな回路を使用するが、実験的な中間回路測定を必要とする。
我々は、既存の知識仮定に基づいて、量子性の効率的なシングルラウンド証明を構築した。
論文 参考訳（メタデータ） (2024-05-24T17:33:10Z) - Entropy Accumulation under Post-Quantum Cryptographic Assumptions [4.416484585765028]
デバイス非依存(DI)量子プロトコルでは、セキュリティステートメントは量子装置の特性を損なう。
本稿では,量子情報理論のツールの組み合わせを利用して,そのようなプロトコルの安全性を証明するフレキシブルなフレームワークを提案する。
論文 参考訳（メタデータ） (2023-07-02T12:52:54Z) - Encryption with Quantum Public Keys [1.7725414095035827]
本稿では,一方の関数とより弱い仮定から量子公開鍵暗号スキームを構築するという課題について考察する。
本研究では,一方の関数からの量子公開鍵暗号,擬似乱数関数様状態と擬似乱数関数様状態との3つのスキームを提案する。
論文 参考訳（メタデータ） (2023-03-09T16:17:19Z) - Sparse random Hamiltonians are quantumly easy [105.6788971265845]
量子コンピュータの候補は、量子システムの低温特性をシミュレートすることである。
本稿は、ほとんどのランダムハミルトニアンに対して、最大混合状態は十分に良い試行状態であることを示す。
位相推定は、基底エネルギーに近いエネルギーの状態を効率的に生成する。
論文 参考訳（メタデータ） (2023-02-07T10:57:36Z) - Pseudorandom (Function-Like) Quantum State Generators: New Definitions
and Applications [7.2051162210119495]
擬似ランダム状態の新しい定義、新しい性質、応用について検討する。
Pseudorandom quantum state (PRS) は、計算的にハールランドムと区別できない効率的な構成可能な状態である。
対数的な出力長を持つPSSジェネレータは、古典的な通信によるコミットメントと暗号化スキームを暗示している。
論文 参考訳（メタデータ） (2022-11-02T19:24:55Z) - Quantum Proofs of Deletion for Learning with Errors [91.3755431537592]
完全同型暗号方式として, 完全同型暗号方式を初めて構築する。
我々の主要な技術要素は、量子証明器が古典的検証器に量子状態の形でのLearning with Errors分布からのサンプルが削除されたことを納得させる対話的プロトコルである。
論文 参考訳（メタデータ） (2022-03-03T10:07:32Z) - Interactive Protocols for Classically-Verifiable Quantum Advantage [46.093185827838035]
証明者と検証者の間の「相互作用」は、検証可能性と実装のギャップを埋めることができる。
イオントラップ量子コンピュータを用いた対話型量子アドバンストプロトコルの最初の実装を実演する。
論文 参考訳（メタデータ） (2021-12-09T19:00:00Z) - Sample-efficient device-independent quantum state verification and
certification [68.8204255655161]
量子情報源の認証は、量子情報処理のための信頼性と効率的なプロトコルを構築する上で重要な課題である。
我々は、有限複写方式におけるIDI仮定のない量子状態のデバイス非依存検証のための体系的なアプローチを開発する。
デバイス非依存の検証を最適なサンプル効率で行うことができることを示す。
論文 参考訳（メタデータ） (2021-05-12T17:48:04Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。