不止于复制：CONSTRAINTDIAL 通过协议变异持续构建智能合约安全任务
Beyond Copying: Lifelong Smart Contract Security Task Construction via Protocol Mutation
AI 导读
现有评测可能奖励照抄的答案，如公开区块链交易中的攻击代码。研究者提出 CONSTRAINTDIAL 框架，自动重建合约，以协议变异持续生成安全任务，使原攻击失效同时保留可利用性与正常功能。基于 203 个公开案例构建 3,045 个任务，协议变异使提供公开答案时的成功率平均降 10.9 个百分点，照抄线上答案可解比例降 9.3 个百分点。