将混淆作为跨链智能合约审计的有效信号:大规模测量与风险概谱
密码学与安全
2026-02-02 v2 性能
摘要
混淆会增加智能合约审计的解释成本,但其信号难以跨链传递。我们提出 HOBFNET,作为 OBFPROBE 的快速替代品,实现跨链评分的千级规模。该模型在以太坊上与工具输出一致(PCC 0.9158,MAPE 8.20%),实现每份合约 8-9 毫秒,实现 2.3k-5.2k 倍的加速。跨 BSC、Polygon 和 Avalanche,我们观察到系统性得分漂移,促使在链内百分位队列(主队列为 p99,紧急队列为 p99.9)中进行排序。高分尾部特征为稀有选择器、外部调用丰富和低签名密度,支持二次分诊。跨链重复使用呈尾部富集并呈现从较小生态系统向较大生态系统的方向性偏差。在两个公开可对齐的跨链溢出案例中,两者均落入 p99 队列,表明实际效果显著。我们提供两级审计队列和跨链关联工作流程,以支持实际的安全运营。
引用
@article{arxiv.2601.17356,
title = {Obfuscation as an Effective Signal for Prioritizing Cross-Chain Smart Contract Audits: Large-Scale Measurement and Risk Profiling},
author = {Yao Zhao and Zhang Sheng and Shengchen Duan and Shen Wang and Daoyuan Wu and Zhiyuan Wan},
journal= {arXiv preprint arXiv:2601.17356},
year = {2026}
}