SolBehave基准评估LLM生成合约行为正确性
热点事件持续更新
SolBehave基准评估LLM生成合约行为正确性
1 篇报道1 个报道来源17 小时前更新
先了解这件事
AI 综述
2026年10月15日，arXiv Artificial Intelligence发布Giovanni Pio Delvecchio等作者的研究，推出SolBehave基准，用于评估LLM生成的Solidity智能合约的行为正确性。该基准采用差分模糊测试、历史交易回放和DCR图引导的合成交易回放三种方法，在250个真实以太坊合约上开展评测。研究对七款开源权重模型在完成一轮自动修复后进行评测：编译成功率介于26.4%至92.7%，但在差分模糊测试下，按模型与样本汇总，所有可编译的生成函数体中仅31.4%与原始合约等价；七款模型中有六款在历史回放下有13%至31%的可编译生成合约与原始合约出现分歧，在DCR引导回放下该比例为13%至44%，仅Gemma-4-31B在两种回放中均低于3%。
AI 根据报道生成 · 1 小时前更新
最新进展10月15日 12:00
SolBehave：评估 LLM 生成智能合约的行为正确性报道时间线
沿着报道，了解事件的不同侧面。
10月15日
- arXiv Artificial IntelligenceSolBehave：评估 LLM 生成智能合约的行为正确性
研究团队推出 SolBehave 基准，用差分模糊测试、历史交易回放和 DCR 图引导的合成交易回放三种方法，在 250 个真实以太坊合约上评估 LLM 生成 Solidity 合约的行为正确性。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。