Balancer x Certora Accelerator

On the 10th of October 2022, Balancer launched the Balancer Certora Security Accelerator in partnership with Certora. The Security Accelerator helps projects building on Balancer increase their code security.

The Accelerator provides code reviews and grants access to Certora’s formal verification Prover. This alignment strengthens the soundness of the code base and streamlines the go-to-market process for projects building on Balancer.

The Balancer x Certora Security Accelerator offers the following benefits:

• Two weeks of manual code review by Certora engineers familiar with Balancer’s codebase

• Set up and introduction of Certora’s formal verification Prover

• $10.000 USD worth of credits for Certora’s formal verification Prover

• Integration assistance by Balancer on code functionality and business logic