論文の概要: ACE-GF-based Attestation Relay for PQC - Lightweight Mempool Propagation Without On-Path Proofs
- arxiv url: http://arxiv.org/abs/2603.07982v1
- Date: Mon, 09 Mar 2026 05:41:31 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-03-10 15:13:15.51375
- Title: ACE-GF-based Attestation Relay for PQC - Lightweight Mempool Propagation Without On-Path Proofs
- Title（参考訳）: ACE-GF-based Attestation Relay for PQC-Lightweight Mempool Propagation without On-Path Proofs
- Authors: Jian Sheng Wang,
- Abstract要約: 量子後ブロックチェーン設定では、妥当性証明を必要とするオブジェクトは、メムプールとリレーネットワークを介してブロードキャストされなければならない。
STARKはこれらの証明を集約するために提案されており、各ノードは、証明なしで1つの証明と1つのオブジェクトを転送し、ノードごとの証明帯域を約128KBまで制限している。
我々は、伝搬が本質的には経路のみの軽量保証に妥当性証明を必要としないことを観察する。
ビルダー(または最終検証者)のみが、それが含むオブジェクトの集合に対して単一の集約された妥当性証明を実行する。
- 参考スコア（独自算出の注目度）: 1.7429038786735553
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: In post-quantum blockchain settings, objects that require validity proofs (e.g., blob roots, execution-layer or consensus-layer signature aggregates) must be broadcast through mempool and relay networks. Recursive STARKs have been proposed to aggregate such proofs so that each node forwards one proof per tick plus objects without proofs, capping per-node proof bandwidth at roughly 128 KB degree per tick. We observe that propagation does not inherently require validity proofs on the path-only a lightweight assurance that an object is eligible for relay. We present AR-ACE (ACE-GF-based Attestation Relay for PQC), in which relay nodes forward objects plus compact attestations (e.g., identity-bound signatures or commitments) and do not generate, hold, or forward any full validity proof. Only the builder (or final verifier) performs a single aggregated validity proof over the set of objects it includes. This proof-off-path design removes proof overhead from the propagation path entirely, yielding an order-of-magnitude reduction in proof-related relay bandwidth relative to proof-carrying propagation. When instantiated with ACE-GF-derived attestation keys, AR-ACE preserves a unified identity story with on-chain authorization and is PQC-ready. We specify a protocol model, state design goals and security considerations, define security games, and provide a structural bandwidth comparison with recursive-STARK-based propagation.
- Abstract（参考訳）: ポスト量子ブロックチェーン設定では、有効証明を必要とするオブジェクト(例えば、ブロブルート、実行層、コンセンサス層シグネチャ集約)は、メムプールとリレーネットワークを介してブロードキャストされなければならない。
再帰的なSTARKはこれらの証明を集約し、各ノードが証明なしで1つの証明と1つの証明を転送し、ノードごとの証明帯域を約128KBまで制限するように提案されている。
我々は、伝搬が本質的には経路のみの軽量保証に妥当性証明を必要としないことを観察する。
本稿では,AR-ACE(ACE-GF-based Attestation Relay for PQC)を提案する。
ビルダー(または最終検証者)だけが、それが含むオブジェクトの集合に対して単一の集約された妥当性証明を実行する。
この証明オフパス設計は、伝播経路から証明オーバーヘッドを完全に取り除き、証明搬送伝搬に対する証明関連リレー帯域のオーダー・オブ・マグニチュード低減を実現する。
ACE-GF由来の認証キーでインスタンス化されると、AR-ACEはオンチェーン認証で統一されたアイデンティティストーリーを保持し、PQC対応である。
プロトコルモデル、状態設計の目標、セキュリティ上の考慮事項を定義し、セキュリティゲームを定義し、再帰的STARKベースの伝搬と構造的帯域幅の比較を提供する。
関連論文リスト
- ZK-ACE: Identity-Centric Zero-Knowledge Authorization for Post-Quantum Blockchain Systems [1.7429038786735553]
ZK-ACEは、トランザクション転送されたシグネチャオブジェクトをアイデンティティバウンドのゼロ知識認証ステートメントに置き換える認証レイヤである。
我々は,ZK-ACEをゲームベースのセキュリティ定義で形式化し,音声認識,リプレイ抵抗,置換抵抗,クロスドメイン分離を実現した。
構造的、プロトコルレベルのデータ会計は、直接量子後シグネチャ展開に対するコンセンサス可視な認証データのオーダー・オブ・マグニチュードの低減を示す。
論文 参考訳（メタデータ） (2026-03-09T05:21:44Z) - Proof of Trusted Execution: A Consensus Paradigm for Deterministic Blockchain Finality [0.391985484065646]
本稿では,再実行を再現するのではなく,合意が検証実行から生じる合意パラダイムとして,信頼された実行の証明(PoTE)を提案する。
実行は決定論的であり、プロポーサは公開ランダム性から一意に派生しているため、PoTEはフォークを避け、スロット・タイムのボトルネックを排除し、1ラウンドの検証でブロックをコミットする。
論文 参考訳（メタデータ） (2025-12-10T08:04:38Z) - Quantum-Adversary-Resilient Evidence Structures and Migration Strategies for Regulated AI Audit Trails [0.0]
一定サイズの暗号証拠記録は、臨床、薬品、財務設定において、規制されたAIワークロードのための監査証跡を構築するために、ますます使用されている。
しかし、既存のインスタンス化は、量子能力のある敵によって長期のセキュリティが脅かされる古典的なシグネチャスキームに依存している。
本稿では,量子敵の存在下でのエビデンス構造に対するセキュリティ概念を定式化し,デプロイされた監査ログに対するポスト量子インスタンス化とマイグレーション戦略について検討する。
論文 参考訳（メタデータ） (2025-11-27T12:57:44Z) - A Fano-Style Accuracy Upper Bound for LLM Single-Pass Reasoning in Multi-Hop QA [65.38186593873313]
MHQA(Multi-Hop Question Answering)は、ノイズ下でのシーケンシャルな推論を通じて、分散した相互依存的な証拠を統合する必要がある。
我々はMHQAのための概念実証マルチコールフレームワークをInfoQAで紹介する。
我々は、理論とフレームワークを検証するために、厳密で騒音に富んだベンチマークを構築した。
論文 参考訳（メタデータ） (2025-09-25T14:11:57Z) - Automated Proof Generation for Rust Code via Self-Evolution [69.25795662658356]
私たちは、Rustコードの自動証明生成を可能にする、人書きスニペットの欠如を克服するフレームワークであるSAFEを紹介します。
SAFEは、細調整されたモデルの自己老化能力を訓練するために、多数の合成不正確な証明を再利用する。
我々は、人間の専門家によるベンチマークで52.52%の精度で達成し、GPT-4oのパフォーマンス14.39%を大きく上回った。
論文 参考訳（メタデータ） (2024-10-21T08:15:45Z) - QuTE: decentralized multiple testing on sensor networks with false discovery rate control [93.1040521878626]
本稿では、偽発見率(FDR)の証明可能な保証を備えたグラフ上での分散多重仮説検定法を設計する。
異なるエージェントが無向グラフのノードに存在し、各エージェントはそのノードに局所的な1つ以上の仮説に対応するp値を持つ。
各エージェントは、グラフ全体の大域的FDRが予め定義されたレベルで制御されなければならないという共同目的のもと、隣人とのみ通信することで、それぞれのローカル仮説の1つ以上の拒絶を個別に決めなければならない。
論文 参考訳（メタデータ） (2022-10-09T19:48:39Z) - Interpretable Proof Generation via Iterative Backward Reasoning [37.03964644070573]
ルールベース質問回答(QA)における証明生成タスクを解決するための反復的後方推論モデルIRRを提案する。
1) 証明パスのノードとエッジを反復的に後方に予測することで, 詳細な追跡による推論手順の解釈可能性を高めること, 2) 証明生成時に外部ノイズを発生させる可能性のある中間テキストを使わずに, ノードと履歴パスの詳細な表現を推論することで, 効率と精度を向上させること。
論文 参考訳（メタデータ） (2022-05-22T02:44:14Z) - Quantum Proofs of Deletion for Learning with Errors [91.3755431537592]
完全同型暗号方式として, 完全同型暗号方式を初めて構築する。
我々の主要な技術要素は、量子証明器が古典的検証器に量子状態の形でのLearning with Errors分布からのサンプルが削除されたことを納得させる対話的プロトコルである。
論文 参考訳（メタデータ） (2022-03-03T10:07:32Z) - Post-Quantum VRF and its Applications in Future-Proof Blockchain System [13.386254282693335]
検証可能なランダム関数 (VRF) は、その出力の正当性に対する非対話的に公に検証可能な証明を提供する強力な擬似ランダム関数である。
対称鍵プリミティブを用いた単純なVRFソリューションから量子後VRFを得るための汎用コンパイラを提案する。
量子セキュアなVRF(quantum-secure decentralized random beacon)の潜在的な応用例を示す。
論文 参考訳（メタデータ） (2021-09-05T07:10:41Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。