Homepage
Open in app
Sign in
Get started
About us
Our website
Tagged in
Proof
Certora
Making trusted blockchain a reality with fully automatic exact verification technology for smart contracts
More information
Followers
131
Elsewhere
More, on Medium
Proof
Uri Kirstein
in
Certora
Jun 14, 2021
Proof of Optimality of Balancer V2’s Flash Loan Bug
In a previous blog post, we have introduced…
Read more…
12
3 responses