Balancer v3 is the successor of v2 and is a decentralized automated market maker (AMM) protocol built on Ethereum with a clear focus on fungible and yield-bearing liquidity.

During the course of the audit and verification process, some significant changes and updates were made to the project code. It was agreed with Balancer to not limit the audit to a specific commit, but to use the most recent version.
Due to this, the audit was performed on several code versions between commit 8df7df5 from August 3, 2024 up until e4455af September 4, 2024. Some known issues that were present in earlier commits are not included in this report as they were not independently found by us.

The team performed a manual audit of all the Solidity contracts. In addition, the Certora Prover demonstrated that the implementation of the Solidity contracts above is correct with respect to the formal rules written by the Certora team. During the verification process and the manual audit, the Certora team discovered bugs in the Solidity contracts code, as listed in the report.