CONSTRAINTDIAL框架发布：协议突变构建智能合约安全任务
热点事件持续更新
CONSTRAINTDIAL框架发布：协议突变构建智能合约安全任务
1 篇报道1 个报道来源3 小时前更新
先了解这件事
AI 综述
Zifan Peng等人在arXiv（cs.AI）提出CONSTRAINTDIAL框架，通过协议突变自动化构建智能合约安全任务。 该框架从203个公开案例生成3,045个任务输入，覆盖检测、利用和修补三类场景。研究表明，与单纯重构相比，协议突变使使用公开答案的成功率平均降低10.9个百分点，复制在线答案的比例下降9.3个百分点，有效避免了奖励模型对公开答案的复制。
AI 根据报道生成 · 2 小时前更新
最新进展10月26日 12:00
CONSTRAINTDIAL：通过协议突变构建终身智能合约安全任务报道时间线
沿着报道，了解事件的不同侧面。
10月26日
- arXiv · AICONSTRAINTDIAL：通过协议突变构建终身智能合约安全任务
研究提出 CONSTRAINTDIAL 框架，利用协议突变自动化构建智能合约安全任务，避免奖励模型复制公开答案。 该框架从 203 个公开案例生成 3,045 个任务输入，覆盖检测、利用和修补。与单纯重构相比，协议突变使使用公开答案的成功率平均降低 10.9 个百分点，复制在线答案的比例下降 9.3 个百分点。
本事件热度走势
- 可比范围当前
- 9
- 可比范围峰值
- 1010月26日 13:00
- 近 24 小时变化
- –
02.557.510
13:0014:0015:00
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。