@eigenlayer'ın @ethereum'un yaklaşan Electra güncellemesiyle etkileşimi içinde neredeyse kaçırılan zorlu bir kenar durumu, hatta en üst düzey denetçiler tarafından bile gözden kaçtı. İşte Certora tarafından nasıl tespit edildi ve çözüldü 👇