arXiv cs.AI· Zifan Peng, Peng Huang, Jingyi Zheng, Yingjie Xue, Xuechao Wang, Xinlei He, Xia Hu, Dongrui Liu·· 11 小时前AI 评分31
CONSTRAINTDIAL：通过协议变异实现智能合约安全任务的终身构建
Beyond Copying: Lifelong Smart Contract Security Task Construction via Protocol Mutation
AI 导读
CONSTRAINTDIAL 框架通过协议变异自动化构建智能合约安全任务，从 203 个公开案例生成 3045 个覆盖检测、利用与修补的任务输入。相比仅做合约重建，协议变异使借助公开答案解题的成功率平均下降 10.9 个百分点，靠复制线上答案完成的任务比例下降 9.3 点。该框架自动完成本地合约重建，并以攻击执行结果筛选对调用或输入的改动，使原始攻击失效同时保留可利用性、安全目标与正常功能。
正文 · AI 翻译
摘要：AI 智能体可以检查代码并运行测试，以支持智能合约安全。SlowMist 报告称，整个区块链生态系统的损失约为 386 亿美元。现有评估可能会奖励记忆或复制的答案，包括从公开区块链交易中恢复的攻击代码。重建合约和验证任务也需要耗费大量人工。为解决这些问题，我们提出了 CONSTRAINTDIAL，一个通过协议变异来终身构建智能合约安全任务的框架。它自动化本地合约重建，并使用攻击执行来选择对所需调用或输入的更改。执行检查指导修订，使原始攻击失败，同时保持可利用性、安全目标和正常功能。新的事件和审计发现进入同一流程。借助 CONSTRAINTDIAL，我们从 203 个公开案例中构建了 3,045 个任务输入，涵盖检测、利用和修补。与仅重建相比，协议变异使在检测、利用和修补中提供公开答案的成功率平均降低 10.9 个百分点。通过复制在线答案解决的任务比例下降了 9.3 个百分点。
| 主题： | 密码学与安全（cs.CR）；人工智能（cs.AI） |
| 引用为： | arXiv:2610.32453 [cs.CR] |
| （或 arXiv:2610.32453v1 [cs.CR] 用于此版本） | |
| https://doi.org/10.48550/arXiv.2610.32453 arXiv 颁发的 DOI 通过 DataCite（待注册） |
提交历史
来自：Zifan Peng [查看电子邮件]
[v1]
2026年10月23日星期五 10:17:43 UTC（439 KB）
来源：arXiv cs.AI · arxiv.org