ChainCatcher 消息，去中心化交易協議 Balancer 和智能合約安全分析工具 Certora 合作推出 Balancer Certora 安全加速器，可提供代碼審查，並授予對 Certora 形式驗證證明程序的訪問權限，旨在幫助 Balancer 構建的項目提高其代碼安全性，以加強代碼庫的安全，並簡化即將開展的項目的上市流程。（來源鏈接）