The ether.fi liquid staking protocol provides efficient ETH liquid staking. Certora performed a review of the Solidity smart contract code changes as of October, 2025. The detailed findings and ether.fi responses can be found in the full report below.