論文の概要: Finality Before Disclosure for Ledger Authenticators in the Quantum Random Oracle Model

• arxiv url: http://arxiv.org/abs/2608.18605v1
• Date: Wed, 19 Aug 2026 06:49:05 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-08-20 20:13:55.312524
• Title: Finality Before Disclosure for Ledger Authenticators in the Quantum Random Oracle Model
• Title（参考訳）: 量子ランダムOracleモデルにおけるLedger認証者の開示前の最終性
• Abstract要約: 我々は,リアクティブ認証プロトコルの非偽造性実験である,台帳認証とLAEUF$を紹介する。 このモデルは、認証の安全性を台帳の生鮮度から切り離し、正準移行の鮮度、適応的な腐敗、包摂前の露出、検閲、および敵の秩序をキャプチャする。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Public ledgers increasingly authorize state transitions using prior transactions, finalized state, timing, and ordering rather than only a public key, message, and portable signature. We introduce ledger authenticators and $\LAEUF$, an unforgeability experiment for reactive authorization protocols whose public judgment algorithm reads a finalized transcript. The model separates authentication safety from ledger liveness and captures canonical transition freshness, adaptive corruption, exposure before inclusion, censorship, and adversarial ordering. We identify two conditional resource boundaries. An authenticator satisfying our single event conditions yields a contextual one-time signature. Within our rebindable reveal class, safety requires computational post-disclosure non-admissibility. When precursor admission uses only public computation and ledger scheduling, this condition is enforced by closing the evidence eligible to use a disclosed credential. If newly constructed evidence remains admissible after disclosure, censoring the honest reveal gives a forgery. We then define a joint ledger and quantum random oracle execution model in which quantum state persists across classical finalization cuts and oracle evaluations made through the ledger are charged. For a closed finalized target set of size at most $K$, we prove the bound $3β_{\mathsf{cut}}^2+3c_{\mathsf{co}}KQ^2/2^λ+6\ell/2^λ$, where $β_{\mathsf{cut}}$ accounts for fresh openings already present at the cut. A commit, close, reveal authenticator instantiates the framework and obtains a multi-user lifetime QROM bound.
• Abstract（参考訳）: 公開台帳は、公開鍵、メッセージ、ポータブルシグネチャだけでなく、事前のトランザクション、最終的な状態、タイミング、順序を使った状態遷移をますます承認する。 我々は、台帳認証と、公開判定アルゴリズムが最終的な転写文を読み取るリアクティブ認証プロトコルのための偽造不可能な実験である$\LAEUF$を紹介した。 このモデルは、認証の安全性を台帳の生い立ちから切り離し、正統的な移行の鮮度、適応的な腐敗、包摂前の露出、検閲、および敵の注文をキャプチャする。 条件付きリソース境界を2つ同定する。 単一のイベント条件を満たす認証器は、コンテキストのワンタイムシグネチャを生成する。 再結合可能な公開クラスでは、安全性には計算後の非許容性が必要です。 前者入力が公開計算と台帳スケジューリングのみを使用する場合、この条件は、開示されたクレデンシャルを使用する資格のある証拠を閉じることによって強制される。 開示後、新たに構築された証拠が引き続き認められている場合、正直な暴露を検閲することは偽造である。 次に,量子状態が古典的ファイナライズカットにまたがって持続し,台帳によるオラクル評価が課金される,共同台帳と量子ランダムオラクル実行モデルを定義する。 最大$K$で閉じた最終的なターゲット集合に対して、有界な3β_{\mathsf{cut}}^2+3c_{\mathsf{co}}KQ^2/2^λ+6\ell/2^λ$ を証明する。 コミットがクローズで、認証者がフレームワークをインスタンス化し、マルチユーザ寿命のQROMバウンドを取得する。

関連論文リスト

• Obscura-PQ: Post-Quantum Privacy-Preserving Protocol for the Algorand Blockchain Using Lattice-Based Linkable Ring Signatures [0.0]
  本稿では、Algorandブロックチェーンを検証した分散化された非量子後プライバシプロトコルであるemphObscura-PQを提案する。 鉱床は短い秘密に結合する環-SISであり、離脱はAOS/ボロメアン様式の挑戦鎖を介して環を開くことの知識を証明している。 本研究は,Ring-LWEと匿名性,および古典的ランダムオーラモデルにおける明示的な決定的リンク仮定の両端の音質とRing-SISとの結合性を低減することを目的とする。
  論文  参考訳（メタデータ） (2026-08-23T23:03:51Z)
• Privacy-Preserving Compliance on Public Ledgers via Selective Disclosure Authorization Schemes [9.133320151595084]
  我々は、公開台帳の粒度と取り消し可能なコンプライアンスチェックのための暗号プリミティブを、その基盤となる証人を明らかにすることなく開発する。 そこで我々は,ゼロ知識証明をオンチェーンアドレスにアンロックする14制約Circom回路を用いて,送信側バインディングコンポーネントを実装した。 ブラウザベースの証明生成は200ミリ秒未満で実行され、オンチェーンの検証コストは240,512ガスで、異なる呼び出し者による証明再利用を中和し、厳格な属性プライバシを保存する。
  論文  参考訳（メタデータ） (2026-06-18T09:38:13Z)
• MEV-ACE: Identity-Authenticated Fair Ordering for Proposer-Controlled MEV Mitigation [1.7429038786735553]
  MEV(Maximal Extractable Value)は、ブロックチェーンの公正性に対する構造的な脅威である。 本稿では,MEV の順序制御のための公平な順序付けプロトコル MEV ACE を提案する。 プロトコルはシングルスロットのままであり、しきい値復号化委員会を必要とせず、ML DSA 44のようなポスト量子署名スキームと互換性がある。
  論文  参考訳（メタデータ） (2026-04-08T20:12:06Z)
• ZK-ACE: Identity-Centric Zero-Knowledge Authorization for Post-Quantum Blockchain Systems [1.7429038786735553]
  ZK-ACEは、トランザクション転送されたシグネチャオブジェクトをアイデンティティバウンドのゼロ知識認証ステートメントに置き換える認証レイヤである。 我々は,ZK-ACEをゲームベースのセキュリティ定義で形式化し,音声認識,リプレイ抵抗,置換抵抗,クロスドメイン分離を実現した。 構造的、プロトコルレベルのデータ会計は、直接量子後シグネチャ展開に対するコンセンサス可視な認証データのオーダー・オブ・マグニチュードの低減を示す。
  論文  参考訳（メタデータ） (2026-03-09T05:21:44Z)
• IMMACULATE: A Practical LLM Auditing Framework via Verifiable Computation [49.796717294455796]
  経済的なモチベーションのある逸脱を検出するための実践的な監査フレームワークIMMACULATEを提案する。 IMMACULATEは、検証可能な計算を用いて少数のリクエストを選択的に監査し、暗号オーバーヘッドを償却しながら強力な検出保証を達成する。
  論文  参考訳（メタデータ） (2026-02-26T07:21:02Z)
• Cloning Games, Black Holes and Cryptography [50.022147589030304]
  クローンゲーム解析のための新しいツールキットを提案する。 このフレームワークにより、バイナリフェーズ状態に基づいて新しいクローンゲームを分析することができる。 連成位相の変分最適境界は、ブラックホールの理想化されたモデルで衝突する情報について定量的な洞察を与えることを示す。
  論文  参考訳（メタデータ） (2024-11-07T14:09:32Z)
• The Latency Price of Threshold Cryptosystem in Blockchains [52.359230560289745]
  本稿では,Byzantine-fault Tolerant(BFT)コンセンサスプロトコルを用いた,しきい値暗号とブロックチェーンのクラス間の相互作用について検討する。 Aptosのメインネットからの測定によると、楽観的なアプローチは遅延オーバーヘッドを71%削減する。
  論文  参考訳（メタデータ） (2024-07-16T20:53:04Z)
• Asynchronous Authentication [3.038642416291856]
  デジタル資産盗難と個人情報盗難事件は、ユーザー認証の基礎を再考する緊急の必要性を示している。 非同期認証の一般的なケースを非有界メッセージ伝搬時間で定式化する。 我々のモデルは、暗号保証を維持するために実行時間を制限しながら、最終的なメッセージ配信を可能にします。
  論文  参考訳（メタデータ） (2023-12-21T15:53:54Z)
• How to Sign Quantum Messages [0.0]
  本稿では、時間依存(TD)シグネチャの概念を紹介し、量子メッセージのシグネチャは署名の時間に依存する。 次に,量子記憶モデルについて考察する。 このモデルでは、量子メッセージは情報理論のセキュリティで署名できることを示す。
  論文  参考訳（メタデータ） (2023-04-13T08:05:19Z)
• Quantum Proofs of Deletion for Learning with Errors [91.3755431537592]
  完全同型暗号方式として, 完全同型暗号方式を初めて構築する。 我々の主要な技術要素は、量子証明器が古典的検証器に量子状態の形でのLearning with Errors分布からのサンプルが削除されたことを納得させる対話的プロトコルである。
  論文  参考訳（メタデータ） (2022-03-03T10:07:32Z)
• Quantum copy-protection of compute-and-compare programs in the quantum random oracle model [48.94443749859216]
  計算・比較プログラム(Computer-and-compare program)として知られる回避関数のクラスに対する量子コピー保護スキームを導入する。 我々は,量子乱数オラクルモデル(QROM)において,完全悪意のある敵に対する非自明なセキュリティを実現することを証明した。 補完的な結果として、「セキュアソフトウェアリース」という,ソフトウェア保護の概念の弱さが示される。
  論文  参考訳（メタデータ） (2020-09-29T08:41:53Z)
• Quantum-secure message authentication via blind-unforgeability [74.7729810207187]
  我々は、ブラインド・アンフォージェビリティ(英語版)と呼ばれる量子敵に対する非フォージェビリティ(英語版)の自然な定義を提案する。 この概念は、予測値に「部分的に盲目」アクセスを使用できる敵が存在する場合、関数を予測可能と定義する。 標準構造と減量支援のためのブラインド・アンフォージェビリティの適合性を示す。
  論文  参考訳（メタデータ） (2018-03-10T05:31:38Z)

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

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