Un caso complicado en la interacción de @eigenlayer con la próxima actualización Electra de @ethereum casi pasó desapercibido y hasta los auditores de primer nivel lo pasaron por alto.

Así es como fue detectado por Certora y resuelto 👇