Fugu-MT 論文翻訳(概要): SkelOT: Reusing AOT Compilation Across EVM Contract Families

論文の概要: SkelOT: Reusing AOT Compilation Across EVM Contract Families

arxiv url: http://arxiv.org/abs/2609.24404v1
Date: Mon, 21 Sep 2026 10:55:39 GMT
ステータス: 翻訳完了
システム内更新日: 2026-09-24 15:34:02.036492
Title: SkelOT: Reusing AOT Compilation Across EVM Contract Families
Title（参考訳）: SkelOT: EVM契約ファミリ全体にわたるAOTコンパイルの再利用
Abstract要約: コードハッシュからファミリースケルトンへのコンパイル再利用の単位を解放するAOTフレームワークである textscSkelOT を提示する。 textscSkelOTは、ファミリーごとに1つのネイティブアーティファクトをコンパイルし、不変定数をアーティファクトに焼き込み、コントラクト毎のランタイムテーブルから可変定数を読み込む。
参考スコア（独自算出の注目度）: 9.88003221789582
License: http://creativecommons.org/licenses/by/4.0/
Abstract: Ahead-of-time (AOT) compilers (e.g., revmc, evmone, and DTVM) for the Ethereum Virtual Machine (EVM) reuse compilation artifacts at contract-code-hash granularity. This granularity is poorly matched to real EVM workloads dominated by \emph{contract families}: factory-, proxy-, and template-driven deployments that share instruction structure but differ in a small set of embedded constants. Across four EVM chains (Base, Ethereum, BSC, and Arbitrum), we find that 23.1--47.6\% of unique compilable bytecodes map to shared family skeletons within 10K-block windows. Per-hash AOT therefore redundantly recompiles structurally equivalent code, inflating compile time and artifact footprint while reducing workload coverage under finite compile budgets. We present \textsc{SkelOT}, an AOT framework that lifts the unit of compilation reuse from code hash to family skeleton. \textsc{SkelOT} compiles one native artifact per family, bakes invariant constants into the artifact, and reads variant constants from a per-contract runtime table. Built on revmc/LLVM and evaluated on a 10K-block Base mainnet corpus (3.52M transactions), \textsc{SkelOT} reduces compilation units by 47.5\%, artifact footprint by 57.4\%, and compile time by $2.19\times$, while preserving byte-identical execution outcomes versus per-hash AOT. At runtime, \textsc{SkelOT} delivers a $1.31\times$ median per-contract speedup across family members. Under a compile budget targeting 75\% execution-time coverage, \textsc{SkelOT} needs far fewer artifacts than per-hash AOT, and the advantage holds at every coverage target.
Abstract（参考訳）: Ethereum仮想マシン(EVM)のAOT(Ahead-of-time)コンパイラ(例:revmc、evmone、DTVM)は、コントラクトコードハッシュの粒度でコンパイルアーティファクトを再利用する。ファクトリ、プロキシ、テンプレート駆動のデプロイメントは、命令構造を共有するが、組み込み定数の小さなセットが異なる。 4つのEVMチェーン(Base、Ethereum、BSC、Arbitrum)で、23.1-47.6\%のユニークなコンパイル可能なバイトコードが10Kブロックウィンドウ内の共有ファミリースケルトンにマップされている。したがって、per-hash AOTは構造的に等価なコードを冗長に再コンパイルし、コンパイル時間とアーティファクトのフットプリントを膨らませると同時に、有限のコンパイル予算下でのワークロードカバレッジを低減する。我々は、コードハッシュからファミリースケルトンへのコンパイル再利用の単位を持ち上げるAOTフレームワークであるtextsc{SkelOT}を提示する。 \textsc{SkelOT}は、ファミリごとに1つのネイティブアーティファクトをコンパイルし、不変定数をアーティファクトに焼き込み、コントラクト毎のランタイムテーブルから可変定数を読み込む。 revmc/LLVM上に構築され、10KブロックのBasemainnetコーパス(3.52Mトランザクション)で評価される。 \textsc{SkelOT}はコンパイル単位を47.5\%、アーティファクトのフットプリントを57.4\%、コンパイル時間を2.19\times$に減らし、ハッシュ単位のAOTに対してバイト単位の実行結果を保存する。実行時に \textsc{SkelOT} は、家族間で1.31\times$1.31\timesの契約単位のスピードアップを提供する。 75\%の実行時間カバレッジを目標とするコンパイル予算の下では、 \textsc{SkelOT} はハッシュ単位の AOT よりもはるかに少ないアーティファクトを必要とし、すべてのカバレッジターゲットにメリットがある。

関連論文リスト

Enhancing Software Engineering Through Closed-Loop Memory Optimization [50.418699819003486]
ソフトウェア工学 (SE) エージェントにおけるメモリ拡張のためのクローズドループフレームワークである ours を紹介する。タスクに依存しない textbf ベンチマークとアノテーションのない textbf 最適化信号としての有用性を確立する。その結果、SEエージェントは設定によって常に改善され、成功率で$uparrow5.25%、解決効率で$uparrow4.63%という絶対的なゲインが得られることが示された。
論文参考訳（メタデータ） (2026-06-04T03:17:21Z)
SCDBench: A Benchmark for LLM-Based Smart Contract Decompilers [55.39407031861402]
本稿では,スマートコントラクトデコンパイルのためのデータセットとベンチマーク手法であるSCDBenchを紹介する。データセットには600の現実のSolidityコントラクトと、ペア化されたバイトコード入力、地味なソースコード、再生可能なセマンティックチェックポイントが含まれている。我々は,GLM-5の変種を含むゼロショット逆コンパイル設定において,Claude Opus 4.7,GPT-5.3-Codex,GLM-5を評価した。
論文参考訳（メタデータ） (2026-05-27T20:08:47Z)
Constraint-Guided Multi-Agent Decompilation for Executable Binary Recovery [47.704311990064554]
脱コンパイルは、セキュリティ分析、マルウェアのリバースエンジニアリング、レガシーソフトウェアメンテナンスに不可欠である。マルチレベル制約誘導型デコンパイル(MCGD)により,デコンパイルされたコードを再実行可能なソースに変換するマルチエージェントフレームワークを提案する。本フレームワークは,84～97%の再実行性を実現し,28～89ポイントのベースラインデコンパイラ出力を改善した。
論文参考訳（メタデータ） (2026-04-27T01:28:11Z)
DVM: A Bytecode Virtual Machine Approach for Dynamic Tensor Computation [6.872249333818181]
ダイナミズムはAI計算において一般的なもので、例えば、動的テンソル形状やモデル内の動的制御フローなどである。コンパイル時間が長いため、既存のランタイムコンパイルはモデルの効率を損なう。本稿では,コンパイルの高速化やコンパイルオーバーヘッドの隠蔽を目的としたリアルタイムコンパイラDVMを提案する。
論文参考訳（メタデータ） (2026-03-25T12:24:33Z)
Agentic Harness for Real-World Compilers [22.07908620753322]
我々は,コンパイラのバグの理解と修正において,大規模なコンパイラエージェントを支援するために設計されたエージェントハーネスを紹介する。 LLVMは最も広く使用されているコンパイラインフラストラクチャのひとつです。中央のto-autofixはエージェントフレンドリなLLVMツールで、LLVMバグを修正するための最小限のエージェント-autofix-miniです。
論文参考訳（メタデータ） (2026-03-20T15:56:43Z)
HELIOS: Hierarchical Graph Abstraction for Structure-Aware LLM Decompilation [11.110675371854988]
textscHELIOSは、バイナリの逆コンパイルを構造化推論タスクとして再構成するフレームワークである。 textscHELIOSは、セキュリティ設定のリバースエンジニアリングのための実用的なビルディングブロックである。
論文参考訳（メタデータ） (2026-01-21T02:37:33Z)
JailbreakBench: An Open Robustness Benchmark for Jailbreaking Large Language Models [123.66104233291065]
ジェイルブレイク攻撃は、大きな言語モデル(LLM)が有害、非倫理的、またはその他の不快なコンテンツを生成する原因となる。これらの攻撃を評価することは、現在のベンチマークと評価テクニックの収集が適切に対処していない、多くの課題を提示します。 JailbreakBenchは、以下のコンポーネントを備えたオープンソースのベンチマークである。
論文参考訳（メタデータ） (2024-03-28T02:44:02Z)
Constant-Time Wasmtime, for Real This Time: End-to-End Verified Zero-Overhead Constant-Time Programming for the Web and Beyond [2.803675461772196]
本稿ではJITスタイルのWasmtimeをベースとした新しいコンパイラ検証スイートを提案する。また、ct-wasmをターゲットに、既存の定時対応DSLである FaCT のポートも提示する。
論文参考訳（メタデータ） (2023-11-24T01:38:19Z)
LoopStack: a Lightweight Tensor Algebra Compiler Stack [61.04098601022665]
LoopStackはテンソル操作のためのドメイン固有のコンパイラスタックである。最先端の機械学習フレームワークのパフォーマンスにマッチし、頻繁なマシンコードを生成する。メモリフットプリントは非常に小さく、バイナリサイズは245KBで、30K行未満の効率的なコードによって、モバイルや組み込みデバイスでの使用に適している。
論文参考訳（メタデータ） (2022-05-02T01:57:58Z)

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

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