論文の概要: Secure AltDA Integration for Ethereum L2s: An End-to-End Validation Framework

• arxiv url: http://arxiv.org/abs/2606.03010v1
• Date: Tue, 02 Jun 2026 01:31:03 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-06-03 22:00:04.67773
• Title: Secure AltDA Integration for Ethereum L2s: An End-to-End Validation Framework
• Title（参考訳）: Ethereum L2s用のセキュアなAltDA統合:エンドツーエンド検証フレームワーク
• Authors: Bowen Xue, Samuel Laferriere,
• Abstract要約: オルタナティブデータアベイラビリティ(AltDA)システムは、高いスループットのロールアップ設計のための外部データパブリッシュ層をL2に提供する。 既存のエコシステムフレームワークは、外部のDA信頼前提やDA検証の有無など、高いレベルのリスクを特定します。 本稿では,安全なAltDA統合のための標準検証フレームワークを提案する。
• 参考スコア（独自算出の注目度）: 0.14732811715354452
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Alternative data availability (AltDA) systems provide Ethereum L2s with an external data publication layer for high throughput rollup designs. By moving bulk data publication outside of Ethereum, AltDA allows L2s to process more data than native DA. However, this replacement introduces a new consensus critical integration layer. Existing ecosystem frameworks identify high level risks, such as external DA trust assumptions and the presence or absence of a DA verifier, but do not provide a complete specification for how an L2 should integrate with AltDA. This gap can lead to L2 halts, inconsistent derivation across honest L2 nodes, invalid state assertions, or bridge attacks. This paper presents a canonical validation framework for secure AltDA integration. We model the boundary as a typed, deterministic, and total translation from L1 inbox bytes to an AltDA commitment, then to externally available data, and finally to the rollup payload consumed by the rest of core L2s logic. The central principle is that every adversarial input must lead to a defined unique outcome. We show how missing obligations lead to concrete failure modes, including underconstrained settlement, derivation halts, inconsistent honest node behavior, invalid state assertions, and bridge safety failures. We then apply the framework to representative AltDA integration architectures, including Celestia-Blobstream, EigenDA based designs, and Avail-ZKsync. Our evaluation shows that secure AltDA integration is not determined solely by the DA provider or bridge. The surrounding L2 integration must also enforce the full validation relation connecting L1 inbox inputs to accepted L2 state.
• Abstract（参考訳）: 代替データアベイラビリティ(AltDA)システムは、Ethereum L2に高スループットロールアップ設計のための外部データパブリッシュ層を提供する。 Ethereumの外でバルクデータのパブリッシュを移動することで、AltDAはL2がネイティブDAよりも多くのデータを処理することができる。 しかし、この代替は新たなコンセンサスクリティカルな統合レイヤを導入します。 既存のエコシステムフレームワークは、外部のDA信頼前提やDA検証の有無といった高いレベルのリスクを識別するが、L2がAltDAとどのように統合すべきかの完全な仕様は提供していない。 このギャップは、L2停止、正直なL2ノード間の一貫性のない導出、無効な状態アサーション、ブリッジアタックにつながる可能性がある。 本稿では,安全なAltDA統合のための標準検証フレームワークを提案する。 我々は、境界をL1インボックスバイトからAltDAコミットメントへのタイプ付き、決定論的、総変換としてモデル化し、次に外部利用可能なデータに、最後にコアL2のロジックの残りの部分で消費されるロールアップペイロードにモデル化する。 中心的な原理は、全ての逆入力は定義された一意の結果をもたらす必要があることである。 過度に制約された解決,導出停止,一貫性のないノード動作,無効な状態宣言,橋梁の安全障害など,具体的な障害モードが欠如していることを示す。 次に、Celestia-Blobstream、EigenDAベースの設計、Avail-ZKsyncなど、AltDA統合アーキテクチャの代表としてフレームワークを適用します。 我々の評価では、安全なAltDA統合は、DAプロバイダやブリッジによってのみ決定されるものではない。 周囲のL2統合はまた、L1インボックス入力を許容されたL2状態に接続する完全な検証関係を強制する必要がある。

関連論文リスト

• Harness as an Asset: Enforcing Determinism via the Convergent AI Agent Framework (CAAF) [0.0]
  大規模言語モデルは、安全クリティカルエンジニアリングにおける制御可能性のギャップを生み出します。 本稿では,エージェントをオープンループ生成からクローズループフェールセーフ決定性に移行するConvergent AI Agent Framework(CAAF)を紹介する。 CAAFの3つの柱は相補的な故障面に対処し、コモディティコストで制御可能性ギャップを閉じることはない。
  論文  参考訳（メタデータ） (2026-04-18T15:15:09Z)
• Denoise and Align: Towards Source-Free UDA for Robust Panoramic Semantic Segmentation [15.894184339483658]
  パノラマセマンティックセマンティックセグメンテーションは、自動運転やバーチャルリアリティーといった重要な応用における360度シーン理解の鍵となる。 2つの主要な課題は、パノラマ射影に固有の厳密な幾何学的歪みと、密接なアノテーションの禁止コストである。 DAPASSは、ソースデータなしで知識を堅牢に伝達するフレームワークである。
  論文  参考訳（メタデータ） (2026-03-26T07:54:43Z)
• Why Does the LLM Stop Computing: An Empirical Study of User-Reported Failures in Open-Source LLMs [50.075587392477935]
  オープンソースのDeepSeek、Llama、Qwenのエコシステムから、705の現実世界の失敗に関する大規模な実証的研究を行った。 ホワイトボックスオーケストレーションは、モデルアルゴリズムの欠陥からデプロイメントスタックのシステム的脆弱性へと、信頼性のボトルネックを移動させます。
  論文  参考訳（メタデータ） (2026-01-20T06:42:56Z)
• Zer0n: An AI-Assisted Vulnerability Discovery and Blockchain-Backed Integrity Framework [0.0]
  Zer0nは、Large Language Models(LLM)の推論能力をブロックチェーン技術の不変監査パスに固定するフレームワークである。 ロジックベースの脆弱性検出のためにGemini 2.0 ProとAvalanche C-Chainを統合した。
  論文  参考訳（メタデータ） (2026-01-11T18:27:52Z)
• Overcoming Joint Intractability with Lossless Hierarchical Speculative Decoding [58.92526489742584]
  我々は無益な無益な提案をする。 承認されたトークンの数を大幅に増加させる検証方法。 HSDは様々なモデルファミリやベンチマークの受け入れ率に一貫した改善をもたらすことを示す。
  論文  参考訳（メタデータ） (2026-01-09T11:10:29Z)
• Unsupervised Robust Domain Adaptation: Paradigm, Theory and Algorithm [58.350254095190365]
  教師なしドメイン適応(Unsupervised domain adapt, UDA)は、ラベル豊富なソースドメインから、ドメインシフトに対処することで、ラベルなしのターゲットドメインに知識を転送することを目的としている。 ほとんどのUDAアプローチは転送能力を強調しているが、敵の攻撃に対する堅牢性を見落としていることが多い。 本稿は, 1) 防衛効果として知られるVATがUDAパラダイムで失敗する理由, 2) 攻撃下の一般化境界理論と, 古典的UDA理論からどのように進化するか, の3つに焦点をあてる。
  論文  参考訳（メタデータ） (2025-11-14T06:54:06Z)
• Context Lineage Assurance for Non-Human Identities in Critical Multi-Agent Systems [0.08316523707191924]
  本稿では,アタッチメントのみのメルクル木構造に固定された系統検証のための暗号的基盤機構を提案する。 従来のA2Aモデルとは異なり、本手法ではエージェントと外部検証器の両方が暗号的にマルチホップ前駆体を検証できる。 並行して、A2Aエージェントカードを拡張して、明示的な識別認証プリミティブを組み込むことにより、NHI表現の正当性を確認することができる。
  論文  参考訳（メタデータ） (2025-09-22T20:59:51Z)
• Train Till You Drop: Towards Stable and Robust Source-free Unsupervised 3D Domain Adaptation [62.889835139583965]
  本研究では,3次元セマンティックセグメンテーションのための非教師なし領域適応(SFUDA)の問題に取り組む。 ソースデータにアクセスすることなく、ラベルのないターゲットドメインでドメイン適応を実行する。 既存のSFUDAアプローチの一般的な問題は、あるトレーニング時間後にパフォーマンスが低下することです。
  論文  参考訳（メタデータ） (2024-09-06T17:13:14Z)
• LEAD: Learning Decomposition for Source-free Universal Domain Adaptation [17.94547232392788]
  LEArning Decomposition(LEArning Decomposition)という新たなアイデアを提案する。 VisDAデータセットのOPDAシナリオでは、LEADはGLCを3.5%上回り、疑似ラベル決定境界を導出する75%の時間を短縮する。
  論文  参考訳（メタデータ） (2024-03-06T03:08:20Z)
• CoSDA: Continual Source-Free Domain Adaptation [78.47274343972904]
  ソースデータにアクセスせずに、ソースフリードメイン適応(SFDA)は、ソースドメインのトレーニングされたモデルからターゲットドメインに知識を転送する。 最近では、ソースドメインのデータプライバシ保護の必要性から、SFDAの人気が高まっている。 教師-学生モデルペアを2倍高速に最適化し,整合性学習機能を備えた,CoSDAという連続的ソースフリードメイン適応手法を提案する。
  論文  参考訳（メタデータ） (2023-04-13T15:53:23Z)
• Understanding the Limits of Unsupervised Domain Adaptation via Data Poisoning [66.80663779176979]
  教師なしドメイン適応(UDA)は、対象ドメインラベルなしでドメイン間の学習を可能にする。 本稿では,ソース領域誤りの最小化と,ターゲット領域誤りの低減を保証するための限界分布ミスマッチの有効性を示す。 そこで本研究では,UDA手法を誤用した新たなデータ中毒攻撃手法を提案する。
  論文  参考訳（メタデータ） (2021-07-08T15:51:14Z)

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

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