在 @eigenlayer 與 @ethereum 即將到來的 Electra 升級的交互中，一個棘手的邊緣案例差點被忽視，甚至頂級審計員也沒有發現。\n\n以下是 Certora 如何發現並解決這個問題的過程 👇
