論文の概要: Beyond Copying: Lifelong Smart Contract Security Task Construction via Protocol Mutation

• arxiv url: http://arxiv.org/abs/2610.32453v1
• Date: Fri, 23 Oct 2026 10:17:43 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-10-27 01:38:06.492806
• Title: Beyond Copying: Lifelong Smart Contract Security Task Construction via Protocol Mutation
• Title（参考訳）: コピーを超えて - プロトコル変更による生涯的スマートコントラクトセキュリティタスクの構築
• Abstract要約: SlowMistは、ブロックチェーンエコシステム全体で約38億ドルの損失を報告している。 スマートコントラクトセキュリティタスクの生涯構築のためのフレームワークであるConSTRAINTDIALを提案する。 ローカルコントラクトの再構築を自動化し、アタック実行を使用して、必要な呼び出しや入力の変更を選択する。
• 参考スコア（独自算出の注目度）: 34.68983150892224
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: AI agents can inspect code and run tests to support smart contract security. SlowMist reports about $38.6 billion in losses across the broader blockchain ecosystem. Existing evaluations can reward memorized or copied answers, including attack code recovered from public blockchain transactions. Reconstructing contracts and validating tasks also require costly manual effort. To address these issues, we propose CONSTRAINTDIAL, a framework for lifelong construction of smart contract security tasks via protocol mutation. It automates local contract reconstruction and uses attack execution to select changes to the required calls or inputs. Execution checks guide revisions that make the original attack fail while preserving exploitability, the security objective, and normal functionality. New incidents and audit findings enter the same procedure. With CONSTRAINTDIAL, we construct 3,045 task inputs from 203 public cases, covering detect, exploit, and patch. Compared with reconstruction alone, protocol mutation reduces success with supplied public answers by 10.9 percentage points on average across detect, exploit, and patch. The fraction of tasks solved by copying online answers falls by 9.3 points.
• Abstract（参考訳）: AIエージェントはコードを検査し、スマートコントラクトセキュリティをサポートするテストを実行することができる。 SlowMistは、ブロックチェーンエコシステム全体で約38億ドルの損失を報告している。 既存の評価では、公開ブロックチェーントランザクションから回収された攻撃コードを含む、暗記されたあるいはコピーされた回答を報酬することができる。 コントラクトの再構築やタスクの検証にも,手作業による作業が必要になります。 これらの課題に対処するために,プロトコル突然変異によるスマートコントラクトセキュリティタスクの生涯構築のためのフレームワークであるCONSTRAINTDIALを提案する。 ローカルコントラクトの再構築を自動化し、アタック実行を使用して、必要な呼び出しや入力の変更を選択する。 Executionは、エクスプロイラビリティ、セキュリティ目標、通常の機能を維持しながら、元の攻撃を失敗させるガイドリビジョンをチェックする。 新しいインシデントと監査結果が同じ手順に入る。 CONSTRAINTDIALでは、203の公開ケースから3,045のタスク入力を作成し、検出、エクスプロイト、パッチをカバーします。 再構成だけで比較すると、プロトコルの突然変異は、検出、エクスプロイト、パッチの平均で10.9ポイントの公開回答で成功を減少させる。 オンライン回答をコピーすることで解決されるタスクの分節は9.3ポイントである。

関連論文リスト

• hacktrace: behavior-supervised detection of reward hacking during code generation [52.709361620508595]
  コーディングエージェントは、コードを修正するか、バグを露呈するテストを削除することで、パスグレードを得ることができる。 我々はQwen3-8Bから173,561個の注釈付きマルチターン符号化トラジェクトリをリリースし、成功を活かさないショートカット動作の監視が検出を大幅に改善することを示す。 HACKTRACEは、エージェントがコードを生成する際に既に計算している内部状態を読み取る行動監視モニターである。
  論文  参考訳（メタデータ） (2026-10-02T09:35:59Z)
• ContractRL: Shielded Group-Relative Policy Optimization for Auditable Tool-Call Repair [21.792889952064527]
  本稿では,契約制約付き逐次修復プロトコルであるContractRLを紹介し,検証者誘導修復を0.9決定プロセスとしてモデル化する。 我々は,契約制約付きグループ相対的グループ相対的客観的決定を規定し,標準的目標とセマンティックラベルは凍結までオンライン状態外に保持する。
  論文  参考訳（メタデータ） (2026-09-29T08:38:26Z)
• Bridging the Opacity: Evidence-Backed Cross-Chain Transaction Correspondence Reconstruction Across Heterogeneous Blockchains [69.29257298191438]
  クロスチェーンブリッジは相互運用を可能にするが、不正な資金の追跡に必要なトランザクションパスも破壊する。 サードパーティの調査員は通常、ブリッジバックエンドが保持するソース・ツー・デスティネーションマッピングにアクセスすることができない。 我々は,クロスチェーントランザクション通信を再構築するエビデンス駆動システムであるXSplicerを提案する。
  論文  参考訳（メタデータ） (2026-09-16T05:38:42Z)
• CyberChainBench: Can AI Agents Secure Smart Contracts Against Real-World On-Chain Vulnerabilities? [28.049089946230513]
  CyberChainBenchは、LLMベースのエージェントをスマートコントラクトセキュリティで評価するためのベンチマークである。 DeFiHackLabsの541の現実世界のエクスプロイトインシデントから構築されたこのベンチマークは、エンドツーエンドのチェーン評価を提供する。 最良の構成は検出で37.5%、エクスプロイトで43.7%、パッチで23.4%である。
  論文  参考訳（メタデータ） (2026-06-24T17:58:16Z)
• Software Delegation Contracts: Measuring Reviewability in AI Coding-Agent Work [0.0]
  以前の作業では、タスク、権限、返却された作業パッケージ、受け入れコンテキストを、委譲されたコーディング作業の分析単位として記述するソフトウェア委譲契約を提案したが、その効果は測定しなかった。 本稿では,符号化エージェントの明示的デリゲート契約に関する制御されたパイロット研究について報告する。
  論文  参考訳（メタデータ） (2026-06-14T05:53:27Z)
• Trace: Securing Smart Contract Repository Against Access Control Vulnerability [58.02691083789239]
  GitHubはソースコード、ドキュメント、設定ファイルを含む多数のスマートコントラクトリポジトリをホストしている。 サードパーティの開発者は、カスタム開発中にこれらのリポジトリからコードを参照、再利用、フォークすることが多い。 スマートコントラクトの脆弱性を検出する既存のツールは、複雑なリポジトリを扱う能力に制限されている。
  論文  参考訳（メタデータ） (2025-10-22T05:18:28Z)
• Understanding Inconsistent State Update Vulnerabilities in Smart Contracts [10.224761284656992]
  不整合状態更新問題は、非同期的な修正などの理由で発生する可能性がある。 本稿では,不整合状態更新脆弱性に関する大規模な実証的研究を行う。 実世界のスマートコントラクトプロジェクト352において、116の一貫性のない状態更新脆弱性を調査した。
  論文  参考訳（メタデータ） (2025-08-08T10:15:29Z)
• Decompiling Smart Contracts with a Large Language Model [51.49197239479266]
  Etherscanの78,047,845のスマートコントラクトがデプロイされているにも関わらず(2025年5月26日現在)、わずか767,520 (1%)がオープンソースである。 この不透明さは、オンチェーンスマートコントラクトバイトコードの自動意味解析を必要とする。 バイトコードを可読でセマンティックに忠実なSolidityコードに変換する,先駆的な逆コンパイルパイプラインを導入する。
  論文  参考訳（メタデータ） (2025-06-24T13:42:59Z)
• CONTRACTFIX: A Framework for Automatically Fixing Vulnerabilities in Smart Contracts [12.68736241704817]
  ContractFixは、脆弱なスマートコントラクトのためのセキュリティパッチを自動的に生成するフレームワークである。 ユーザーは、自動的にパッチを適用し、パッチされたコントラクトを検証するセキュリティ修正ツールとして使用することができる。
  論文  参考訳（メタデータ） (2023-07-18T01:14:31Z)
• ESCORT: Ethereum Smart COntRacTs Vulnerability Detection using Deep Neural Network and Transfer Learning [80.85273827468063]
  既存の機械学習ベースの脆弱性検出方法は制限され、スマートコントラクトが脆弱かどうかのみ検査される。 スマートコントラクトのための初のDeep Neural Network(DNN)ベースの脆弱性検出フレームワークであるESCORTを提案する。 ESCORTは6種類の脆弱性に対して平均95%のF1スコアを達成し,検出時間は契約あたり0.02秒であることを示す。
  論文  参考訳（メタデータ） (2021-03-23T15:04:44Z)

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

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