smart-contracts

AI代理现在可以解读智能合约中的模糊条款，使微交易的争议解决成为可能，并将智能合约扩展到僵化的if/then逻辑之外。

Vitalik Buterin 认为，AI 可以使形式化验证更加实用，帮助生成规范和证明以确保软件行为正确，从而可能改变以太坊之外的关键软件开发。

OpenAI 和 Paradigm 推出了 EVMbench，这是一个用于评估 AI 代理在检测、修复和利用智能合约漏洞方面能力的基准测试，涵盖来自 40 次审计的 117 个精选漏洞。该基准测试显示 GPT-5.3-Codex 在利用任务上达到了 71% 的成功率，显著优于 GPT-5 的 33.3%，而检测和修复任务仍然更具挑战性。

Acton 是一个基于 Rust 的综合 CLI 工具包，涵盖 TON 智能合约开发的完整生命周期，包括构建、测试和部署。