論文の概要: Reproducible Validation of Voucher-Based L2 Interoperability: Diagnosing an ERC-4337 Compatibility Issue in an EIL SDK Implementation
- arxiv url: http://arxiv.org/abs/2607.05914v1
- Date: Tue, 07 Jul 2026 07:09:18 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-07-08 21:24:51.429145
- Title: Reproducible Validation of Voucher-Based L2 Interoperability: Diagnosing an ERC-4337 Compatibility Issue in an EIL SDK Implementation
- Title（参考訳）: Voucher-based L2 Interoperability の再現性検証: EIL SDK 実装における ERC-4337 互換性問題の検出
- Authors: Cheng-En Lee, Yu-Chien Huang, Yun-Cheng Tsai,
- Abstract要約: クロスロールの相互運用性は、ブリッジングの問題だけでなく、ウォレット、実行、バリデーションの問題でもある。
Interop Layer (EIL) は、ユーザがオリジンチェーン上でブーチャーリクエストを作成し、デスティネーションチェーン上でXLP署名のブーチャーを再発行する、ブーチャーベースのアーキテクチャを提案する。
本稿では、再現可能な2-L2検証フレームワークと、その問題に対する互換性の調整について述べる。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Ethereum Layer-2 (L2) ecosystems improve scalability but also fragment users, liquidity, gas funding, and execution across rollups. Consequently, cross-rollup interoperability is not only a bridging problem but also a wallet, execution, and validation problem. Ethereum Interop Layer (EIL) proposes a voucher-based architecture in which users create voucher requests on an origin chain and redeem XLP-signed vouchers on a destination chain. When reproducing the evaluated SDK version in a controlled local environment, we observed a compatibility issue in the \texttt{UserOperation} path: paymaster-related data can differ after signing, preventing a stable comparison between the user-authorized representation and the representation later inspected by the local validation flow. This paper presents a reproducible two-L2 validation framework and a controlled compatibility mitigation for that issue. We build a deterministic local testbed over Arbitrum- and Optimism-style development chains, deploy the core paymaster and bridge-related components, implement mock bundlers and event-driven XLP providers, and introduce a sanitized paymaster-data handling path together with a compatible multichain account wrapper. Using this framework, we execute the core voucher lifecycle from request creation to destination-chain voucher redemption and asset release. The contribution is an empirical diagnosis of an implementation-level compatibility barrier, a bounded mitigation that restores controlled end-to-end execution, and an inspectable validation artifact for studying voucher-based interoperability. The work does not claim a new interoperability protocol, universal wallet compatibility, or production readiness; it identifies the remaining gaps toward standard-account validation, one-signature multichain authorization, and full dispute-settlement support.
- Abstract（参考訳）: Ethereum Layer-2(L2)エコシステムはスケーラビリティを向上すると同時に、断片的なユーザ、流動性、ガス資金、ロールアップ全体の実行も改善している。
その結果、クロスロールの相互運用性は、ブリッジングの問題だけでなく、ウォレット、実行、バリデーションの問題でもある。
Ethereum Interop Layer (EIL)は、ユーザがオリジンチェーン上でブーチャーリクエストを作成し、デスティネーションチェーン上でXLP署名のブーチャーを再発行する、ブーチャーベースのアーキテクチャを提案する。
評価されたSDKバージョンを制御されたローカル環境で再現すると,‘texttt{UserOperation}パスで互換性の問題が観測された: 署名後,有償マスタ関連データが異なってくるため,ユーザ認証された表現と,その後ローカル検証フローで検査された表現との安定した比較が防止される。
本稿では、再現可能な2-L2検証フレームワークと、その問題に対する互換性の調整について述べる。
ArbitrumおよびOptimismスタイルの開発チェーン上で決定論的なローカルテストベッドを構築し、コアペイマスターとブリッジ関連コンポーネントをデプロイし、モックバンドルとイベント駆動型XLPプロバイダを実装し、互換性のあるマルチチェーンアカウントラッパーとともに、正当化されたペイマスターデータハンドリングパスを導入する。
このフレームワークを使用して、リクエスト生成からデスティネーションチェーンのvoucherの償却とアセットリリースに至るまで、コアのvoucherライフサイクルを実行します。
このコントリビューションは、実装レベルの互換性バリア、制御されたエンドツーエンドの実行を復元する境界緩和、およびブーチャーベースの相互運用性を研究するための検査可能な検証アーティファクトの実証的な診断である。
この作業では、新たな相互運用性プロトコル、ユニバーサルウォレット互換性、あるいはプロダクションの可読性は主張されていない。
関連論文リスト
- Roles with Rails: Contract-Preserving Role Evolution in Multi-Agent Structured Reasoning [13.804446155580516]
ロールベースのマルチエージェントシステムは適応的なロールプールを必要とするが、そのようなシステムを適用することは単なる迅速な最適化の問題ではない。
既存のシステムは、ロールインベントリを修正して適応性を失うか、制約のない世代がロールドリフトを誘発することを可能にする。
これをコントラクト保存ロールの進化として定式化し、コミットされたすべての編集が5つの構造的コントラクトを保存する必要があります。
論文 参考訳（メタデータ） (2026-05-27T13:00:44Z) - An Executable Benchmarking Suite for Tool-Using Agents [3.5322131912413908]
このスイートは、WebArena Verified、SWE-GymスライスとSWE-bench互換の検証、および一般的なワークロードアダプタを介してMiniWoB++を接続する。
承認されたエビデンスには、レイテンシ、無効動作、パッチ生成コスト、検証済みメタデータ、リプレイバインディング、そして1つの監査可能な契約下での証明が記録されている。
論文 参考訳（メタデータ） (2026-05-10T21:24:53Z) - Logic-Regularized Verifier Elicits Reasoning from LLMs [63.65875399266337]
論理規則で正規化された教師なしの検証器であるLOVERを提案する。
ローバーは、定理を二項潜在変数として扱い、内部の活性化を活用し、3つの論理的制約を課す。
ローバーは教師なしのベースラインを大幅に上回る。
論文 参考訳（メタデータ） (2026-05-07T09:03:49Z) - GoAT-X: A Graph of Auditing Thoughts for Securing Token Transactions in Cross-Chain Contracts [52.51342355102833]
マルチチェーンエコシステムの重要な基盤であるクロスチェーンブリッジは、攻撃者にとって主要なターゲットとなっている。
バイトコードレベルの静的解析のような既存の防御は、チェーン間の相互作用のセマンティックな複雑さを扱うには不十分である。
パターンマッチングから体系的な第一原理検証へ自動的なクロスチェーンスマートコントラクト監査を移行するフレームワークであるGoAT-Xを提案する。
論文 参考訳（メタデータ） (2026-04-27T11:34:21Z) - IMPACT-CYCLE: A Contract-Based Multi-Agent System for Claim-Level Supervisory Correction of Long-Video Semantic Memory [73.22944697933603]
既存のパイプラインは不透明でエンドツーエンドの出力を生成し、検査の中間状態は公開しない。
IMPACT-Cycleは,マルチモーダル反復クレームレベルのメンテナンスとして,長時間ビデオ理解を再構築するマルチエージェントシステムである。
論文 参考訳（メタデータ） (2026-04-22T03:03:33Z) - ACE Runtime - A ZKP-Native Blockchain Runtime with Sub-Second Cryptographic Finality [1.7429038786735553]
既存の高性能ブロックチェーンは、クリティカルパス上のトランザクション毎にひとつのシグネチャを検証する。
本稿では、認証認証分離に基づくZKPネイティブ実行層であるACEについて述べる。
論文 参考訳（メタデータ） (2026-03-10T21:39:36Z) - 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) - Document Data Matching for Blockchain-Supported Real Estate [2.9873162504735133]
本研究は,光学文字認識(OCR),自然言語処理(NLP),検証資格情報(VC)を統合し,文書抽出,検証,管理を自動化するシステムを提案する。
このアプローチは異質なドキュメントフォーマットをVCに標準化し、不整合を検出するために自動データマッチングを適用する。
提案フレームワークは、不動産取引の合理化、株主信頼の強化、スケーラブルでセキュアなデジタルプロセスの実現の可能性を示す。
論文 参考訳（メタデータ） (2025-12-30T20:30:48Z) - SIM-CoT: Supervised Implicit Chain-of-Thought [108.30049193668083]
Implicit Chain-of-Thought(CoT)メソッドは、大規模言語モデルにおける明示的なCoT推論に代わるトークン効率の代替手段を提供する。
暗黙的なCoTの計算予算をスケールする際の中核的な不安定性問題を特定する。
そこで我々はSIM-CoTを提案する。SIM-CoTは,遅延推論空間を安定化・拡張するためのステップレベルの監視を実現するモジュールである。
論文 参考訳（メタデータ） (2025-09-24T17:01:32Z) - A Security Framework for General Blockchain Layer 2 Protocols [11.284365017329861]
本稿では、Layer 2 (L2)プロトコルの最初の一般的なセキュリティフレームワークを示す。
我々のフレームワークはIITMベースのUniversal Composability(iUC)フレームワークをベースにしています。
我々は,3つの主要なL2スケーリングパラダイム – 支払いチャネル(Brick),サイドチェーン(Liquid Network),ロールアップ(Arbitrum) – のそれぞれから,その例を分析した。
論文 参考訳（メタデータ） (2025-04-21T08:48:24Z) - Are You Getting What You Pay For? Auditing Model Substitution in LLM APIs [71.7892165868749]
LLM(Commercial Large Language Model) APIは基本的な信頼の問題を生み出します。
ユーザーは特定のモデルに課金するが、プロバイダが忠実に提供できることを保証することはない。
我々は,このモデル置換問題を定式化し,現実的な逆条件下での検出方法を評価する。
我々は,信頼された実行環境(TEE)を実用的で堅牢なソリューションとして使用し,評価する。
論文 参考訳（メタデータ） (2025-04-07T03:57:41Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。