Case Study: Enhancing Security for Ether.fi’s Liquid Staking Protocol with Halborn