smart-contracts

AI agents can now interpret ambiguous clauses in smart contracts, making dispute resolution viable for micro-transactions and expanding smart contracts beyond rigid if/then logic.

Vitalik Buterin argues that AI can make formal verification more practical, helping generate specs and proofs to ensure software behaves correctly, potentially transforming critical software development beyond Ethereum.

OpenAI and Paradigm introduce EVMbench, a benchmark for evaluating AI agents' capabilities in detecting, patching, and exploiting smart contract vulnerabilities across 117 curated vulnerabilities from 40 audits. The benchmark demonstrates GPT-5.3-Codex achieving 71% on exploit tasks, significantly outperforming GPT-5's 33.3%, while detection and patching remain more challenging.

Acton is a comprehensive Rust-based CLI toolkit for the full lifecycle of TON smart contract development, including building, testing, and deployment.