Certora完成Solana代币扩展正式验证，发现多项优化和安全改进

作者：

在

区块链安全公司Certora近日完成了对Solana代币扩展的正式验证审查，使用其深度形式验证工具对代码关键属性进行了规范编写和验证。Certora团队的主要发现包括：识别出一项可将程序性能提升20%的优化机会；开发了验证Solana团队近期更新的规则，以加强现有安全措施；编写了可重用的规范，用于验证多个指令，发现了之前所有审计人员都未察觉的问题。