論文の概要: EventSpec: Defining and Detecting Event-Semantic Issues in Blockchain Ecosystems
- arxiv url: http://arxiv.org/abs/2609.07865v1
- Date: Mon, 07 Sep 2026 18:24:25 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-09-11 20:52:46.210085
- Title: EventSpec: Defining and Detecting Event-Semantic Issues in Blockchain Ecosystems
- Title（参考訳）: EventSpec: ブロックチェーンエコシステムにおけるイベントセマンティックな問題の定義と検出
- Abstract要約: 既存のスマートコントラクトの脆弱性検出ツールは、イベントセマンティックな欠陥の検出を限定して、ロジックバグに重点を置いている。
本研究では,動作推論とセマンティック制約抽出を通じて,契約コーパスからイベント仕様を推論するEventSpecを提案する。
実世界の契約6,617件でEventSpecを実行し,手動でラベル付けした結果に基づいて検出の有効性を評価した。
- 参考スコア（独自算出の注目度）: 36.662781313141075
- License: http://creativecommons.org/licenses/by-nc-nd/4.0/
- Abstract: In recent years, smart contracts have become the backbone of decentralized applications (DApps), and off-chain systems such as bridges, wallets, and indexers rely heavily on event logs to track contract execution and state changes. However, the Ethereum Virtual Machine (EVM) does not validate or enforce event semantics, so logs can diverge from on-chain state, misleading off-chain systems into accepting incorrect state transitions. Existing smart contract vulnerability detection tools focus on logic bugs, with limited support for detecting event-semantic defects. To address this gap, we collect audit reports and incident cases and apply open card sorting to define five classes of event-semantic defects: event collision, state-event mismatch, unauthorized event emission, event emission mismatch, and event parameter mismatch. We propose EventSpec, which infers event specifications from a contract corpus via behavior inference and semantic-constraint extraction and applies differential checking to identify event-semantic defects in target contracts. We run EventSpec on 6,617 real-world contracts and evaluate detection effectiveness based on manually labeled results; EventSpec achieves an overall comprehensive precision of 90.17%. We further provide an off-chain evaluation harness that reproduces two off-chain attack vectors on any EVM-compatible chain: event origin confusion caused by unintended emitters and event-state desynchronization where events lack matching state updates. Using this harness, we demonstrate the feasibility of these attacks on bridge relayers, blockchain explorers, and NFT marketplaces, and report six wallet issues, four of which were confirmed (including a $600 bounty), with two remaining pending.
- Abstract（参考訳）: 近年、スマートコントラクトは分散アプリケーション(DApp)のバックボーンとなり、ブリッジ、ウォレット、インデックスといったオフチェーンシステムは、コントラクトの実行と状態変更を追跡するためにイベントログに大きく依存している。
しかし、Ethereum仮想マシン(EVM)はイベントセマンティクスを検証または強制していないため、ログはオンチェーン状態から分岐し、オフチェーンシステムを誤った状態遷移を受け入れる。
既存のスマートコントラクトの脆弱性検出ツールは、イベントセマンティックな欠陥の検出を限定して、ロジックバグに重点を置いている。
このギャップに対処するために、監査報告とインシデント事例を収集し、イベント・セマンティックな欠陥の5つのクラス、イベント衝突、ステート・イベント・ミスマッチ、不正なイベント・エミッション、イベント・エミッション・ミスマッチ、イベントパラメータ・ミスマッチを定義するためにオープンカードソートを適用する。
本研究では,動作推論とセマンティック制約抽出を通じて,契約コーパスからイベント仕様を推論するEventSpecを提案し,対象契約におけるイベント・セマンティックな欠陥を特定するために差分チェックを適用した。
6,617の現実世界契約上でEventSpecを実行し、手動でラベル付けされた結果に基づいて検出の有効性を評価します。
さらに、EVM互換チェーン上で2つのオフチェーン攻撃ベクトルを再現するオフチェーン評価ハーネスを提供する。
このハーネスを用いて、ブリッジリレー、ブロックチェーンエクスプローラー、NTTマーケットプレースに対するこれらの攻撃の可能性を実証し、6つのウォレット問題(うち4つは600ドルの報奨金を含む)を報告した。
関連論文リスト
- Agent Flight Recorder: Tamper-Evident Audit Trails with On-Chain Anchoring for Long-Horizon Tool-Using Agents [0.6564588068252765]
ロングホライゾンエージェントは数千のアクションを実行し、分離されたエラーではなく順次失敗する。
Agent Flight Recorderは、各エージェントアクションを構造化されたセマンティックシリアライズされたイベントバインディングとして、実行から実行までの8つのフィールドをキャプチャする。
合成エージェントの負荷に対して,5つの累積アブレーション構成でシステムを評価する。
論文 参考訳（メタデータ） (2026-09-01T22:59:08Z) - Motion-Based Tokenization for Cross-Dataset Egocentric Gaze Modeling [13.408937731789814]
イベントアライメント,固定水平角変位を解釈可能な事象条件運動語彙として定式化する。
我々は、事象のみ、空間的、絶対角、学習されたベクトル量子化、連続表現と比較する。
角運動トークンは1つの転送方向の凍結符号VQトークンよりも目標ドメインの後悔度が低いことを示す。
論文 参考訳（メタデータ） (2026-08-24T08:00:23Z) - Beyond Code Reasoning: Specification-Anchored Auditing of Multi-Implementation Distributed Protocols [1.5229705287183657]
SPECAは、明示的で分類されたセキュリティプロパティを自然言語仕様から導き出し、実装間で再利用する監査フレームワークである。
RepoAuditのベンチマークでは、SPECAは100%リコール(F1=0.94)で88.9%の精度に達し、著者が検証した12のバグを地上の真実を超えて表面化している。
Sherlock Fusaka Audit Contest(10のターゲット、366の応募)では、SPECAが専門家が強化した15の脆弱性をすべて回復し、4つの修正確認バグが浮上した。
論文 参考訳（メタデータ） (2026-04-29T09:57:07Z) - Proof of Execution: Runtime Verification for Governed AI Agent Actions [0.0]
エージェントシステムはアドバイスよりもますます実行します。
私たちはこれを実行時の証明として定式化します。
PoEは、認証、エフェクト、履歴、リプレイを単一のランタイムチェック可能なオブジェクトにバインドする。
論文 参考訳（メタデータ） (2026-04-26T12:30:54Z) - Improving Event Definition Following For Zero-Shot Event Detection [66.27883872707523]
ゼロショットイベント検出に対する既存のアプローチは通常、既知のイベントタイプをアノテートしたデータセット上でモデルをトレーニングする。
イベント定義に従うためのトレーニングモデルによるゼロショットイベント検出の改善を目指しています。
論文 参考訳（メタデータ） (2024-03-05T01:46:50Z) - LookAhead: Preventing DeFi Attacks via Unveiling Adversarial Contracts [15.071155232677643]
DeFi(Decentralized Finance)は、30億ドルを超える損失を計上している。
現在の検出ツールは、攻撃活動を効果的に識別する上で重大な課題に直面している。
敵契約を公開することでDeFi攻撃を検出する新しいフレームワークであるLookAheadを提案する。
論文 参考訳（メタデータ） (2024-01-14T11:39:33Z) - Avoiding Post-Processing with Event-Based Detection in Biomedical
Signals [69.34035527763916]
学習対象としてイベントを直接扱うイベントベースのモデリングフレームワークを提案する。
イベントベースのモデリング(後処理なし)は、広範囲な後処理を伴うエポックベースのモデリングと同等以上のパフォーマンスを示す。
論文 参考訳（メタデータ） (2022-09-22T13:44:13Z) - Unifying Event Detection and Captioning as Sequence Generation via
Pre-Training [53.613265415703815]
本稿では,イベント検出とキャプションのタスク間関連性を高めるための,事前学習と微調整の統合フレームワークを提案する。
我々のモデルは最先端の手法よりも優れており、大規模ビデオテキストデータによる事前学習ではさらに向上できる。
論文 参考訳（メタデータ） (2022-07-18T14:18:13Z) - PILED: An Identify-and-Localize Framework for Few-Shot Event Detection [79.66042333016478]
本研究では,事前学習した言語モデルから事象関連知識を引き出すために,クローゼプロンプトを用いた。
型固有のパラメータの数を最小化し、新しい型に対するイベント検出タスクに迅速に適応できるようにします。
論文 参考訳（メタデータ） (2022-02-15T18:01:39Z) - Learning Constraints and Descriptive Segmentation for Subevent Detection [74.48201657623218]
本稿では,サブイベント検出とEventSeg予測の依存関係をキャプチャする制約を学習し,強制するアプローチを提案する。
我々は制約学習にRectifier Networksを採用し、学習した制約をニューラルネットワークの損失関数の正規化項に変換する。
論文 参考訳（メタデータ） (2021-09-13T20:50:37Z) - Unsupervised Label-aware Event Trigger and Argument Classification [73.86358632937372]
まず,利用可能なツール(srlなど)でイベントを識別し,それを事前に定義されたイベントタイプに自動マップする,教師なしイベント抽出パイプラインを提案する。
事前訓練された言語モデルを利用して、イベントトリガと引数の両方の事前定義された型を文脈的に表現します。
我々は、トリガーの83%と引数の54%を正しい型にマッピングし、以前のゼロショットアプローチのパフォーマンスをほぼ倍にしました。
論文 参考訳（メタデータ） (2020-12-30T17:47:24Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。