Obfuscation raises the interpretation cost of smart-contract auditing, yet its signals are hard to transfer across chains. We present HOBFNET, a fast surrogate of OBFPROBE, enabling million-scale cross-chain scoring. The model aligns with tool outputs on Ethereum (PCC 0.9158, MAPE 8.20 percent) and achieves 8-9 ms per contract, yielding a 2.3k-5.2k times speedup. Across BSC, Polygon, and Avalanche, we observe systematic score drift, motivating within-chain percentile queues (p99 as the main queue, p99.9 as an emergency queue). The high-score tail is characterized by rare selectors, external-call enrichment, and low signature density, supporting secondary triage. Cross-chain reuse is tail-enriched and directionally biased from smaller to larger ecosystems. On two publicly alignable cross-chain spillover cases, both fall into the p99 queue, indicating real-world hit value. We deliver a two-tier audit queue and a cross-chain linkage workflow for practical security operations.


翻译:混淆增加了智能合约审计的解读成本,但其信号难以跨链传递。我们提出了HOBFNET,作为OBFPROBE的快速替代模型,实现了百万规模的跨链评分。该模型在以太坊上与工具输出结果高度一致(皮尔逊相关系数0.9158,平均绝对百分比误差8.20%),单合约处理时间达8-9毫秒,实现了2.3千至5.2千倍的加速。在BSC、Polygon和Avalanche上的观测显示系统性评分漂移,这促使我们建立链内百分位队列(p99作为主队列,p99.9作为应急队列)。高分尾部的特征表现为罕见选择器、外部调用富集和低签名密度,支持二次分诊机制。跨链复用呈现尾部富集现象,并存在从小型生态向大型生态的定向偏差。在两个可公开对齐的跨链溢出案例中,二者均落入p99队列,表明其具有实际命中价值。我们提出了双层审计队列与跨链关联工作流,以支持实际安全运维。

0
下载
关闭预览

相关内容

决策智能中的时间序列预测大模型
专知会员服务
34+阅读 · 1月7日
《混合专家模型推理优化技术综述》
专知会员服务
45+阅读 · 2024年12月21日
智能合约的形式化验证方法研究综述
专知
16+阅读 · 2021年5月8日
【CVPR2021】跨模态检索的概率嵌入
专知
17+阅读 · 2021年3月2日
智能时代如何构建金融反欺诈体系?
数据猿
12+阅读 · 2018年3月26日
国家自然科学基金
0+阅读 · 2017年12月31日
国家自然科学基金
1+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
1+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
1+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2014年12月31日
VIP会员
相关基金
国家自然科学基金
0+阅读 · 2017年12月31日
国家自然科学基金
1+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
1+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2015年12月31日
国家自然科学基金
1+阅读 · 2015年12月31日
国家自然科学基金
0+阅读 · 2014年12月31日
Top
微信扫码咨询专知VIP会员