ChainCatcher news, the decentralized trading protocol Balancer and the smart contract security analysis tool Certora have partnered to launch the Balancer Certora Security Accelerator, which provides code reviews and grants access to Certora's formal verification proof program. This initiative aims to help projects built on Balancer enhance their code security, strengthen the security of their codebase, and streamline the upcoming project launch process. (Source link)