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