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