Сложный крайний случай во взаимодействии @eigenlayer с предстоящим обновлением Electra от @ethereum чуть не остался незамеченным, и даже лучшие аудиторы его пропустили. Вот как его обнаружила Certora и как это было решено 👇