The ether.fi liquid staking protocol provides efficient ETH liquid staking. Certora performed a review of the Solidity smart contract code changes for withdrawal priority queue. Security issues were identified and resolved. The detailed findings and ether.fi responses can be found in the full report below.