論文の概要: If It Walks Like an Arbitrage: Protocol-Agnostic Detection with Decidable Structural Equivalence
- arxiv url: http://arxiv.org/abs/2608.20377v2
- Date: Tue, 25 Aug 2026 09:48:02 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-09-28 05:09:55.289986
- Title: If It Walks Like an Arbitrage: Protocol-Agnostic Detection with Decidable Structural Equivalence
- Title（参考訳）: アービタージュのように歩く場合:決定可能な構造等価性を持つプロトコルに依存しない検出
- Abstract要約: Rocqは、EVM固定トレース順序を走査する決定論的カーネルである。
すべてのトレースは独自の正規形式を持ち、ファンドフローにおける構造的等価性は決定可能である。
修正ポイントにサイクルが出現し、プロトコル固有のパターンのない通常の形式から読み取られます。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Whether a transaction performed an arbitrage, and by which route, is a question asked of its execution trace after the fact. We conjecture that such traces admit a normal form on which questions of this kind become queries, and we test it by building one and putting it to work. Each trace becomes an abstract syntax tree of token transfers, grouped by call- frame nesting. A term rewriting system of 16 rules reduces it. Rewriting terminates and carries exactly the transfers of the trace, whichever order the rules fire in. Under a deterministic kernel scanning the EVM-fixed trace order, every trace has a unique normal form, and the structural equivalence this induces on fund flows is decidable. Preservation, termination, soundness, uniqueness and decidability are mechanized in Rocq with zero admitted obligations. We report arbitrage detection in full: cycles emerge at the fixpoint and are read off the normal form with no protocol-specific patterns. Detection is the query we evaluate at scale; structural equivalence is a second query. The pipeline depends only on the standard ERC token and WETH ABIs, so the same binary runs unmodified on Arbitrum and BSC. We evaluate on two arbitrary block ranges, analysed in full with no transaction excluded: 220 000 Ethereum blocks against EigenPhi, a widely used MEV detection platform, and 1 000 shared blocks against ArbiNet, a graph neural network classifier. These are the only tools and label sets in this domain we were able to reuse. We report 469 801 confirmed arbitrages, overlapping 83.5% with EigenPhi and 81% with ArbiNet, together with 245 497 attempted arbitrages and 60 199 confirmed detections EigenPhi does not report. 99.2% follow from the fixpoint alone and are sound over the decoded transfers, and manual validation of 500 transactions finds no false positive among the confirmed.
- Abstract（参考訳）: トランザクションが仲裁を行ったか、どのルートが実行されたかは、その後にその実行トレースについて質問される。
このようなトレースは、この種の質問がクエリになる通常の形式を許容していると推測し、それを構築して動作させることでテストする。
各トレースは、コールフレームネストによってグループ化されたトークン転送の抽象構文ツリーになる。
16の規則の項書き直しシステムにより減少する。
リライトは終了し、ルールの発火を命令するトレースの転送を正確に行う。
EVM固定トレースオーダーを走査する決定論的カーネルの下では、すべてのトレースは独自の正規形式を持ち、ファンドフローで誘導される構造的等価性は決定可能である。
保存、終了、健全性、独特性、決定性は、Rocqにおいてゼロの義務で機械化される。
修正ポイントにサイクルが出現し、プロトコル固有のパターンのない通常の形式から読み取られます。
検出はスケールで評価したクエリであり、構造的等価性は第2のクエリである。
パイプラインは標準のERCトークンとWETH ABIにのみ依存するため、同じバイナリはArbitrumとBSCで変更されていない。
我々は、広く使われているMEV検出プラットフォームであるEigenPhiに対する220万のEthereumブロックと、グラフニューラルネットワーク分類器であるArbiNetに対する1万の共有ブロックの2つの任意のブロック範囲について分析を行った。
これらは、このドメインで再利用できた唯一のツールとラベルセットです。
469801がEigenPhiと83.5%、ArbiNetが81%、245497が仲裁を試み、60199がEigenPhiが報告していないことを確認した。
99.2%は固定点のみから続き、デコードされた転送に対して健全であり、500件の取引のマニュアル検証では、確認された取引のうち偽陽性は見つからない。
関連論文リスト
- Bridging the Opacity: Evidence-Backed Cross-Chain Transaction Correspondence Reconstruction Across Heterogeneous Blockchains [69.29257298191438]
クロスチェーンブリッジは相互運用を可能にするが、不正な資金の追跡に必要なトランザクションパスも破壊する。
サードパーティの調査員は通常、ブリッジバックエンドが保持するソース・ツー・デスティネーションマッピングにアクセスすることができない。
我々は,クロスチェーントランザクション通信を再構築するエビデンス駆動システムであるXSplicerを提案する。
論文 参考訳（メタデータ） (2026-09-16T05:38:42Z) - ZK-Trace: Certified Collusion Tracing with Zero-Knowledge Credentials for Federated GNSS Interference Monitoring [2.611390035495907]
ZK-Traceは、公開IDマーク、受信者固有のTardos指紋、およびゼロ知識認証を組み合わせる。
レジストリは、漏洩者の協力なしにオフライントレースをサポートする。
論文 参考訳（メタデータ） (2026-09-08T14:00:29Z) - PRIMUS: Identity, Governance, and Verification for Multi-Agent Federations [0.0]
マルチエージェント・フェデレーションは、敵対的な条件下での3つの質問に答えるガバナンスを必要とする。
本稿では,BLSアグリゲートシグネチャと主パワーIDを結合したPRIMUSについて述べる。
PRIMAのバイナリアーティファクト-忠実性判定は、グレード付きフィットネス信号に変換できるかどうかを問う。
論文 参考訳（メタデータ） (2026-09-07T19:21:49Z) - VeriPhy: Agentic Physical Reasoning for World Model Evaluation and Refinement [57.86962208273888]
テキストのみのプランナが入力された物理義務にプロンプトをコンパイルする監査可能な物理検証システムを提案する。
それぞれのアクションは、ペイロードがタイプされた測定か、明示的にタグ付けされた学習状態である証明付きエビデンスレコードを返す。
我々は, 実発生障害を即時参照, 空間, 時間でローカライズする, 1500クリックの欠陥記録のコーパスにおいて, 評価をアンロックする。
論文 参考訳（メタデータ） (2026-09-02T20:36:45Z) - Disagree to Explore, Agree to Commit: Routing-Guided Test-Time Scaling for Software Agents [60.650808962786364]
外部判断や選択時間テストの実行なしに,ネイティブなMoEルータトレースがステアリングと選択をガイドできるかどうかを検討する。
我々の分析は、ルーティングが堅牢な行動的役割シグナルを提供することを示している。トークン・グラニュラ・リードアウトと決定整合比較セットは、ルーティングを効果的に制御する。
オープンウェイトスパースMOEエージェントを用いたSWEベンチ検証を行い,評価を行った。
論文 参考訳（メタデータ） (2026-08-23T03:07:03Z) - From Reasoning Strings to Partial Orders: Verifier-Certified Rule Transport through Quotient Policy Optimization [16.40477770836083]
Verifier-Certified Rule Transport (VCRT) は、隣接する操作ペアをネイティブ検証器でリプレイする。
本物の前提条件を保存するために反ダイヤモンドを使用し、各認定軌道の総確率質量にポリシークレジットを割り当てる。
本稿では,ProofWriter,CLRS,Lean間での残余転送を,共有リレーショナルグラフインターフェースを通じて評価する。
論文 参考訳（メタデータ） (2026-08-20T07:28:37Z) - Causal Structure is Inducible but Functionally Decoupled: The Routing/Readout Boundary of a Typed Mechanism Library [0.0]
言語モデルが介入問題に答えるとき、それが実行しなければならない計算は、クエリが必要とするエビデンスの種類に依存する。
本稿では、トランスフォーマーが因果的知識をどう整理するかの分離について報告する: タイプレベルの監督によって誘導されるスロット・バイ・タイプ構造はルーティングを編成するが、応答の読み出しから切り離される。
論文 参考訳（メタデータ） (2026-08-12T08:10:01Z) - Toward Auditable Fraud Detection: Combining Graph Features, Model Explanations, and Agentic Case Investigation [0.0]
不正検出システムは、説明可能でレビュー可能なまま、トランザクションボリュームの上昇とともにスケールする必要がある。
本研究では,勾配ブースト型分類器,グラフに基づく構造特徴,オートエンコーダに基づく異常信号,および調査エージェントを組み合わせた層状パイプラインについて検討する。
我々は,各コンポーネントは特定の条件下でのみ寄与し,調査エージェントからのもっともらしい根拠は,よりよい判断の証拠ではないと結論づける。
論文 参考訳（メタデータ） (2026-07-21T16:37:41Z) - GoAT-X: A Graph of Auditing Thoughts for Securing Token Transactions in Cross-Chain Contracts [52.51342355102833]
マルチチェーンエコシステムの重要な基盤であるクロスチェーンブリッジは、攻撃者にとって主要なターゲットとなっている。
バイトコードレベルの静的解析のような既存の防御は、チェーン間の相互作用のセマンティックな複雑さを扱うには不十分である。
パターンマッチングから体系的な第一原理検証へ自動的なクロスチェーンスマートコントラクト監査を移行するフレームワークであるGoAT-Xを提案する。
論文 参考訳（メタデータ） (2026-04-27T11:34:21Z) - Blockchain Large Language Models [65.7726590159576]
本稿では,異常なブロックチェーントランザクションを検出するための動的,リアルタイムなアプローチを提案する。
提案するツールであるBlockGPTは、ブロックチェーンアクティビティのトレース表現を生成し、大規模な言語モデルをスクラッチからトレーニングして、リアルタイム侵入検出システムとして機能させる。
論文 参考訳（メタデータ） (2023-04-25T11:56:18Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。