@eigenlayerと@ethereumの今後のElectraアップグレードとの相互作用における厄介なケースが、ほぼ見逃されてしまい、トップクラスの監査人でさえも見落としてしまいました。これがCertoraによってどのように発見され、解決されたのかをご覧ください👇