Proof of Optimality of Old Balancer V2’s Flash Loan Bug
Published in
Jun 14, 2021
In the previous blog post, we presented the optimal attack on an old, unreleased version of Balancer V2 via a bug in the flash loan function. In this blog post we prove it is indeed the optimal way to exploit this vulnerability. The proof was found by Noam Yakov of the Certora team.
