Conducted from February 10 to 17, 2025, Certora's manual audit of the Liquidity Bootstrap Pool for Balancer V3 examines the protocol's smart contracts, including LBPool, LBPoolFactory, and related libraries. The following report provides details of the findings and reviews.