We benchmarked V12 on finding 289 bugs in 31 crypto projects, versus Claude Code and Codex.
Codebases include L1s (validator clients, VMs, P2P/consensus), Cosmos SDK/IBC modules, on-chain apps (Solidity contracts, Solana programs, CosmWasm)
V12 outperforms on all 4 languages!