A tricky edge case in @eigenlayer’s interaction with @ethereum's upcoming Electra upgrade almost slipped past the radar and even top-tier auditors missed it.Here’s how it was caught by Certora and resolved 👇