在 @eigenlayer 与 @ethereum 即将到来的 Electra 升级的交互中，一个棘手的边缘案例差点被忽视，甚至顶级审计员也没有发现。\n\n以下是 Certora 如何发现并解决这个问题的过程 👇
