ChainCatcher 消息，去中心化交易协议 Balancer 和智能合约安全分析工具 Certora 合作推出 Balancer Certora 安全加速器，可提供代码审查，并授予对 Certora 形式验证证明程序的访问权限，旨在帮助 Balancer 构建的项目提高其代码安全性，以加强代码库的安全，并简化即将开展的项目的上市流程。（来源链接）