@eigenlayerと@ethereumの今後のElectraアップグレードとの相互作用における厄介なケースが、ほぼ見逃されてしまい、トップクラスの監査人でさえも見落としてしまいました。

これがCertoraによってどのように発見され、解決されたのかをご覧ください👇