Một trường hợp khó trong sự tương tác của @eigenlayer với bản nâng cấp Electra sắp tới của @ethereum đã suýt bị bỏ qua và ngay cả những kiểm toán viên hàng đầu cũng đã bỏ lỡ nó.

Dưới đây là cách mà nó được phát hiện bởi Certora và được giải quyết 👇