論文の概要: From Scores to Queues: Operationalizing Cross-Chain Obfuscation Signals for Smart-Contract Audits
- arxiv url: http://arxiv.org/abs/2601.17356v1
- Date: Sat, 24 Jan 2026 08:05:39 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-01-27 15:23:07.626292
- Title: From Scores to Queues: Operationalizing Cross-Chain Obfuscation Signals for Smart-Contract Audits
- Title（参考訳）: スコアからキューへ:スマートコントラクト監査のためのクロスチェーン難読化信号の運用
- Authors: Yao Zhao, Zhang Sheng, Shengchen Duan, Shen Wang,
- Abstract要約: HObfNETはObfs_Toolの効率的なサロゲートであり、高速なクロスチェーンスコアリングを可能にする。
BSC,Polygon,Avalanche corporaでは,系統的なスコアドリフトが認められた。
チェーンの再利用分析は、チェーン全体でのトレース可能な同一ハッシュケースで、テールエンリッチメントと方向拡散を示している。
- 参考スコア（独自算出の注目度）: 44.26753206041556
- License: http://creativecommons.org/licenses/by-nc-sa/4.0/
- Abstract: Obfuscation substantially increases the interpretation cost of smart-contract auditing, while the comparability and transferability of obfuscation signals across chains remain unclear. We present HObfNET as an efficient surrogate of Obfs_Tool (ObfProbe), enabling fast cross-chain scoring at scale. The model aligns well with tool outputs on Ethereum (PCC 0.9158, MAPE 8.20 percent) and achieves 8-9 ms per contract, a 2.3k-5.2k times speedup over second-level Obfs_Tool runs, enabling million-scale scoring. On large BSC, Polygon, and Avalanche corpora, we find systematic score drift: fixed-threshold transfer inflates and deflates candidate queues, motivating within-chain main and extreme thresholds (p99 and p99.9) and an actionable queueing strategy. The high-score tail exhibits rare selectors, external-call opcode enrichment, and low signature density; a proxy indicator is enriched in the BSC high-score queue, enabling secondary triage. Cross-chain reuse analysis shows tail enrichment and directional diffusion, with traceable same-hash cases across chains. In publicly alignable incident samples, all fall into the p99 queue; Transit Swap DEX Hack and New Free DAO Flash Loan exhibit cross-chain spillover, indicating real-world hit and prioritization value. We deliver a two-tier audit queue and cross-chain linkage workflow to support practical multi-chain security operations.
- Abstract（参考訳）: 難読化はスマートコントラクト監査の解釈コストを大幅に高めるが、チェーン間の難読化信号の可読性と伝達性は未定である。
HObfNETはObfs_Tool(ObfProbe)の効率的なサロゲートであり,高速なクロスチェーンスコアリングを実現する。
このモデルはEthereumのツール出力(PCC 0.9158, MAPE 8.20%)とよく一致し、契約あたり8-9ms、第2レベルのObfs_Toolよりも2.3k-5.2kのスピードアップを実現し、100万のスコアリングを可能にしている。
大きなBSC、ポリゴン、アバランチェのコーパスでは、固定閾値転送が膨らみ、候補キューをデフレし、チェーン内および極端しきい値(p99,p99.9)をモチベートし、実行可能なキュー戦略を示す。
高スコアテールは、稀なセレクタ、外部呼び出しオペコードエンリッチメント、低シグネチャ密度を示し、プロキシインジケータはBSCハイスコアキューにエンリッチされ、二次トリアージを可能にする。
チェーンの再利用分析は、チェーン全体でのトレース可能な同一ハッシュケースで、テールエンリッチメントと方向拡散を示している。
Transit Swap DEX HackとNew Free DAO Flash Loanは、実世界のヒットと優先順位付けの値を示している。
実用的なマルチチェーンセキュリティ操作をサポートするために、2層監査キューとクロスチェーンリンクワークフローを提供します。
関連論文リスト
- Clustering Deposit and Withdrawal Activity in Tornado Cash: A Cross-Chain Analysis [0.9503773054285557]
Tornado Cashは分散型ミキサーで、暗号技術を使って預金者と引き出し者の間のチェーン上の道を切断する。
本稿では,3つのクラスタリング, (i) アドレス再利用, (ii) トランザクショナルリンク, (iii) 時間整合規則を提案する。
分析の結果, 5.1～12.6%の引き出しは, アドレス再利用や取引リンクを通じて, 既に起源の鉱床まで遡ることができることがわかった。
論文 参考訳（メタデータ） (2025-10-10T14:42:24Z) - vAttention: Verified Sparse Attention [100.98210818821688]
vAttentionは、ユーザが指定した$(epsilon, delta)$の近似精度保証(thus, confirmed)を備えた実用的なスパースアテンションメカニズムである。
vAttentionはデータセット間のスパースアテンションの質を大幅に改善することを示す。
モデルの品質を損なうことなく高速なデコードを実現するために、推論シナリオにデプロイすることができる。
論文 参考訳（メタデータ） (2025-10-07T08:46:08Z) - dParallel: Learnable Parallel Decoding for dLLMs [77.24184219948337]
拡散大言語モデル(dLLM)は並列トークン予測と低推論遅延を提供する。
既存のオープンソースモデルは、パフォーマンスを確保するためにトークン長のデコードステップをほとんど必要としています。
高速サンプリングのためにdLLMs固有の並列性を解き放つシンプルで効果的な方法であるdParallelを導入する。
論文 参考訳（メタデータ） (2025-09-30T16:32:52Z) - V-ZOR: Enabling Verifiable Cross-Blockchain Communication via Quantum-Driven ZKP Oracle Relays [0.42164623134161255]
クロスチェーンブリッジとオークルは、分散システムの最も脆弱なコンポーネントの1つである。
本稿では、ゼロ知識、量子グレード証明、クロスチェーン再帰を統合した検証可能なオラクルリレーであるV-ZORを提案する。
論文 参考訳（メタデータ） (2025-09-13T22:34:59Z) - SmartAxe: Detecting Cross-Chain Vulnerabilities in Bridge Smart Contracts via Fine-Grained Static Analysis [28.420618636956924]
ブロックチェーンブリッジは、さまざまなブロックチェーンプラットフォーム間でのアセット交換のための分散アプリケーションである。
最近のセキュリティインシデントでは、スマートコントラクトのブリッジの脆弱性によって大きな損失が発生している。
スマートコントラクトのクロスチェーンブリッジにおける脆弱性を特定するための,新たなフレームワークであるSmartAxeを提案する。
論文 参考訳（メタデータ） (2024-06-23T03:25:27Z) - Fully Automated Selfish Mining Analysis in Efficient Proof Systems Blockchains [5.864854777864723]
私たちは、Bitcoinのような長鎖ブロックチェーンにおける自己中心的なマイニング攻撃について研究していますが、そこでは、作業の証明が効率的な証明システムに置き換えられます。
本稿では,敵の相対収益を最大化することを目的とした,新たな自尊心のあるマイニング攻撃を提案する。
本稿では,MDP の最適相対収益を$epsilon$-tight で計算する形式解析手法を提案する。
論文 参考訳（メタデータ） (2024-05-07T15:44:39Z) - Training-Free Long-Context Scaling of Large Language Models [114.53296002607993]
我々は、Llama2 70Bが連続的なトレーニングなしで100k以上のトークンのコンテキストウィンドウをサポート可能なDual Chunk Attentionを提案する。
長いシーケンスの注意をチャンクベースのモジュールに分解することで、DCAはトークンの相対的な位置情報を効果的にキャプチャする。
論文 参考訳（メタデータ） (2024-02-27T12:39:23Z) - Tokenization and the Noiseless Channel [71.25796813073399]
優れたトークン化器は、ある入力がモデルに伝達される手段であるチャネルの使用率を高める。
機械翻訳では、複数のトークン化器において、$alpha = 2.5$のR'enyiエントロピーがtextscBleu: $0.78$と非常に強い相関を持つことがわかった。
論文 参考訳（メタデータ） (2023-06-29T10:32:09Z) - Blockchain Large Language Models [65.7726590159576]
本稿では,異常なブロックチェーントランザクションを検出するための動的,リアルタイムなアプローチを提案する。
提案するツールであるBlockGPTは、ブロックチェーンアクティビティのトレース表現を生成し、大規模な言語モデルをスクラッチからトレーニングして、リアルタイム侵入検出システムとして機能させる。
論文 参考訳（メタデータ） (2023-04-25T11:56:18Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。