Argot 是一个为以太坊应用构建关键基础设施的非盈利组织，致力于开发和维护核心编程语言和工具，提高应用的安全性与弹性。文章介绍了 Argot 在 2025 年的重要项目，涵盖 Solidity 语言的演进、Fe & Sonatina 语言工具链的开发、Sourcify 智能合约验证、Ethdebug 调试数据格式、Act 形式化验证工具和 Hevm 符号执行工具的进展与未来路线图。
