本文详细介绍了以太坊(Ethereum)的流动质押(LST)及其在去中心化金融(DeFi)中的新应用,着重分析了上海升级(Shapella)后,流动质押代币(LSTs)和流动质押DeFi(LSTFi)项目的崛起及市场机遇。
本文详细探讨了在EigenLayer生态系统中对Renzo协议进行模糊测试的过程和挑战,包括覆盖率的提升、动态部署,以及处理各种外部事件(如用户资金惩罚和LST的折扣与重基机制)。通过定义和实现一系列功能,作者分享了在模糊测试过程中学到的关键经验,对安全性评估具有重要意义。