超越复制：通过协议变异持续构建智能合约安全任务

AI 智能体可以检查代码并运行测试，为智能合约安全提供支持。据 SlowMist 报告，整个区块链生态系统的损失约为 386 亿美元。现有评估可能会让记忆或复制答案的行为获得高分，其中包括从公开区块链交易中还原的攻击代码。重建合约和验证任务也需要耗费大量人工。为解决这些问题，我们提出 CONSTRAINTDIAL，这是一个通过协议变异持续构建智能合约安全任务的框架。它能够自动在本地重建合约，并通过执行攻击来选择对所需调用或输入的修改。执行检查为修订提供指导，使原始攻击失效，同时保留漏洞的可利用性、安全目标和正常功能。新事件和审计发现也会纳入同一流程。借助 CONSTRAINTDIAL，我们从 203 个公开案例中构建了 3,045 个任务输入，涵盖检测、漏洞利用和修补。与仅重建合约相比，协议变异使使用所提供的公开答案时的成功率在检测、漏洞利用和修补三类任务上平均降低了 10.9 个百分点。通过复制网上答案即可解决的任务比例下降了 9.3 个百分点。