Kudos to the
@Certora team for the great research and responsible disclosure! The write-up is such an interesting read. It’s an honor to collaborate with such talented security researchers. Thanks
@tpiliposian for sharing the behind-the-scenes story!