大模型参与智能合约形式化验证前景

Anthropic 发布 SCONE-bench 量化智能合约被攻陷经济损失

Anthropic 与 MATS、Anthropic Fellows 计划学者发布最新研究，评估前沿 AI 模型在区块链智能合约上的攻击能力。团队构建了名为 SCONE-bench 的新基准，包含 2020 至 2025 年间实际遭攻击的 405 份合约，并以“可窃取资金总额”而非单纯成功率来量化风...