ether.fi (@ether_fi): We are excited to announce that we will be completing formal verification of our protocol's smart contracts with the best in the business @CertoraInc!

We are excited to announce that we will be completing formal verification of our protocol's smart contracts with the best in the business @CertoraInc! This is an important milestone in remaining the most secure platform for users restaked assets. 🔒 twitter.com/certorainc/sta… Quote [@CertoraInc](https://www.twitter.com/CertoraInc/status/1782786884101648884) > Announcing our security partnership with @ether_fi! 🤝 🎉 > > ether.fi has demonstrated a dedication to the highest level of security, and we're thrilled to be able to support this vision with both formal verification and in-depth manual review.