AKTIO coin

Balancer and Certora Launch Security Accelerator


We are pleased to announce that Balancer has joined forces with top security auditor Certora by launching the Balancer Certora Security Accelerator which will help projects building on Balancer increase their code security. The Security Accelerator will provide code reviews and grant access to Certora’s formal verification Prover. This alignment will strengthen the soundness of the code base and streamline the go-to-market process for upcoming projects.


“The launch of the Balancer and Certora Security Accelerator aims to strengthen the security of Balancer’s growing builder ecosystem through its Smart Contract tooling. The Security Accelerator gives projects additional access to security reviews and software tools which makes building on Balancer a more viable option” — Fernando Martinelli, Balancer Labs CEO & Co-founder

With the increased possibilities to integrate DeFi protocols in composable ways, the focus on secure code is the highest priority. A maturing DeFi ecosystem drives up code complexity and increases ramp-up costs for audits. Due to an overwhelming demand, waiting times for professional security audits are often several months long. To mitigate wait times and increase security accessibility, Balancer and Certora are offering a way to minimize these drawbacks.

Cetora uses its automated Prover technology to routinely audit codes and check for smart contract bugs. This technology reduces the margin for error found in manual audits. Additionally, unlike manual audits, which are only valid for a specific code version, Certora’s Prover can be integrated into the CI pipeline and ensure that code updates do not introduce bugs.


“Certora has been working extensively with Balancer and is deeply familiar with its smart contracts and inner workings of the Protocol. This familiarity allows Certora to deliver a quick turnaround on a security review while keeping costs reasonable.” — Mooly Sagiv, CEO Certora


The Balancer and Certora Security Accelerator offers the following advantages:

  • 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

Closing Thoughts

Through increased accessibility of smart contract reviews with Cetora, Balancer’s Security Accelerator will help to ensure DeFi security with the scope for sustainable, scalable, innovative growth that is highly competitive in the industry. The Security Accelerator offers a well-rounded solution for projects looking to build on Balancer Protocol. If you’re a project looking to build on Balancer, get in touch with the Balancer business development team or apply for a grant to build on Balancer.

About Balancer:


Balancer is a community-driven protocol, automated portfolio manager, liquidity provider, and price sensor that empowers decentralized exchange and the automated portfolio management of tokens on the Ethereum blockchain and other EVM compatible systems.

To learn more, please visit


About Certora:

Certora Prover builds on 30 years of academic research and hundreds of academic publications which pioneered the area of Formal Verification. The team combines academic leadership, industrial strength and Blockchain expertise. Certora’s reports from previous engagements with balancer are available here:

*Code review pending a prior code complexity assessment by Certora. Credits are valid for 6 months after joining the Security Accelerator. Fee amount is subject to change


Source : by Orb - November 15, 2022

Join our 60k+
tribe of Akters

Have any questions?

Check our Q&A

About the AKTIO coin

Benefit fully from our ecosystem

What’s new in the App?

We’re adding new features

Customer support

+353 1 574 7382

Opening hours:

Monday to Friday: 9am - 5pm CET



AKTIO coin





AKT Academy




System Status

Automata Pay

65-66 Warwick House 4th

Floor, Queen Street, London

England, EC4R 1EB

Automata ICO Ltd

3rd Floor Ormond Building,

31-36 Ormond Quay Upper,

Dublin 7, D07 Ee37

Automata Pay Europe Ltd

3rd Floor Ormond Building,

31-36 Ormond Quay Upper,

Dublin 7, D07 Ee37

Automata Pay Ltd, Reg number 12208424 and incorporated in the United Kingdom is the registered agent of Modulr FS Limited, a company registered in England with company number 09897919, authorised and regulated by the Financial Conduct Authority as an Electronic Money Institution (Firm Reference Number: 900573). Traditional currency will be safeguarded by a licensed bank in segregated accounts in accordance with regulatory requirements.

Automata Pay Europe Limited, Reg number 69028 and incorporated in Ireland is the registered agent of Modulr FS Europe Limited, a company registered in Ireland with company number 638002, authorised and regulated by the Central Bank of Ireland as an Electronic Money Institution (Institution Code C191242). Traditional currency is safeguarded as e-money in accordance with our regulatory obligations. Traditional currency will be safeguarded by a licensed bank in segregated accounts in accordance with regulatory requirements.

Automata ICO Limited, Reg number 690280 and incorporated in Ireland has applied for a Virtual Asset Service Provider registration with the Central Bank of Ireland. Whilst the application is ongoing we are permitted to continue business as a Virtual Asset Service Provider in line with the Central Bank of Ireland's regulatory disclosure statement as required under section 106L of the CJA 2010 in relation to registered VASPS. It is important to note that a registration as a VASP is a registration for Anti-Money Laundering (AML) and Combatting the Financing of Terrorism (CFT) purposes only. While Automata ICO Limited does have certain financial crime control obligations under this registration, cryptoasset services remain largely unregulated. The Financial Ombudsman Service or the Financial Services Compensation Scheme do not apply to the cryptoasset activities carried on by Automata ICO Limited.