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