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