跳到正文
热点事件持续更新

CONSTRAINTDIAL协议变异构建智能合约安全评测任务

1 篇报道1 个报道来源2 小时前更新

先了解这件事

AI 综述

研究者在arXiv提出CONSTRAINTDIAL框架,通过对公开攻击案例做协议变异,自动改造智能合约使原攻击失效但仍可利用且保留正常功能,以此生成不依赖记忆或抄袭链上答案的安全评测任务。基于203个公开案例,框架构建出3,045个覆盖检测、利用和修补的任务输入。 据论文报告,协议变异使模型在使用公开答案时的平均成功率下降10.9个百分点(跨检测、利用和修补三类任务),以此说明新任务能避免现有评测中奖励记忆答案的问题。

AI 根据报道生成 · 2 小时前更新

报道时间线

沿着报道,了解事件的不同侧面。

10月26日
  1. arXiv cs.AI
    CONSTRAINTDIAL:基于协议变异的智能合约安全终身任务构建框架

    研究者提出 CONSTRAINTDIAL 框架,通过协议变异构建智能合约安全任务,避免现有评测奖励记忆或抄袭公开链上攻击代码的答案。框架自动化本地合约重建,用攻击执行引导修改使原攻击失效但保留可利用性与正常功能,并从 203 个公开案例构建了 3,045 个覆盖检测、利用和修补的任务输入。

本事件热度走势

还没有足够的连续观测数据,暂不绘制趋势。