Solidity 0.8.30 是一个重要的维护更新，与以太坊的 Pectra 网络升级保持一致。此版本确保与 Pectra 中引入的 Prague EVM 版本完全兼容，并包括关键增强功能、形式验证修复和更好的文档支持。主要变化包括：EVM 默认版本设置为 Prague，支持 Pectra 的 EIP，改进了 NatSpec 对枚举的支持，以及改进了 SMTChecker。
ankitacode11