論文の概要: ACE Runtime - A ZKP-Native Blockchain Runtime with Sub-Second Cryptographic Finality

• arxiv url: http://arxiv.org/abs/2603.10242v1
• Date: Tue, 10 Mar 2026 21:39:36 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-03-12 16:22:32.699081
• Title: ACE Runtime - A ZKP-Native Blockchain Runtime with Sub-Second Cryptographic Finality
• Title（参考訳）: ACE Runtime - サブセカンダリな暗号ファイナリティを備えたZKP-Native Blockchain Runtime
• Authors: Jian Sheng Wang,
• Abstract要約: 既存の高性能ブロックチェーンは、クリティカルパス上のトランザクション毎にひとつのシグネチャを検証する。 本稿では、認証認証分離に基づくZKPネイティブ実行層であるACEについて述べる。
• 参考スコア（独自算出の注目度）: 1.7429038786735553
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Existing high performance blockchains verify one signature per transaction on the critical path, which creates O(N) verification cost, high hardware pressure, and difficult post quantum migration. This paper presents ACE Runtime, a ZKP native execution layer built on identity authorization separation. We replace per transaction signature checks with lightweight HMAC attestations in the hot path, then generate one aggregated zero knowledge finality certificate per block in an asynchronous prove stage. The system is organized as an Attest Execute Prove pipeline with two tier finality: soft finality from BFT voting and hard finality from proof verification. Under standard cryptographic assumptions, we provide formal arguments for attestation unforgeability and hard finality irreversibility. We also define a two phase timeout and backup proving path with witness availability gossip for liveness under builder failure. Quantitative results combine analytical modeling with reference implementation measurements. The prototype shows low CPU orchestration overhead, while model driven analysis projects constant per block verification cost, lower validator hardware requirements for non builders, and better bandwidth efficiency than per transaction signature designs. These results indicate that identity authorization separation is a practical architecture for sub second cryptographic finality with a clear path toward stronger post quantum components.
• Abstract（参考訳）: 既存の高性能ブロックチェーンは、クリティカルパス上のトランザクション毎の1シグネチャを検証し、O(N)検証コスト、高いハードウェアプレッシャ、難しいポスト量子マイグレーションを生成する。 本稿では、認証認証分離に基づくZKPネイティブ実行層であるACE Runtimeについて述べる。 各トランザクションシグネチャチェックをホットパスの軽量なHMAC証明に置き換え、非同期な証明段階においてブロック毎に集約されたゼロ知識ファイナリティ証明書を生成する。 このシステムは、BFT投票によるソフト・ファイナリティと証明検証によるハード・ファイナリティの2段階のファイナリティを持つAttest Execute Proveパイプラインとして構成されている。 標準的な暗号的仮定の下では、証明不可能性とハードファイナリティの不可逆性に関する公式な論証を提供する。 また、2段階のタイムアウトとバックアップの証明パスを定義します。 定量的な結果は、分析モデルと参照実装測定を組み合わせる。 プロトタイプではCPUオーケストレーションのオーバーヘッドが低かったが、モデル駆動分析プロジェクトではブロック検証コストが一定であり、非ビルダの検証ハードウェア要件が低く、トランザクションシグネチャ設計よりも帯域幅効率が向上している。 これらの結果は、アイデンティティ認証の分離が、より強力なポスト量子コンポーネントへの明確な経路を持つ第2次暗号ファイナリティの実践的なアーキテクチャであることを示している。

関連論文リスト

• 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)
• Preventing the Collapse of Peer Review Requires Verification-First AI [49.995126139461085]
  我々は、真理結合、すなわち、過度に科学的真理をトラックする場所のスコアの厳密さを提案する。 プロキシ・ソブリン評価に向けた相転移を駆動する2つの力の形式化を行う。
  論文  参考訳（メタデータ） (2026-01-23T17:17:32Z)
• Overcoming Joint Intractability with Lossless Hierarchical Speculative Decoding [58.92526489742584]
  我々は無益な無益な提案をする。 承認されたトークンの数を大幅に増加させる検証方法。 HSDは様々なモデルファミリやベンチマークの受け入れ率に一貫した改善をもたらすことを示す。
  論文  参考訳（メタデータ） (2026-01-09T11:10:29Z)
• 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)
• DiffuSpec: Unlocking Diffusion Language Models for Speculative Decoding [66.40658898418316]
  DiffuSpecは、事前訓練された拡散言語モデル(DLM)を用いて、単一のフォワードパスでマルチトークンのドラフトを生成する、トレーニングフリーのドロップインフレームワークである。 ベンチマーク全体を通じて、DiffuSpecは最大3倍のウォールクロックスピードアップを達成し、投機的復号化のための自己回帰型ドラフトラの堅牢な代替手段として拡散ベースのドラフトを確立する。
  論文  参考訳（メタデータ） (2025-09-28T07:00:15Z)
• Pipeline Parallelism is All You Need for Optimized Early-Exit Based Self-Speculative Decoding [73.67253077506672]
  大規模言語モデル(LLM)は、優れた生成品質を提供するが、非常に高い推論コストをもたらす。 早期排他的自己投機的復号法(EESD)がこのコストを軽減するために登場した。 ドラフトと検証作業を完全にパイプライン化するパイプライン・パラレル自己スペクティブ・デコーディング(PPSD)を提案する。
  論文  参考訳（メタデータ） (2025-09-19T04:51:41Z)
• Need for zkSpeed: Accelerating HyperPlonk for Zero-Knowledge Proofs [19.39122173458594]
  ZKPはブロックチェーン技術、検証可能な機械学習、電子投票に応用されている。 最近の研究により、GPUとASICにおける最先端ZKPプロトコルの重要なプリミティブが加速された。 この研究は、最先端のZKPプロトコルであるHyperPlonkのアクセラレータであるzkSpeedを提示する。
  論文  参考訳（メタデータ） (2025-04-08T16:56:10Z)
• Towards a Formal Foundation for Blockchain Rollups [5.770720128901053]
  ZK-Rollupsは、トランザクションをオフチェーンで処理し、メインチェーンで検証することで、課題に対処することを目指している。 現在の形では、L2はマルチシグ攻撃の影響を受けやすいため、総ユーザー資金の損失につながる可能性がある。 本研究は,アロイ仕様言語を用いて,鍵層2の機能の検証と設計を行う形式解析である。
  論文  参考訳（メタデータ） (2024-06-23T21:12:19Z)
• Quantum Proofs of Deletion for Learning with Errors [91.3755431537592]
  完全同型暗号方式として, 完全同型暗号方式を初めて構築する。 我々の主要な技術要素は、量子証明器が古典的検証器に量子状態の形でのLearning with Errors分布からのサンプルが削除されたことを納得させる対話的プロトコルである。
  論文  参考訳（メタデータ） (2022-03-03T10:07:32Z)

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

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