协议变异可降低安全任务中复制公开答案的得分。
资讯摘要
论文提出 CONSTRAINTDIAL 框架，通过协议变异自动化构建智能合约安全任务，以缓解现有评测中模型靠记忆或复制公开攻击代码得分的问题。作者从 203 个公开案例构建 3045 个任务输入，覆盖检测、利用与修补三类。作者报告，相比仅做合约重建，协议变异使借助公开答案解题的成功率平均下降 10.9 个百分点，靠复制在线答案完成的任务比例下降 9.3 个百分点。
要点速读
- 论文提出 CONSTRAINTDIAL，自动化本地合约重建，并用攻击执行结果筛选需改动的调用或输入。
- 作者从 203 个公开案例构建 3045 个任务输入，覆盖 detect、exploit、patch 三类。
- 作者报告协议变异使公开答案解题成功率平均降 10.9 个百分点，复制在线答案完成比例降 9.3 个百分点。
中文摘要由 AI 根据公开来源生成，可能存在理解偏差；具体能力、数字、开放时间等信息请以原文为准。
采集于 2026/10/27 08:00:28（北京时间）。 arXiv 日期为本次公告时间，论文初次投稿日期请查看原文版本记录。