arXiv · AI· Zifan Peng, Peng Huang, Jingyi Zheng, Yingjie Xue, Xuechao Wang, Xinlei He, Xia Hu, Dongrui Liu·· 4 小时前AI 评分22
CONSTRAINTDIAL：通过协议突变构建终身智能合约安全任务
Beyond Copying: Lifelong Smart Contract Security Task Construction via Protocol Mutation
AI 导读
研究提出 CONSTRAINTDIAL 框架，利用协议突变自动化构建智能合约安全任务，避免奖励模型复制公开答案。 该框架从 203 个公开案例生成 3,045 个任务输入，覆盖检测、利用和修补。与单纯重构相比，协议突变使使用公开答案的成功率平均降低 10.9 个百分点，复制在线答案的比例下降 9.3 个百分点。
来源：arXiv · AI · arxiv.org