RecodeX 重构消息，NEAR Protocol表示，形式化验证可证明软件严格遵循既定规则，其目标是降低该技术的使用成本，让更多开发者能够负担。NEAR AI在自动生成证明方面取得进展，使这一目标更近一步。下一步计划将相关能力应用于NEAR协议本身及核心智能合约。