The ether.fi liquid staking protocol provides efficient ETH liquid staking. Certora performed a review of the Solidity smart contract code for the RewardsManager feature (CumulativeMerkleRewardsDistributor). No significant security issues were identified. The findings and ether.fi responses can be found in the full report below.